1. 邏輯操作符的原生語義
- 操作數只有兩種值（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 << "Resutl is ture!" << endl;
}
else
{
cout << "Result is false!" << endl;
}
cout << endl;
if( func(0) || func(1) )
{
cout << "Resutl is ture!" << endl;
}
else
{
cout << "Result is false!" << endl;
}
return 0;
}
輸出結果：
int func(int i): i = 0
Result is false!
int func(int i): i = 0
int func(int i): i = 1
Resutl is ture!
2. 邏輯操作符的重載
問題：邏輯操作符可以重載嗎？重載邏輯操作符有什么意義？
#include <iostream>
#include <string>
using namespace std;
class Test
{
int mValue;
public:
Test(int value)
{
mValue = value;
}
int value() const
{
return mValue;
}
};
Test func(Test i)
{
cout << "Test func(Test i) : i.value() = " << i.value() << endl;
return i;
}
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();
}
int main()
{
Test t0(0);
Test t1(1);
if( func(t0.value()) && func(t1.value()) )
{
cout << "Resutl is ture!" << endl;
}
else
{
cout << "Result is false!" << endl;
}
cout << endl;
if( func(t1) || func(t0) )
{
cout << "Resutl is ture!" << endl;
}
else
{
cout << "Result is false!" << endl;
}
return 0;
}
輸出結果：
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
Resutl is ture!
觀察結果可知：短路法則沒有滿足。
- 問題的本質分析
- C++通過函數調用擴展操作符的功能
- 進入函數體前必須完成所有參數的計算
- 函數參數的計算次序式不定的
- 短路法則完全失效
邏輯操作符重載后無法完全實現原生語義。操作符重載不能改變操作符原生語義，邏輯操作符重載卻無法實現邏輯操作符的短路法則，因此，最不要對邏輯操作符的重載。
3. 一些有用的建議
- 實際工程開發中避免重載邏輯操作符
- 通過重載比較操作符代替邏輯操作符重載
- 直接使用成員函數代替邏輯操作符重載
- 使用全局函數對邏輯操作符進行重載
4. 小結
- C++從語法上支持邏輯操作符重載
- 重載后的邏輯操作符不滿足短路法則
- 工程開發中不要重載邏輯操作符
- 通過重載比較操作符替換邏輯操作符的重載
- 通過專用成員函數替換邏輯操作符重載
