Verwendung von decltype mit virtuellen Mitgliedsfunktionszeigern

Question

Ist es zulässig, decltype mit virtuellen Mitgliedsfunktionszeigern zu verwenden?

Folgendes erzeugt einen internen Fehler (C1001) mit VS2012.

struct C 
{ 
    virtual void Foo() {} 

    typedef decltype(&C::Foo) type; //pointer 
} 

Aber das kompiliert fein:

struct C 
{ 
    virtual void Foo() {} 

    typedef decltype(C::Foo) type; //not pointer 
} 

Ist es ein Fehler?

Answer 1

MSVC hat mehrere bekannte Probleme mit decltype zu Mitgliedsfunktionszeigern; siehe auch Using decltype with member function pointers

Dies ist die gesetzliche Syntax; g ++ ist damit vollkommen zufrieden (http://ideone.com/sTZi6). Es gibt nichts im Standard, um den Betrieb von decltype auf Elementfunktionen zu beschränken.