第38 课逻辑操作符的陷阱

逻辑运算的原生语义
-操作数只有两种值（true和false）
-逻辑表达式不完全计算就能确定最终值---------短路规则
-最终结果只能是true或者false

首先看一个C语言的例子：

#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;
}

这个例子运行结果与我们分析的一致。

看下面这个例子：会颠覆你的认知。

#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;
}

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

不推荐去重载逻辑与和逻辑或，因为我们没有办法保证逻辑与和逻辑或的原生语义。

一些有用的建议：
-实际工程开发中避免重载逻辑操作符
-通过重载比较操作符代替逻辑操作符（将一个对象与true和false进行比较）
-直接使用成员函数代替逻辑操作符重载
-使用全局函数对逻辑操作符进行重载（如果你非要重载逻辑操作符）

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