跳过模板参数

Skip template parameters

本文关键字：参数      更新时间：2023-10-16

为什么允许我跳过模板参数（请参阅注释）？为什么我会出现链接错误？

template <typename T>
class Number {
public:
    Number(int val) {}
    // Why can I skip template arguments here?
    friend Number operator* (Number first, Number second);
};
template<typename T>
Number<T> operator* (Number<T> lhs, Number<T> rhs) {
    return Number<T>(42);
}
int main() {
    Number<int> num1(22), num2(23);
    Number<int> res = num1 * num2;
}

  1. 只有当类模板的名称出现在该类的范围内时，才能省略该类模板的模板参数。因此，friend声明隐式地接受两个Number<T>参数，但请注意，它不是模板。

  2. 因为它不是模板，所以两个Number<T>参数中的T实际上是int，正如您在num1和num2的实例化中所指定的那样。因此，您的friend声明实际上是：

    friend Number operator* (Number<int> first, Number<int> second);

  3. Number下面的函数模板的定义是一个单独的重载，而不是您声明为朋友的重载。这是因为第一个是使用两个Number<int>的正则函数，而第二个是可以用任何Number<T>实例实例化的函数模板。由于它是一个单独的重载，因此它不是Number的朋友，因此不能访问Number的私有/受保护成员。

  4. num1 * num2选择调用您的普通朋友函数，因为这两个参数完全匹配。由于该函数尚未定义，您将收到一个未定义的引用。

因为您在模板化类的作用域中。

类用类型参数实例化，在该范围内，名称Number实际上是Number<T>，分配器类型为T。

请注意，构造函数也不需要模板参数。

Number的友元运算符将实例化为：

 friend Number<int> operator* (Number<int> first, Number<int> second);
相关文章：