析构函数的模板参数推导

Question

调用类的析构函数时，编译器是否应推导出模板参数？ 以下代码：

#include <iostream> 
template <typename T>
class A{
};
int main(){
   A<int> * a = new A<int>();
   a->~A();
}

在gcc（g ++ 4.3.4）上可以正常编译，但在XLC ++上使用

line 30.5: 1540-0210 (S) "A" is not a base class of
"A<int>"

可以从符合标准的编译器中获得两种行为中的哪一种？

Answer 1

C ++ 03标准（我怀疑C ++ 11标准会有什么不同）具有以下段落（C ++ 03 14.3 / 5 [temp.arg]）：

对类型为类模板专门化的对象的显式析构函数调用（12.4）可以显式指定template-arguments 。 [ 示例：

  template<class T> struct A { ~A(); }; void f(A<int>* p, A<int>* q) { p->A<int>::~A(); // OK: destructor call q->A<int>::~A<int>(); // OK: destructor call }; 

--end示例 ]

第12.4 / 12节[class.dtor]根据对常规成员函数的调用描述了显式析构函数调用，并有一个示例显示了针对析构函数类型的具有限定版本和非限定版本的显式析构函数调用。

对我而言，这清楚地表明该标准的目的是

A<int> * a = new A<int>();
a->~A();
a->~A<int>();
a->A<int>::~A();
a->A<int>::~A<int>();

应该是有效的。 14.4 / 12的示例中没有提到前两个事实，这不应该影响这一点，因为示例不是规范性的。