C++深度解析(28)—逻辑操作符的陷阱

1.潜规则

• 逻辑运算符的原生语义
  • 操作数只有两种值(true和false) 
  • 逻辑表达式不用完全计算就能确定最终值 
  • 最终结果只能是true或者false

2.编程实验

• 逻辑表达式     

#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)) 
	{   // 从左往右进行运算，如果左边为0直接输出，调用func()一次
		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;
	}
	
	system("pause");
	
	return 0;
}

• 运行结果

2.重载逻辑操作符

2.1 问题

• 逻辑操作符可以重载吗？
• 重载逻辑操作符有什么意义？

#include<iostream>
#include<string>
using namespace std;

class Test 
{
	int mValue;

public:
	Test(int v) 
	{
		mValue = v;
	}
	
	int value() const  // const修饰的函数，非const对象能调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)  // 非const对象能调const成员
{
	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)) 
	{                 //operator &&(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;
	}
	
	system("pause");
	
	return 0;
}

• 运行结果

• 实际代码测试时，重载运算符使用时，要联想到其实际效果，如func(t0) && func(t1)使用，其实替换为operator &&(func(t0),func(t1)
• 所以无论逻辑操作符是否更换两端顺序，都会对两端数据进行运算。
• 在C语言已经知道函数参数调用顺序是不确定的，且目前大多数为从右到左

2.2  问题的本质分析

• C++通过函数调用扩展操作符的功能
• 进入函数体前必须完成所有参数的计算
• 函数参数的计算次序是不定的
• 短路法则完全失效
• 逻辑操作符重载后无法完全实现原生的语义！

2.3 一些有用的建议

• 实际工程开发中避免重载逻辑操作符
• 通过重载比较操作符代替逻辑操作符重载
• 直接使用成员函数代替逻辑操作符重载
• 使用全局函数对逻辑操作符进行重载

3.小结

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