Каков тип T?

Question

В приведенном ниже коде:

template<typename T> 
struct X {}; 

int main() 
{ 
    X<int()> x; // what is the type of T ? 
} 

Что такое тип T? Я видел что-то подобное в источниках boost.

Answer 1

Рассмотрите функцию int func(). Он имеет тип функции int(void). Он может быть неявно преобразован в тип указателя, как указано в стандарте C++ в 4.3/1, но в этом случае нет необходимости в таком преобразовании, поэтому T имеет тип функции int(void), а не указатель на него.

Answer 2

Вот что я сделал. Хотя вывод кода ниже специфичен для реализации, он много раз дает хороший намек на тип T, с которым мы имеем дело.

template<typename T> 
struct X { 
    X(){ 
     cout << typeid(T).name(); 
    } 
}; 

int main() 
{ 
    X<int()> x; // what is the type of T ? 
    cout << typeid(int()).name() << endl; 
} 

Выход на VC++ является

INT __cdecl (пустоты)

INT __cdecl (пустоты)

Answer 3

Тип T является функцией, которая не принимает никаких параметров и возвращается int, как указано:

template<typename T> 
struct X {}; 

int foo() 
{ 
    return 42; 
} 
int main() 
{ 
    X<int()> x; // what is the type of T ? 
    typedef int(foo_ptr)(); 
    X<foo_ptr> x2; 
    return 0; 
} 

T в x и x2 - это тот же тип.