टेम्प्लेट फ़ंक्शन 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 

के प्रकार के "* इस" अंदर बी के माध्यम से एक एक < पूर्णांक> है, है ना?

Answer 1

*thisA प्रकार का एक प्रकार का है, इसलिए decltype(*this) संदर्भ प्रकार A & देगा। याद decltype एक lvalue पर संदर्भ प्रकार देता है:

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

आउटपुट:

false 
true 

Answer 2

क्या आप वाकई decltype(*this) हैं एक है? आपको उस पर एक बदसूरत 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; 

फिर