本文参照于狄泰软件学院,唐佐林老师的——《C++深度剖析教程》
既然运算操作符、比较操作符、赋值操作符、求模运算符都可以进行操作符重载了。那么逻辑运算符是否可以重载呢?
回答这个问题,我们需要知道操作符重载的规则。规则之一是:不能改变操作符的原有语义。
逻辑运算符的原生语义
- 操作数只有两种值(true)和(false)
- 逻辑表达式不用完全计算就能确定最终值
根据逻辑运算符的短路法则,往往在一边变量确认true或false后。整个逻辑操作就完成了。 - 最终结果只能是true或者false。
示例代码:逻辑表达式
#include <iostream>
#include <string>
using namespace std;
int func(int i)
{
cout << "int func(int i) : i = " << i << endl;
return i;
}
int main()
{
if( func(0) && func(1) )
{
cout << "Result is true!" << endl;
}
else
{
cout << "Result is false!" << endl;
}
cout << endl;
if( func(0) || func(1) )
{
cout << "Result is true!" << endl;
}
else
{
cout << "Result is false!" << endl;
}
return 0;
}
输出结果:
int func(int i) : i = 0
Result is false!int func(int i) : i = 0
int func(int i) : i = 1
Result is true!
(1)&&操作符在左操作符为假时,右操作符就不执行了。
(2)||操作符只有在左操作符为真时,右操作符才不执行。
这是逻辑操作符的短路法则。
问题:根据上面得出的结论,我们可以重载逻辑操作符实现短路法则吗?
重载逻辑操作符
示例代码:
#include <iostream>
#include <string>
using namespace std;
class Test
{
int mValue;
public:
Test(int v)
{
mValue = v;
}
int value() const
{
return mValue;
}
};
bool operator && (const Test& l, const Test& r)
{
return l.value() && r.value();
}
bool operator || (const Test& l, const Test& r)
{
return l.value() || r.value();
}
Test func(Test i)
{
cout << "Test func(Test i) : i.value() = " << i.value() << endl;
return i;
}
int main()
{
Test t0(0);
Test t1(1);
if( func(t0) && func(t1) )
{
cout << "Result is true!" << endl;
}
else
{
cout << "Result is false!" << endl;
}
cout << endl;
if( func(1) || func(0) )
{
cout << "Result is true!" << endl;
}
else
{
cout << "Result is false!" << endl;
}
return 0;
}
输出结果
Test func(Test i) : i.value() = 1
Test func(Test i) : i.value() = 0
Result is false!Test func(Test i) : i.value() = 0
Test func(Test i) : i.value() = 1
Result is true!
分析:
从输出结果来看:我们在判断func(t0) && func(t1)时,是从右到左执行的,但是我们将两个操作数调换,执行结果依然把两个操作数执行了。这是为什么呢?
(1) C++通过函数调用扩展操作符的功能
(2) 进入函数体前必须完成所有参数的计算
(3) 函数参数的计算次序是不定的。
也就是说,这条语句func(t0) && func(t1)实际等价于:
if( operator && (func(t0), func(t1)) )
所以,这实际上是一个函数调用,那么参数的计算必须要全部完成。而我们也知道函数参数的计算顺序是由编译器决定的。
因此逻辑操作符的重载使得逻辑操作符的短路法则失效了。无法完全实现原生的语义。
建议
1. 实际工程开发中避免重载逻辑操作符
2. 通过重载比较操作符代替逻辑操作符重载
3. 直接使用成员函数代替逻辑操作符重载
4. 使用全局函数对逻辑操作符进行重载
另外,除了逻辑操作符不建议重载外。逗号操作符和取地址操作符的运算对象求值顺序规则也无法保留下来。另外,这两个运算符已经定义了用于类类型对象时的特殊含义,所以我们不必要也不需要去重载它。