Chức năng mẫu is_same trong các lớp mẫu

Question

Tại sao mã này tạo ra kết quả sai?

//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; 
} 

Output:

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

Các loại "* này" bên A đến B là một int <>, phải không?

Answer 1

*this là giá trị của loại A, vì vậy decltype(*this) sẽ cung cấp loại tham chiếu A &. Nhớ lại rằng decltype trên một giá trị trái cung cấp cho các loại tài liệu tham khảo:

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

Output:

false 
true 

Answer 2

Bạn có chắc chắn decltype(*this) là A? Bạn nên điều tra về điều đó với một dòng gỡ lỗi cout xấu xí.

Answer 3

Hãy thử:

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

và có thể remove_cv trong một số bối cảnh khác (nếu bạn không quan tâm đến const/volatile) như thế này:

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;