C++ 重载运算符、常量参数还是按值传递？

Question

template <typename T>
T operator+(T a, const T& b) {
    a += b;
    return a;
}

template <typename T>
T operator+(const T& a, const T& b) {
    T tmp {a};
    tmp += b;
    return tmp;
}

你有什么理由像第二个函数一样将参数作为常量引用传递，而不是像第一个函数那样直接按值传递，因为无论如何你都需要一个临时变量？

---

编辑 1：

我想我应该提一下，这 2 个替代函数仅用于处理带有左值参数的大小写，并且我将提供另外 2 个用于处理右值参数的函数，如下所示。

template <typename T>
T operator+(T&& a, const T& b) {
    a += b;
    return std::move(a);
}

template <typename T>
T operator+(const T& a, T&& b) {
    b += a;
    return std::move(b);
}

所以问题的重点是，为什么我需要显式创建一个临时变量（函数 2），而我可以让语言自动为我提供便利（函数 1）？

Answer 1

template <typename T>
T operator+(T a, const T& b) {
    a += b;
    return a;
}

在这里，您正在复制在此处传入的变量 a，然后您正在更新副本。这需要创建三个副本，并且您再次按值返回。

template <typename T>
T operator+(const T& a, const T& b) {
    T tmp {a};
    tmp += b;
    return tmp;
}

在这里，您的 tmp 变量具有局部范围，变量 a 是 const 引用，因此不允许修改 a 的值。 您正在返回一个 temp 的副本，它是一个局部变量。

两者都可以正常工作，但不同之处在于创建的副本数量。您在第一种情况下制作的副本比在第二种情况下要多。

虽然第二个将针对 tmp 变量进行优化以使用移动语义以减少副本。所以你在第二种情况下会有更快的性能