模板类中的模板函数is_same

Question

为什么此代码会产生错误输出？

//this-type.cpp 

#include <iostream> 
#include <type_traits> 

using namespace std; 

template<typename testype> 
class A 
{ 
public: 
    A() 
    { 
     cout << boolalpha; 
     cout << is_same<decltype(*this), A<int>>::value << endl; 
    } 
}; 

class B : public A<int> 
{ 
}; 

int main() 
{ 
    B b; 
} 

输出：

$ g++ -std=c++11 this-type.cpp 
$ ./a.out 
false 

类型的 “*这种” 内部的通过B是A < int>的，是吗？

Answer 1

*this是类型A的左值，因此decltype(*this)将给出参考类型A &。回想一下，decltype上左值给出了引用类型：

cout << is_same<decltype(*this), A<int>>::value << endl; 
    cout << is_same<decltype(*this), A<int> &>::value << endl; 

输出：

false 
true 

Answer 2

确定decltype(*this)是A？你应该用一个丑陋的cout调试线进行调查。

Answer 3

尝试：

typedef std::remove_reference<decltype(*this)>::type this_type; 
cout << is_same<this_type, A<int>>::value << endl; 

，并在一些其他情况下也许remove_cv（如果你不关心const/volatile）是这样的：

typedef std::remove_reference<decltype(*this)>::type this_type; 
typedef std::remove_cv<this_type>::type no_cv_this_type; 
cout << is_same<no_cv_this_type, A<int>>::value << endl;