关于运算符重载定义中的 const

Question

对于下面的定义

const vector3F operator*(const vector3F &v, float s);

有两个const，它们各自的用法是什么？

Answer 1

参数中的 const 引用意味着您不会更改 v，因此您可以将常量向量（和临时变量！）传递给函数。这是一件好事。

恒定的按值回报是一种噱头。它阻止你写这样的东西：

 vector3F v = get_vector();
 vector3F w = v;

 (v * 1.5) = w; // outch! Cannot assign to constant, though, so we're good.

不过，按值返回常量是有问题的，因为它干扰了 C++11 的右值引用和移动语义：

 move_me(v * 1.5);  // cannot bind to `vector3F &&` :-(

正因为如此，而且因为像我上面展示的那样的滥用是相当严重的不太可能偶然发生，因此最好仅按非常数的值返回。

Answer 2

第一个 const 表示返回值是常量且不能更改（顺便说一句，这对于乘法运算符来说是一个坏主意）：

const Vector3F v = myvector*100.0;

v.x = 0; // error: the vector is constant and can not be altered

第二个 const 表示参数“v”是常量：

const vector3F operator*(const vector3F &v, float s)
{
    v.x = 0; // error: "v" is constant
}