c++ - C++中按引用传递和按值传递之间重载歧义的实用解决方案

Question

我有一个 3d vector 类的类模板，看起来有点像(缩写):

template<typename T>
class vector3
{
public:

  typedef vector3<T> self;

  self& operator*(T& a);
  self& operator*(T a);
  T x,y,z;

};

两个运算符*重载“自乘” vector 乘以标量，然后返回 *this。

我希望能够像这样使用类模板:

vector3<double> vv;
double scalar;

vv*scalar;
vv*0.5;

过载歧义很明显，并且“只是让它工作”类型的解决方案是可用的，并且已在其他 SA 问题中进行了讨论。

如果你删除 operator*(T& a)，一切都会编译，但是你(至少在理论上)，在你真的不需要时(对吧？)失去了一些通过值(value)传递的性能优势

如果你去掉operator*(T a)，你就做不到vv*0.5。

如果您重命名其中一个，那么在所有这些操作在数学方面直观上有意义的情况下，您会失去很多代码清晰度。

有没有办法在有意义的时候保留按引用传递，但消除重载歧义？确保 vector3 模板适应上述两个表达式的最佳方法是什么？

Answer 1

你最好的选择是

self operator * (const T& a) const;

一共有三个时刻:

1. 使用 const T& 代替 T 或 T&。现代编译器很聪明，它们会优化代码并按值而不是引用传递小类型。

2. 运算符 * 不应更改操作数。

3. 运算符 * 应该返回一个值而不是一个引用。