C++ non-function typedef с круглыми скобками

Question

Почему я всегда могу добавить пару круглых скобок в typedef и что это значит?

#include <iostream> 
#include <typeinfo> 

int main() { 
    typedef int td; 
    std::cout << typeid(td).name() << std::endl; 
    std::cout << typeid(td()).name() << std::endl; 
    return 0; 
} 

Выходы:

i 
FivE 

Answer 1

td() может быть одна из двух вещей, в соответствии с грамматикой:

• Это может быть типа идентификатор, называя тип «функция не принимая параметр и возвращает td»
• Это может быть выражение , что означает инициализированное значение td.

typeid оператор может быть использован как с типа идентификатором и выражения. Эта неоднозначность разрешается стандартом в пользу того, что это типа ID (§8.2 [dcl.ambig.res]/р2):

Неоднозначность, возникающая из-за сходства между функцией стиля cast и a Тип-идентификатор может происходить в разных контекстах. Неопределенность представляется как выбор между выражением выражения в стиле функции и объявлением типа . Разрешение состоит в том, что любая конструкция, которая могла бы быть , возможно, тип-идентификатор в его синтаксическом контексте считается идентификатор типа.

В контекстах, где типа ID не допускается, td() будет инициализирован значением td объекта. Например:

void foo(int i = int()); 

эквивалентно

void foo(int i = 0); 

Answer 2

td() является int(): функция, возвращающая int не принимая параметр.