Używanie typu decltype ze wskaźnikami funkcji wirtualnego członka

Question

Czy używanie funkcji decltype z wskaźnikami funkcji wirtualnego członka jest zgodne z prawem?

Poniższy kod powoduje wygenerowanie wewnętrznego błędu (C1001) za pomocą VS2012.

struct C 
{ 
    virtual void Foo() {} 

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

Ale to kompiluje grzywny:

struct C 
{ 
    virtual void Foo() {} 

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

Czy to błąd?

Answer 1

MSVC ma wiele znanych problemów z decltype dla wskaźników funkcji członkowskich; zobacz także Using decltype with member function pointers

To jest prawidłowa składnia; g ++ jest z tego całkowicie zadowolony (http://ideone.com/sTZi6). W standardzie nie ma nic, co mogłoby ograniczyć działanie funkcji decltype.