Perché una classe non può ereditare dal risultato di un decltype?

Question

Perché una classe non può avere un decltype nell'elenco ereditari? Per esempio, mi sarei aspettato il seguente codice per rendere A<B> ereditare da RType, ma con G ++ 4.6.1 (usando -std=c++0x) che non può essere compilato:

#include <type_traits> 

template<typename T> 
class A : public decltype(std::declval<T>().hello()) { }; 

class RType { }; 

class B { 
public: 
    RType hello() { return RType(); } 
}; 

int main() { 
    A<B> a; 
} 

E ha pronunciato la seguente uscita:

test.cpp:6:18: error: expected class-name before 'decltype' 
test.cpp:6:18: error: expected '{' before 'decltype' 
test.cpp:6:54: error: expected unqualified-id before '{' token 
test.cpp: In function 'int main()': 
test.cpp:16:7: error: aggregate 'A<B> a' has incomplete type and cannot be defined 

L'uso di declval è solo per fornire un'istanza in cui è necessario utilizzare decltype, ma anche altri usi di decltype non riescono (ovvero senza declval).

Answer 1

è consentito:

10.1: "Un elenco di classi di base può essere specificato in una definizione di classe utilizzando la notazione:"

class-or-decltype: 
nested-name-specifieropt class-name 
decltype-specifier 

quindi credo che il compilatore ha bug

Answer 2

Sembra a bug in GCC. Prova 4.7.

Answer 3

A soluzione:

Answer 4

Si potrebbe provare qualcosa come

template<typename T> 
class A : public result_of<T::hello()> 

sebbene possa aspettarsi una funzione membro statico per quella sintassi, ed è probabile che si imbatta nello stesso bug che impedisce a decltype di funzionare.