c++调用模板类的特定模板构造函数

Question

如果类也是模板，是否可以使用模板参数调用构造函数？

#include <stdio.h>
#include <iostream>

template <class A>
struct Class
{
  template <class B>
  Class(B arg) { std::cout << arg << std::endl; }
};

int main()
{
  Class<int> c<float>(1.0f);
  Class<int>* ptr = new Class<int><float>(2.0f);
  return 0;
}

编辑：所以我想调用特定模板构造函数的唯一方法是使用将参数转换为您想要的模板类型来调用它：

#include <stdio.h>
#include <iostream>

template <class A>
struct Class
{
  template <class B>
  Class(B arg) { std::cout << arg << std::endl; }

  Class(double arg) { std::cout << "double" << std::endl; }
  Class(float arg) { std::cout << "float" << std::endl; }
};

int main()
{
  Class<int> c(1.0f);
  Class<int>* ptr = new Class<int>((double)2.0f);
  return 0;
}

// 这输出： 漂浮 double

edit2：但是不属于构造函数参数本身的构造函数模板参数会发生什么情况？

template <class B, class C>
Class(B arg) { /* how do you specify ?? C */ }

Answer 1

在您提供的示例中，您实际上不需要显式给出template参数来调用构造函数，例如：

Class<int> c<float>(1.0f);

简单地提供参数为1.0f足够：

Class<int> c(1.0f);

同样的事情也适用于 new 示例。话虽如此，我认为您不能使用 template 参数显式调用构造函数（与普通函数不同）。

Answer 2

edit2：但是不属于构造函数参数本身的构造函数模板参数会发生什么情况？

然后你可以传入一个已编码的参数

template<typename T> struct encodeType { };

struct A {
  template<typename T, typename U>
  A(T t, encodeType<U>) { }
};

A a(1, encodeType<float>());

Answer 3

您需要显式声明类本身的模板类型（在您的示例中为 A）。但您无需说明 B 是什么类型。编译器从您传递 1.0f 时知道 B == float。构造函数调用中没有任何内容可以帮助编译器确定 A 是什么，因此您必须告诉它：

Class<int> c(1.0f);
Class<int>* ptr = new Class<int>(2.0f);

Answer 4

Class<int> c(1.0f); //f in 1.0 makes it float type!
Class<int>* ptr = new Class<int>(2.0f);

这就够了。它将调用具有模板参数float的构造函数。编译器将从参数 1.0f 推导出构造函数模板的类型参数。由于 1.0f 是 float，因此编译器将推导出的类型参数是 float。

同样参见这些：

Class<int> c(1.0); //this will invoke Class<int><double>(double);
Class<int>* ptr = new Class<int>(2); //this will invoke Class<int><int>(int);