c++ - 当我们需要提供模板参数来定义一个类？

Question

template<typename T> class A // template parameterization
{
   private:
      T t;
   A(const T& v) : t(v) {}
};

class B
{
    template<typename T>
    B(const T& v)
    {
        std::cout << v << std::endl;
    }
};

// usage of A and B
A<int> a;
B      b(10);

问题> 在什么情况下，我们必须提供模板参数才能定义一个类变量。

例如，

如果类包含模板成员变量或 ???

谢谢

Answer 1

如果类是类模板，则必须提供模板参数来创建实例。在您的示例中，class A是一个类模板，而class B不是。

类模板：

template <typename T> class A {};

不是类模板：

class B { 
  // code may include function template, etc.
  // but the class itself is not a class template
};

在您的示例中，class B有一个模板构造函数，编译器可以使用该参数来确定要进行的专业化。所以在这种情况下，它会生成一个等效于的构造函数

B(const int&);

因为字面10量是一个int. 构造函数不像函数，所以只有在编译器能够弄清楚它是什么的情况下才能工作T。有关更多详细信息，请参阅此相关问题。