常用算術轉換

 

C++

編譯器支援

自由（freestanding）與宿主（hosted）

語言

標準庫

標準庫標頭檔案

具名要求

特性測試宏 (C++20)

語言支援庫

概念庫 (C++20)

診斷庫

記憶體管理庫

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

通用工具庫

容器庫

迭代器庫

範圍庫 (C++20)

演算法庫

字串庫

文字處理庫

數值庫

日期和時間庫

輸入/輸出庫

檔案系統庫 (C++17)

併發支援庫 (C++11)

執行控制庫 (C++26)

技術規範

符號索引

外部庫

 

C++ 語言

通用主題
預處理器 註釋	關鍵詞 轉義序列
流程控制
條件執行語句
if	switch
迭代語句（迴圈）
for 基於範圍的 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

 

許多期待算術或列舉型別運算元的二元運算子，會以類似的方式引發轉換併產生結果型別。其目的是產生一個公共型別，該型別也是結果的型別。此模式被稱為常規算術轉換（usual arithmetic conversions）。

定義

常規算術轉換定義如下

階段 1

對兩個運算元應用左值到右值轉換，在剩餘的過程中使用產生的純右值代替原始運算元。

階段 2

如果任一運算元是有作用域列舉型別，則不執行轉換；如果另一運算元不是相同型別，則表示式非良構。 否則，進入下一階段。

(C++11 起)

階段 3

如果任一運算元是列舉型別，而另一運算元是不同的列舉型別或浮點型別，則表示式非良構。 否則，進入下一階段。

(C++26 起)

階段 4

• 如果任一運算元是浮點型別，則應用以下規則

• 如果兩個運算元具有相同的型別，則不會執行進一步的轉換。
• 否則，如果其中一個運算元是非浮點型別，則該運算元被轉換為另一運算元的型別。
• 否則，如果運算元型別的浮點轉換等級有序但(C++23 起)不相等，則將浮點轉換等級較低型別的運算元轉換為另一運算元的型別。

否則，如果運算元型別的浮點轉換等級相等，則將浮點轉換次等級較低的運算元轉換為另一運算元的型別。 否則，表示式非良構。

(C++23 起)

• 否則，兩個運算元都是整數型別，進入下一階段。

階段 5

兩個運算元都被轉換為一個公共型別 C。給定型別 T1 和 T2 作為運算元的提升後型別（根據整數提升規則），應用以下規則來確定 C

• 如果 T1 和 T2 是相同型別，則 C 就是該型別。
• 否則，如果 T1 和 T2 都是有符號整數型別或都是無符號整數型別，則 C 是整數轉換等級更高的型別。
• 否則，T1 和 T2 中一個型別是有符號整數型別 S，另一個型別是無符號整數型別 U。應用以下規則

• 如果 U 的整數轉換等級大於或等於 S 的整數轉換等級，則 C 為 U。
• 否則，如果 S 能表示 U 的所有值，則 C 為 S。
• 否則，C 是對應於 S 的無符號整數型別。

如果一個運算元是列舉型別，而另一個運算元是不同的列舉型別或浮點型別，則此行為已被棄用。

(C++20 起) （直到 C++26）

整數轉換等級

每個整數型別都有一個整數轉換等級（integer conversion rank），定義如下

• 除了 char 和 signed char（如果 char 是有符號的），沒有兩個有符號整數型別具有相同的等級，即使它們具有相同的表示。
• 一個有符號整數型別的等級，大於任何寬度更小的有符號整數型別的等級。
• 以下整數型別的等級依次降低

long long

(C++11 起)

• long
• int
• short
• signed char

• 任何無符號整數型別的等級等於其對應的有符號整數型別的等級。

任何標準整數型別的等級，大於任何具有相同寬度的擴充套件整數型別的等級。

(C++11 起)

• bool 的等級小於所有標準整數型別的等級。
• 編碼字元型別（char , char8_t(C++20 起), char16_t, char32_t,(C++11 起) 和 wchar_t）的等級等於其底層型別的等級，這意味著

• char 的等級等於 signed char 和 unsigned char 的等級。

char8_t 的等級等於 unsigned char 的等級。	(C++20 起)
char16_t 的等級等於 std::uint_least16_t 的等級。 char32_t 的等級等於 std::uint_least32_t 的等級。	(C++11 起)

• wchar_t 的等級等於其由實現定義的底層型別的等級。

任何擴充套件有符號整數型別相對於另一個具有相同寬度的擴充套件有符號整數型別的等級是由實現定義的，但仍需遵守確定整數轉換等級的其他規則。

(C++11 起)

• 對於所有整數型別 T1、T2 和 T3，如果 T1 的等級高於 T2，且 T2 的等級高於 T3，則 T1 的等級高於 T3。

整數轉換等級也用於整數提升的定義中。

浮點轉換等級和次等級

浮點轉換等級

每個浮點型別都有一個浮點轉換等級（floating-point conversion rank），定義如下

• 標準浮點型別的等級依次降低
  • long double
  • double
  • float

一個浮點型別 T 的等級，大於任何其值集合是 T 的值集合的真子集的浮點型別的等級。 兩個具有相同值集合的擴充套件浮點型別等級相等。 一個其值集合與某個 cv-無限定標準浮點型別完全相同的擴充套件浮點型別，其等級與該標準浮點型別的等級相等。 一個其值集合與多個 cv-無限定標準浮點型別完全相同的擴充套件浮點型別，其等級與 double 的等級相等。

(C++23 起)

浮點轉換次等級 浮點轉換等級相等的浮點型別，透過浮點轉換次等級（floating-point conversion subrank）來排序。次等級在等級相等的型別之間構成一個全序關係。 型別 std::float16_t、std::float32_t、std::float64_t 和 std::float128_t（固定寬度浮點型別）的轉換次等級高於任何具有相同轉換等級的標準浮點型別。否則，轉換次等級的順序是由實現定義的。

(C++23 起)

用法

浮點轉換等級和次等級也用於

• 確定不同浮點型別之間的轉換是否能是隱式的，或是否是窄化轉換，
• 在過載決議中區分轉換序列，

確定當使用 std::basic_istream::operator>> 提取一個擴充套件浮點型別時，由 std::num_get::get() 所提取的實際型別， 確定當使用 std::basic_ostream::operator<< 插入一個擴充套件浮點型別時，由 std::num_put::put() 所插入的實際型別，

(C++23 起)

• 確定 std::complex 的轉換建構函式是否為 explicit，或
• 當將不同浮點型別的引數傳遞給通用或特殊數學函式時，確定公共浮點型別。

缺陷報告

下列更改行為的缺陷報告追溯地應用於以前出版的 C++ 標準。

缺陷報告	應用於	釋出時的行為	正確的行為
CWG 1642	C++98	常規算術轉換可能涉及左值	首先應用左值到右值轉換
CWG 2528	C++20	unsigned char 和 unsigned int 之間的三路比較非良構，因為 存在中間的整數提升	基於提升後的型別確定 公共型別，而不需要 實際提升運算元
CWG 2892	C++98	當兩個運算元都是相同的 浮點型別時，“不需要 進一步轉換”的含義不明確	更改為“不會執行 進一步轉換”