尝试编译这段代码时出现一个奇怪的错误。
我会解释我的问题。
我定义了一个vector2D,如下所示:
typedef struct LX_Vector2D
{
float vx;
float vy;
LX_Vector2D& operator =(const LX_Vector2D v); // Defined
} LX_Vector2D;
我还在此 vector 上定义了两个运算符:
bool operator ==(LX_Vector2D& u,LX_Vector2D& v); // Are u and v equal?
LX_Vector2D operator -(LX_Vector2D& u); // Get the opposite vector
所有这些重载运算符都已定义。
因此,我在以下代码中测试了这些运算符:
LX_Vector2D u = {3.14,-2.56};
LX_Vector2D expected_vec = {-u.vx,-u.vy};
if(expected_vec == (-u)) // ERROR
cout << "OK" << endl;
else
cout << "NO" << endl;
编译此代码时,出现以下错误:
与'expected_vec ==运算符-((*&u))'中的'operator =='不匹配
我对'='和'=='没问题,因为在实现'-'之前我已定义并测试了它们。
但是,当我修改此代码以获取此代码时:
u = -u;
if(expected_vec == u) // OK
我没有错。
我不明白,因为看起来这两段代码在语义上是相同的。
这是运算符'-'的定义:
LX_Vector2D operator -(LX_Vector2D& u)
{
return {-u.vx,-u.vy};
}
所以我的问题是:
为什么我的编译器无法将“expected_vec ==(-u)”识别为对带有“expected_vec”和(-u)作为参数的运算符“==”的调用?
另一个问题:
如果可能的话,我如何可以毫无问题地使用if(expected_vec ==(-u))?
我使用g++ 4.6.1。
最佳答案
这里的问题是,operator-
的结果用作另一个表达式的一部分时,它是一个临时值,并且operator==
接受非恒定引用。非恒定引用不能绑定(bind)到临时值。
简单的解决方案?使operator==
函数采用常量引用:
bool operator ==(const LX_Vector2D& u, const LX_Vector2D& v)
// ^^^^^ ^^^^^
// Note the use of `const`
作为一般建议,在声明不会修改其参数的函数时,请始终将参数作为常量传递。这样可以避免此类问题,并且还可以帮助编译器进行可能的优化。