Можно ли вызвать деструктор на int32_t?

Question

Я только что узнал, что следующий код не является допустимым C++ (не разобрать на int после ~):

int x = 5; 
x.~int(); 

Однако, следующий фрагмент кода делает работу:

int32_t x = 5; 
x.~int32_t(); 

Это связано с тем, что int32_t является typedef в моей конкретной реализации C++, и деструктор, по-видимому, может быть вызван любым типептическим типом.

Мой вопрос: является ли любая реализация C++ необходимой для компиляции второго файла? В частности, есть int32_t, гарантированный typedef, и является ли компилятор обязательным для уничтожения typedef, если он знает, что typedef typedefs что-то int?

Answer 1

Существует четкое требование, чтобы int32_t был типедом. Начнем с [cstdint.syn]/2:

Заголовок определяет все функции, типы и макросы так же, как 7.18 в стандарте C.

Так оттуда мы рассмотрим требование для библиотеки C:

ЬурейеГо именем intN_t обозначает целочисленный тип с шириной N, не заполняющих бит, и представлением дополнительного кода.

[курсив добавлен]

Так что да, int32_t должен быть "ЬурейеЕ имя".

Хотя, насколько я знаю, это никогда не указывается в нормативном тексте, следующее примечание дает понять, что вызов деструктора для typedef, который разрешает встроенный тип, предназначен для компиляции и успешности ([класс .dtor]/16):

Примечание: обозначения для явного вызова деструктора могут использоваться для любого имени скалярного типа (5.2.4). Это позволяет писать код, не зная, существует ли деструктор для данного типа. Например,

typedef int I; 
I* p; 
p->I::~I();