C++ вызывать явный конструктор шаблонов

Question

Можете ли вы рассказать мне, как явным образом вызывать конструктор шаблонов (в списке инициализаторов)? , например:

struct T { 
    template<class> T(); 
}; 

struct U { 
    U() : t<void>() {} //does not work 
    T t; 
}; 

благодаря

Answer 1

Это не возможно. Стандарт также записка по этому вопросу на 14.8.1/7

[Примечание: поскольку явный список аргументов шаблона следует имя шаблона функции, а также потому, что шаблоны функций членов преобразования и шаблоны функций-членов конструктора называют без имени функции, нет способа предоставить явный список аргументов шаблона для этих шаблонов функций. ]

Если вы можете жить с этим, вы можете работать вокруг

struct T { 
    template<class U> T(identity<U>); 
}; 

struct U { 
    U() : t(identity<void>()) {} 
    T t; 
}; 

Учитывая identity, как это определено в импульс

template<typename T> struct identity { typedef T type; };