邏輯運算子

 

C++

編譯器支援

自由（freestanding）與宿主（hosted）

語言

標準庫

標準庫標頭檔案

具名要求

特性測試宏 (C++20)

語言支援庫

概念庫 (C++20)

診斷庫

記憶體管理庫

超程式設計庫 (C++11)

通用工具庫

容器庫

迭代器庫

範圍庫 (C++20)

演算法庫

字串庫

文字處理庫

數值庫

日期和時間庫

輸入/輸出庫

檔案系統庫 (C++17)

併發支援庫 (C++11)

執行控制庫 (C++26)

技術規範

符號索引

外部庫

 

C++ 語言

通用主題
預處理器 註釋	關鍵詞 轉義序列
流程控制
條件執行語句
if	switch
迭代語句（迴圈）
for range-for (C++11)	while do-while
跳轉語句
continue - break	goto - return
函式
函式宣告
Lambda 函式表示式
inline 說明符
動態異常規範 (直到 C++17*)
noexcept 說明符 (C++11)
異常
throw 表示式 try 塊	catch 處理程式
名稱空間
名稱空間宣告	命名空間別名
型別
基本型別 列舉型別 函式型別	類/結構體型別 聯合型別
說明符
const/volatile decltype (C++11) auto (C++11)	constexpr (C++11) consteval (C++20) constinit (C++20)
儲存期說明符
初始化
預設初始化 值初始化 零初始化 複製初始化 直接初始化	聚合初始化 列表初始化 (C++11)   常量初始化 引用初始化

表示式
值類別 求值順序	運算子 運算子優先順序
替代表示
字面量
布林 - 整型 - 浮點型
字元型 - 字串型 - nullptr (C++11)
使用者定義 (C++11)
工具
屬性 (C++11)
型別
typedef 宣告
類型別名宣告 (C++11)
型別轉換
隱式轉換 static_cast const_cast	顯式轉換 dynamic_cast reinterpret_cast
記憶體分配
new 表示式	delete 表示式
類
類宣告 建構函式 this 指標	訪問說明符 friend 說明符
類特有的函式屬性
虛擬函式 override 說明符 (C++11)   final 說明符 (C++11)	explicit (C++11) static
特殊成員函式
預設建構函式 複製建構函式 移動建構函式 (C++11)	複製賦值 移動賦值 (C++11) 解構函式
模板
類模板 函式模板	模板特化 引數包 (C++11)
雜項
內聯彙編	C++ 歷史

 

表示式

通用
值類別 求值順序 常量表達式 主表示式	Lambda 表示式 (C++11) Requires 表示式 (C++20) 包索引表示式 (C++26) 潛在求值表示式
字面量
整數字面量 浮點數字面量 布林字面量 字元字面量	轉義序列 字串字面量 空指標字面量 (C++11) 使用者定義字面量 (C++11)
運算子
賦值運算子 遞增和遞減 算術運算子 邏輯運算子 比較運算子 成員訪問運算子 其他運算子 new 表示式 delete 表示式 throw 表示式	alignof sizeof sizeof... (C++11) typeid noexcept (C++11) 摺疊表示式 (C++17) 運算子的替代表示 優先順序和結合性 運算子過載 預設比較 (C++20)
轉換
隱式轉換 顯式轉換 常用算術轉換     使用者定義轉換	const_cast static_cast dynamic_cast reinterpret_cast

 

返回布林運算的結果。

運算子名稱	語法	可過載	原型示例（對於 class T）
			類定義內部	類定義外部
否定	not a !a	是	bool T::operator!() const;	bool operator!(const T &a);
AND	a and b a && b	是	bool T::operator&&(const T2 &b) const;	bool operator&&(const T &a, const T2 &b);
包含 OR	a or b a || b	是	bool T::operator||(const T2 &b) const;	bool operator||(const T &a, const T2 &b);
注意 關鍵字形式（and、or、not）和符號形式（&&、||、!）可以互換使用（參見備用表示）。 所有內建運算子都返回 bool，並且大多數使用者定義過載也返回 bool，以便使用者定義的運算子可以像內建運算子一樣使用。但是，在使用者定義的運算子過載中，任何型別都可以用作返回型別（包括 void）。 內建運算子 && 和 || 執行短路求值（如果第一個運算元求值後結果已知，則不求值第二個運算元），但過載運算子的行為類似於常規函式呼叫，並且總是求值兩個運算元。

解釋

邏輯運算子表示式具有以下形式

! rhs	(1)
lhs && rhs	(2)
lhs || rhs	(3)

1) 邏輯非

2) 邏輯與

3) 邏輯或（包含性）

如果運算元不是 bool，它會使用上下文轉換為 bool 轉換為 bool：如果宣告 bool t(arg) 對於某個虛構的臨時變數 t 是格式良好的，則轉換是格式良好的。

結果是一個 bool prvalue。

對於內建的邏輯非運算子，如果運算元為 false，則結果為 true。否則，結果為 false。

對於內建的邏輯與運算子，如果兩個運算元都為 true，則結果為 true。否則，結果為 false。此運算子是短路的：如果第一個運算元為 false，則不求值第二個運算元。

對於內建的邏輯或運算子，如果第一個或第二個運算元（或兩者）為 true，則結果為 true。此運算子是短路的：如果第一個運算元為 true，則不求值第二個運算元。

請注意，按位邏輯運算子不執行短路求值。

結果

a	true	false
!a	false	true

和		a
		true	false
b	true	true	false
	false	false	false

或		a
		true	false
b	true	true	true
	false	true	false

在使用者定義運算子的過載決議中，以下內建函式簽名參與過載決議

bool operator!(bool)
bool operator&&(bool, bool)
bool operator||(bool, bool)

示例

執行此程式碼

#include <iostream>
#include <sstream>
#include <string>
 
int main()
{
    int n = 2;
    int* p = &n;
    // pointers are convertible to bool
    if (    p && *p == 2  // "*p" is safe to use after "p &&"
        || !p &&  n != 2) // || has lower precedence than &&
        std::cout << "true\n";
 
    // streams are also convertible to bool
    std::stringstream cin;
    cin << "3...\n" << "2...\n" << "1...\n" << "quit";
    std::cout << "Enter 'quit' to quit.\n";
    for (std::string line;    std::cout << "> "
                           && std::getline(cin, line)
                           && line != "quit";)
        std::cout << line << '\n';
}

輸出

true
Enter 'quit' to quit.
> 3...
> 2...
> 1...
>

標準庫

因為 operator&& 和 operator|| 的短路特性不適用於過載，並且因為具有布林語義的型別不常見，所以只有兩個標準庫類過載了這些運算子

operator!	對 valarray 的每個元素應用一元算術運算子 （std::valarray<T> 的公共成員函式）
operator&&operator||	對兩個 valarray 的每個元素，或一個 valarray 和一個值應用二元運算子 (函式模板)
operator!	檢查是否發生錯誤（fail() 的同義詞） （std::basic_ios<CharT,Traits> 的公共成員函式）

另請參閱

運算子優先順序

運算子過載

logical_and	實現 x && y 的函式物件 （類模板）
logical_or	實現 x || y 的函式物件 （類模板）
logical_not	實現 !x 的函式物件 （類模板）

常見運算子
賦值	遞增 遞減	算術	邏輯	比較	成員 訪問	其他
a = b a += b a -= b a *= b a /= b a %= b a &= b a |= b a ^= b a <<= b a >>= b	++a --a a++ a--	+a -a a + b a - b a * b a / b a % b ~a a & b a | b a ^ b a << b a >> b	!a a && b a || b	a == b a != b a < b a > b a <= b a >= b a <=> b	a[...] *a &a a->b a.b a->*b a.*b	函式呼叫 a(...)
						逗號 a, b
						條件運算子 a ? b : c
特殊運算子
static_cast 將一種型別轉換為另一種相關型別 dynamic_cast 在繼承層次結構內進行轉換 const_cast 新增或移除 cv-限定符 reinterpret_cast 將型別轉換為不相關型別 C 風格型別轉換透過 static_cast、const_cast 和 reinterpret_cast 的組合將一種型別轉換為另一種型別 new 建立具有動態儲存期的物件 delete 銷燬先前由 new 表示式建立的物件並釋放獲得的記憶體區域 sizeof 查詢型別的大小 sizeof... 查詢 包 的大小 (C++11 起) typeid 查詢型別的型別資訊 noexcept 檢查表示式是否可以丟擲異常 (C++11 起) alignof 查詢型別的對齊要求 (C++11 起)

C 文件 關於 邏輯運算子