Деструкторы у встроеных типов

	От:	BOPOH_N
	Дата:	06.02.04 10:15
	Оценка:

Написал такой код:

template <typename T> 
void DbgDelete(T* p)
{    
    p->~T();    
    operator delete(p);
}

с удивлением обнаружил что VC 7.0 нормально компилит следующий код

int *i(new int);
DbgDelete(i);

В моем понимании вызов деструктора встроеного типа — некорректная операция. Но VC просто пропускает эту строку и не генерит никакого кода (проверял под отладчиком).
Вопрос это соответствует стандарту?

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

Re: Деструкторы у встроеных типов

	От:	Lorenzo_LAMAS
	Дата:	06.02.04 10:17
	Оценка:

нормально все.
нельзя только написать pi->~int(); (с тайпдефом для int можно и такое).

Of course, the code must be complete enough to compile and link.

Re: Деструкторы у встроеных типов

	От:	Vamp
	Дата:	06.02.04 10:36
	Оценка:

Раз у них есть псевдоконструкторы, есть и псевдодеструкторы.

Да здравствует мыло душистое и веревка пушистая.

Re: Деструкторы у встроеных типов

От:	Alxndr	http://www.google.com/profiles/alexander.poluektov#buzz
Дата:	06.02.04 10:48
Оценка:

Здравствуйте, BOPOH_N, Вы писали:

BOP>Вопрос это соответствует стандарту?

Да, деструкторы встроенных типов нужны в основном для того, чтобы можно было единообразно описывать шаблоны.

Переместить
Удалить
Выделить ветку

Пока на собственное сообщение не было ответов, его можно удалить.

Заголовок: