逻辑操作符的陷阱

• 逻辑运算符的原生语义

1. 操作数只有两种值（true和false）
2. 逻辑表达式不用完全计算就能确定最终值
3. 最终结果只能是true或者false

那么，如果我们重载逻辑运算符会发生什么？

例：

#include <iostream>
#include <string>
using namespace std;
class Test
{
    int value;
public:
    Test(int _value)
    {
        this->value = _value;
    }
    ~Test()
    {
    }
    int get_value()
    {
        return this->value;
    }
};
//重载逻辑与操作符
bool operator && (Test op1,Test op2)
{
    return op1.get_value() && op2.get_value();
}
//重载逻辑或操作符
bool operator || (Test op1,Test op2)
{
    return op1.get_value() || op2.get_value();
}
Test func(Test t)
{
    cout << "Test func(Test t) : Test.value = " << t.get_value() << endl ;
    
    return t;
}
int main()
{
    Test t0(0);
    Test t1(1);
#if 0
    if (func(t0) && func(t1))
    {
       cout << "The result is true" << endl;
    }
    else
    {
        cout << "The result is false" << endl;
    }
#endif
    if (operator &&(func(t0),func(t1)))
    {
        cout << "The result is true" << endl;
    }
    else
    {
        cout << "The result is false" << endl;
    }
}

运行结果：

Test func(Test t) : Test.value = 1

Test func(Test t) : Test.value = 0

The result is false

• 问题的本质分析

1. C++通过函数调用扩展操作符的功能
2. 进入函数前必须完成所有参数的计算
3. 函数参数的计算次序是不定的
4. 短路法则完全失效

如果重载逻辑操作符，逻辑操作符重载后无法完全实现原生的语义！！

• 一些建议

1. 在实际工程中避免重载逻辑操作符
2. 通过重载比较操作符代替逻辑操作符
3. 直接使用成员函数代替逻辑操作符重载
4. 使用全局函数对逻辑操作符进行重载

• 小结

1. C++从语义上支持逻辑操作符重载
2. 重载后的逻辑操作符不满足短路法则
3. 工程开发中不要重载逻辑操作符
4. 通过重载比较操作符替换逻辑操作符重载
5. 通过专用成员函数替换逻辑操作符重载