Warum gibt decltype (* this) nicht den richtigen Typ zurück?

Question

Der folgende Code wurde mit VC++ Nov 2012 CTP kompiliert. Aber der Compiler gab eine Warnung ab.

Ich frage mich nur, ob dies ein Fehler von VC++ November 2012 CTP ist.

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 auf einen Ausdruck angewendet, die Sie eine Referenz nicht ein id-Ausdruck ist gibt, so decltype(*this) bereits A&, und Sie können nicht, dass const wieder machen. Wenn Sie wirklich verwenden decltype wollten, könnten Sie so etwas tun:

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

Oder auch dies:

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

Natürlich ist es viel einfacher, nur static_cast<A const &>(*this) zu sagen.