模板专业化没有匹配的构造函数

Question

我正在创建一个模板化的矢量类，大致通过以下方式完成：

// Main class
template <typename T, int DIMS>
class Vector
{
    // Default constructor
    Vector();
    // Data constructor
    Vector(const T data[DIMS]);

    // Other functions, variables, operators
};

// 3d specialization
template <typename T>
class Vector<T, 3>
{
    // Cross product for 3d vectors -- only thing in specialization
    static Vector<T, 3> cross(const Vector<T, 3> a, const Vector<T, 3> b);
};

对于主模板，我有一个默认构造函数以及一个指定元素的构造函数。 当我尝试使用带有元素的构造函数进行编译时，出现错误， no matching constructor for initialization of 'Vec3f' (aka 'Vector<float, 3>') 。

我看过的所有类似问题都表明，构造函数应自动使用模板化类，因此我不确定这里发生了什么。 我以前在没有模板专门化的类上遇到构造函数错误，并且列出了另一个构造函数不可行，这使我认为该构造函数由于某种原因没有被复制到模板化类中。

Answer 1

部分和显式专业化不会从主模板继承任何内容； 它们是完全无关的。 在您的代码中，除了静态成员函数之外， Vector<T, 3>是一个完全空的类。

当部分/显式专业化代码与主模板共享代码时，有多种方法可以减少代码重复（例如，通过从实现共享功能的基类模板继承），但是在这种情况下，我认为没有理由编写部分专业化代码首先。 只需将cross作为免费功能模板即可：

template <typename T, int DIMS>
class Vector
{
    // Default constructor
    Vector();
    // Data constructor
    Vector(const T data[DIMS]);

    // Other functions, variables, operators
};

template<typename T>
Vector<T, 3> cross(const Vector<T, 3> a, const Vector<T, 3> b);

作为附带说明， Vector(const T data[DIMS]); 可能不执行您认为的操作-完全等同于Vector(const T *data); 。