क्यों decltype (* यह) सही प्रकार वापस नहीं करता है?

Question

निम्नलिखित कोड को वीसी ++ नवंबर 2012 सीटीपी के साथ संकलित किया गया था। लेकिन संकलक ने एक चेतावनी दी।

मुझे आश्चर्य है कि यह वीसी ++ नवंबर 2012 सीटीपी का एक बग है या नहीं।

struct A 
{ 
    int n; 

    A(int n) 
     : n(n) 
    {} 

    int Get() const 
    { 
     return n; 
    } 

    int Get() 
    { 
     // 
     // If using "static_cast<const A&>(*this).Get();" instead, then OK. 
     // 
     return static_cast<const decltype(*this)&>(*this).Get(); // Warning! 
    } 
}; 

int main() 
{ 
    A a(8); 

    // 
    // warning C4717: 'A::Get' : recursive on all control paths, 
    // function will cause runtime stack overflow 
    // 
    a.Get(); 
} 

Answer 1

decltype एक अभिव्यक्ति है कि एक आईडी अभिव्यक्ति आप एक संदर्भ देता है नहीं है के लिए आवेदन किया है, तो पहले से ही decltype(*this)A& है, और आप उस const फिर से नहीं कर सकते। क्या तुम सच में decltype उपयोग करना चाहता था, तो आप कुछ इस तरह कर सकता है:

static_cast<std::decay<decltype(*this)>::type const &>(*this) 

या यहां तक ​​कि इस:

static_cast<std::add_lvalue_reference< 
       std::add_const< 
         std::decay<decltype(*this)>::type 
       >::type 
      >::type 
>(*this) 

बेशक यह बहुत सरल सिर्फ static_cast<A const &>(*this) कहने के लिए है।