C++第38课--逻辑操作符的陷阱，逻辑操作符&& ||重载 -- 不建议使用

本文学习自 狄泰软件学院 唐佐林老师的 C++课程

---

实验1：逻辑操作符 && || 重载 的陷阱

#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(  operator && ( func(t0),  func(t1)) )
    if( func(t0) && func(t1) )
    {
        cout << "Result is true!" << endl;
    }
    else
    {
        cout << "Result is false!" << endl;
    }
    
    cout << endl;
    
    // ==> if(  operator || ( func(t0),  func(t1)) )
    if( func(1) || func(0) )
    {
        cout << "Result is true!" << endl;
    }
    else
    {
        cout << "Result is false!" << endl;
    }
    
    return 0;
}

mhr@ubuntu:~/work/c++$ g++ 38-2.cpp
 
mhr@ubuntu:~/work/c++$ 
mhr@ubuntu:~/work/c++$ 
mhr@ubuntu:~/work/c++$ ./a.out 
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!
mhr@ubuntu:~/work/c++$ 

现象，发现逻辑操作都是从右向左进行的了，为什么呢？？？？

所以代码中的

if( func(t0) && func(t1) ) 等价于 if(  operator && ( func(t0),  func(t1)) )
if( func(1) || func(0) )  等价于 if(  operator || ( func(t0),  func(t1)) )

由于进入函数体之前必须完成所有参数的计算，而函数参数的计算次序是不定的，故短路法则完全失效。