Явный вызов деструктора

[_-Re@l-_]

Ну, вдогонку предыдущей теме Вот весь код:

#include <iostream>

#pragma warning( disable : 4290 )

class Array
{
public:
    Array(int s) : t(new int[s]) , size(s)
    {
	std::cout << "Array()" << std::endl;
    }
    ~Array()
    {
	std::cout << "~Array()" << std::endl;
	delete[] t;
    }

    int& operator[](int a) throw(std::string)
    {
	if ( a >= 0 && a < size )
	    return t[a];
	else throw "Range Error!";
    }

private:
    int size;
    int* t;
};

inline void release(Array& a)
{
    a.~Array();
}

int main()
{
    Array x(10);

    for ( register int i = 0 ; i < 10 ; i++ )
    {
	x[i] = i*2;
	std::cout << x[i] << " ";
    }
    std::cout << std::endl;
    release(x);

    system("pause");
    return 0;
}

Однако, деструктор вызывается 2(!) раза. С чем это связано? Ведь я же вроде ручками уничтожаю объект.

[artush1984]

Насколько я знаю ~Array() это функция которая вызывается перед удалением объекта. Получается что один раз вы вызываете функцию ~Array() а другой раз она вызывается компилятором.Мы называем ~Array() деструктором но на самом то деле это не она удаляет объект.

[_-Re@l-_]

Ну, это то я тоже понимаю Но почему такое безобразие?

[veniside]

в цпп объекты, объявленные не через указатель, освобождаются автоматически при выходе из области видимости

	{
		Array a(1);
	}  // <- вот тут спрятан вызов деструктора для а

[Сыроежка]

Сообщение от _-Re@l-_

Ну, вдогонку предыдущей теме Вот весь код:

#include <iostream>

#pragma warning( disable : 4290 )

class Array
{
public:
    Array(int s) : t(new int[s]) , size(s)
    {
	std::cout << "Array()" << std::endl;
    }
    ~Array()
    {
	std::cout << "~Array()" << std::endl;
	delete[] t;
    }

    int& operator[](int a) throw(std::string)
    {
	if ( a >= 0 && a < size )
	    return t[a];
	else throw "Range Error!";
    }

private:
    int size;
    int* t;
};

inline void release(Array& a)
{
    a.~Array();
}

int main()
{
    Array x(10);

    for ( register int i = 0 ; i < 10 ; i++ )
    {
	x[i] = i*2;
	std::cout << x[i] << " ";
    }
    std::cout << std::endl;
    release(x);

    system("pause");
    return 0;
}

Однако, деструктор вызывается 2(!) раза. С чем это связано? Ведь я же вроде ручками уничтожаю объект.

Когда вы объявляете локальный объект типа класса, компилятор включает в этот же блок вызов деструктора объекта, когда управление передается за пределы блока. Поэтому деструктор вызывается дважды: один раз вы его сами вызвали, и второй раз его вызывает код, который сгенерировал компилятор для уничтожения локальных объектов блока.

[Blade]

Зачем вообще такие извращения? Зачем пытаться "явно вызвать деструктор"?
Хотите контролировать время жизни объекта? Создавайте его динамически.

[_-Re@l-_]

Зачем вообще такие извращения?

Да я вообще программист-извращенец.

Зачем пытаться "явно вызвать деструктор"?

Хочу

Хотите контролировать время жизни объекта? Создавайте его динамически.

Ну, так-то я и могу.