今天我们来学习逻辑操作符，那么什么是逻辑操作符的陷阱呢？在讲解逻辑操作符陷阱之前，我们先来回顾什么是逻辑操作符：

逻辑运算符的原生语义：
-操作数只有两种值（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这一个值，说明在执行if( func(0) && func(1) )这一句时，只需要知道func（0）的结果，并不需要计算func（1）的结果，就可以知道最终值。而执行第二个判断语句的时候，就需要知道func（0）与func（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 << "int 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;
}

运行结果：

由打印结果看，我们的两个判断语句中的func(t0) && func(t1)，都执行了，这说明，重载后的&&这个操作符，与它原生的语义不符，原生的语义只需要执行一个条件就行。而这个语句if( func(1) || func(0) )的执行顺序也是先执行func（0），后执行func（1）；

那么这里呢，就出现了一个问题，我们重载后的逻辑操作符&&与它原生的语义不符啊，原生的语义是只做一个运算就可以判断最终结果，但是重载后的&&操作符却需要把两个条件都计算一下。而且重载后的||操作符的运算顺序也变了。
这就是，我们所要说的逻辑操作符的陷阱！！！

总结：
-实际开发过程中，最好避免重载逻辑操作符
-重载后的逻辑操作符不满足短路法则
-可以通过重载比较操作符替换逻辑操作符的重载
-通过专用成员函数替换逻辑操作符的重载