Can You Explicitly Specify Template Parameters in Constructor Definitions?

Can Explicit Template Parameter Specification in Constructor Definition Be Achieved?

Despite the ability to create constructor templates within a class, the compilation process typically infers template parameters from the arguments provided. However, doubt arises if there exists syntax allowing explicit specification of template parameters in such constructors.

Consider the following structure as an example:

struct A {
  template<typename T>
  A() {}
};

The question arises: is there a method for instantiating this structure or explicitly defining the template parameters of its constructor?

In practice, scenarios may arise where the compiler fails to identify the correct templated constructor, leading to potential difficulties. Explicit template parameter specification could enhance error reporting or even resolve the issue.

Answer:

Disappointingly, the C 03 standard offers a definitive answer:

"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)

In essence, explicitly specifying template parameters in constructor definitions is not supported by the C 03 standard.

The above is the detailed content of Can You Explicitly Specify Template Parameters in Constructor Definitions?. For more information, please follow other related articles on the PHP Chinese website!