逻辑运算符的原生语义
操作数只有两种值(true 和 false)
逻辑表达式不用完全计算就能确定最终值
最终结果只能是true或者false
来看一个实现逻辑操作符重载的例子:
#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;
}
结果:
sice@sice:~$ ./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!
可以看出,虽然语法上实现逻辑与和逻辑或运算符是不会存在问题的,由于函数调用的特点它无法实现短路规则,func(t0) && func(t1)看成是operator&&(func(t0),func(t1)),我们调用函数时函数参数的求值顺序是不确定的,所以这里的func(t1)先调用了