Can the template parameters of a constructor be explicitly specified?
A constructor of a class can be a template function. At the point where such a constructor is called, the compiler usually looks at the arguments given to the constructor and determines the used template parameters from them. Is there also some syntax to specify the template parameters explicitly?
A contrived example:
struct A {
template<typename T>
A() {}
};
Is there a way to instantiate this class? What is the syntax to explicitly specify the constructor's template parameters?
My use case would be a problem were the compiler doesn't seem to find the correct templated constructor. Explicitly specifying the template parameters would probably generate more useful error messages or even resolve the problem.
No. The C++03 standard says:
[Note: because the explicit template argument list follows the function template name, and because conversion member function templates and constructor member function templates are called without using a function name, there is no way to provide an explicit template argument list for these function templates.] (§14.5.2/5)
There is another solution for transfering type information to templated constructors which can't take a value of this type as an argument:
template<class T>
struct id
{};
struct A {
template<class T>
A(id<T>);
};
A a=id<int>();
Edit:
Please note: A a(id<int>());
will not work, because of most vexing parse. It would be interpreted as an function declaration. See this question for further explanation.