C++模板运算符重载时自动构造函数调用？

Question

我的头文件中有以下内容：

template<typename T>
class rational {
private:
    T num;
    T denom;
    T gcd(T x, T y);

public:
    rational(T num, T denom);
    rational(T wholeNumber);

    template<typename U>
    friend inline rational<U> operator *(const rational<U> &lhs, const rational<U> &rhs);
}

template<typename T>
rational<T>::rational(T whole) {
    this->num = whole;
    this->denom = 1;
}

template<typename T>
rational<T> operator *(const rational<T> &lhs, const rational<T> &rhs) {
    return rational<T>(lhs.num * rhs.num, lhs.denom * rhs.denom);
}

我的主文件中有以下内容：

rational<int> x(6), y(2);
rational<int> product = y * x;   // this works
rational<int> product2 = 2 * x;  // this doesn't

第一个产品可以工作，但第二个产品给我“错误：‘2 * x’中的‘operator*’不匹配”。为什么？既然有一个可用的构造函数只接受 2 作为参数，那么它不应该被自动调用吗？如果没有，我该如何让操作员超载才能同时完成这两项工作？

谢谢。

Answer 1

我不确定为什么编译器不会在 2 上隐式调用单参数构造函数以产生有理数，但我的猜测是，当涉及模板时，推理机制就会被破坏。

一种解决方法（如果没有人知道如何解决隐式构造函数问题）是定义一个额外的乘法运算符，如下所示：

template<typename T>
rational<T> operator *(const T &lhs, const rational<T> &rhs) {
    return rational<T>(lhs * rhs.num, rhs.denom);
}
template<typename T>
rational<T> operator *(const rational<T> &lhs, const T &rhs) {
    return rational<T>(lhs.num * rhs, lhs.denom);
}

如果您在某个内部循环中使用有理数编写高性能代码，这也会表现得更好。

Answer 2

2 * x;

类似于调用 of，

int::operator*(const rantional<int>&)

2 是一个 int 并且它没有为 constrational重载 operator * 。 &;因此你会得到编译器错误。

正确的做法是：

rational<int> product2 = rational<int>(2) * x; // ok