内buildtypes的析构函数（int，char等）

在C ++中，下面的代码给出了一个编译器错误：

void destruct1 (int * item) { item->~int(); } 

这个代码几乎是一样的，我只是键入int到另一个types，并发生了一些奇迹：

 typedef int myint; void destruct2 (myint * item) { item->~myint(); } 

为什么第二个代码有效？ 一个int得到一个析构函数是因为它已被typedefed？

如果你想知道为什么有人想这样做：这是来自重构C ++代码。 我们正在删除标准堆，并用自制池replace它。 这要求我们调用placement-new和析构函数。 我知道为基元types调用析构函数是没用的，但是我们希望它们在代码中，以防我们用实际的类来replacePOD。

发现赤裸裸的int不工作，但typedefed的做是一个惊喜。

顺便说一句 – 我有一个涉及模板function的解决scheme。 我们只需在模板中inputdef，一切都很好。

Answer 1

这是使你的代码适用于通用参数的原因。 考虑一个容器C：

 template<typename T> struct C { // ... ~C() { for(size_t i = 0; i<elements; i++) buffer[i].~T(); } }; 

引入内置types的特殊情况会很麻烦。 因此，即使T碰巧等于int ，C ++也允许你做到上面的事情。 神圣的标准在12.4 p15说：

显式调用析构函数的符号可用于任何标量types名称。 允许这样就可以编写代码而不必知道给定types是否存在析构函数。

使用plain int和typedef'ed int的区别在于它们在语法上是不同的。 规则是，在析构函数调用中， ~之后的是一个types名称。 int不是这样的，但是typedef-name是。 在7.1.5.2查找它。