常量表達式

 

C

編譯器支援

語言

標頭檔案

型別支援

程式工具

變參函式支援

錯誤處理

動態記憶體管理

字串庫

演算法

數值

日期和時間工具

輸入/輸出支援

本地化支援

併發支援 (C11)

技術規範

符號索引

 

C 語言

基本概念

關鍵詞

預處理器

語句

表示式

初始化

宣告

函式

雜項

C 的歷史

技術規範

 

表示式

通用

值類別

求值順序和序列點

常量表達式

隱式轉換

泛型選擇 (C11)

常量和字面量

整型常量

浮點常量

字元常量

真/假 (C23)

nullptr (C23)

字串字面量

複合字面量 (C99)

運算子

運算子優先順序

成員訪問和間接定址

邏輯運算子

比較運算子

算術運算子

賦值運算子

增量和減量

函式呼叫、逗號、條件運算子

sizeof

_Alignof (C11*)

型別轉換運算子

 

有幾種表示式被稱為常量表達式

預處理常量表達式

#if 或 #elif 後面的表示式必須展開為

• 除了賦值、增量、減量、函式呼叫或逗號之外的運算子，其引數是預處理常量表達式
• 整型常量
• 字元常量
• 特殊的預處理器運算子 defined

字元常量在 #if 表示式中求值時，可以按源字元集、執行字元集或某些其他實現定義的字元集進行解釋。

#if 表示式中的整型算術運算使用帶符號型別的 intmax_t 和無符號型別的 uintmax_t 的語義執行。

(C99 起)

整型常量表達式

整型常量表達式是由以下內容組成的表示式：

• 除了賦值、增量、減量、函式呼叫或逗號之外的運算子，但 強制轉換 運算子只能將算術型別轉換為整型，除非它們是 sizeof 、_Alignof(C11 起)(C23 止)、alignas(C23 起) 或 typeof/typeof_unqual(C23 起) 運算子的運算元的一部分。
• 整型常量
• 列舉常量
• 字元常量
• 浮點常量，但僅當它們直接用作向整型轉換的強制轉換的運算元時
• sizeof 運算子 ，其運算元不是 VLA(C99 起)

_Alignof(C23 止)alignas(C23 起) 運算子

(C11 起)

命名和複合字面常量，它們是整型或算術型別，並且是強制轉換的直接運算元

(自 C23 起)

整型常量表達式在編譯時求值。以下上下文需要被稱為整型常量表達式的表示式：

• 位域的大小。
• 列舉常量的值
• switch 語句的 case 標籤
• 非 VLA(C99 起) 陣列的大小
• 整型到指標的隱式轉換。

陣列指示符中的索引	(C99 起)
_Static_assert 的第一個引數 _Alignof(C23 止)alignof(C23 起) 的整型引數	(C11 起)
位精確整型 (_BitInt(N)) 的位數 N	(自 C23 起)

靜態初始化器

用於具有靜態和 thread_local 儲存期的物件的初始化器中的表示式，或用 constexpr 儲存類說明符宣告的表示式(C23 起)必須是字串字面量或以下表達式之一：

1) 算術常量表達式，它是任何算術型別的表示式，由以下內容組成：

• 除了賦值、增量、減量、函式呼叫或逗號之外的運算子，但 強制轉換 運算子必須將算術型別轉換為其他算術型別，除非它們是 sizeof 、_Alignof(C11 起)(C23 止)、alignof(C23 起) 或 typeof/typeof_unqual(C23 起) 運算子的運算元的一部分
• 整型常量
• 浮點常量
• 列舉常量
• 字元常量
• sizeof 運算子 ，其運算元不是 VLA(C99 起)

_Alignof(C23 止)alignof(C23 起) 運算子

(C11 起)

算術型別的命名或複合字面常量

(自 C23 起)

2) 空指標常量（例如 NULL）

3) 地址常量表達式，即

• 空指標
• 左值，指定具有靜態儲存期的物件或函式指示符，轉換為指標，方式為

• 使用一元取地址運算子
• 將整型常量強制轉換為指標
• 透過陣列到指標或函式到指標的隱式轉換

4) 某些完整物件型別的地址常量表達式，加上或減去整型常量表達式

5) 命名常量，即一個識別符號，它是一個 列舉常量 預定義常量（true、false 或 nullptr 之一） 用儲存類說明符 constexpr 宣告並具有物件型別 或者是一個字尾表示式，它將 . 成員訪問運算子應用於結構或聯合型別的命名常量，甚至是遞迴的。 6) 複合字面常量，即 帶有儲存類說明符 constexpr 的複合字面量 一個字尾表示式，它將 . 成員訪問運算子應用於結構或聯合型別的複合字面常量，甚至是遞迴的。 結構或聯合常量分別是具有結構或聯合型別的命名常量或複合字面常量。如果成員訪問運算子 . 訪問聯合常量的一個成員，則訪問的成員應與聯合常量的初始化器初始化的成員相同。

(自 C23 起)

7) 實現接受的其他形式的常量表達式。

與整型常量表達式不同，靜態初始化器表示式不需要在編譯時求值；編譯器可以自由地將此類初始化器轉換為在程式啟動之前呼叫的可執行程式碼。

static int i = 2 || 1 / 0; // initializes i to value 1

浮點靜態初始化器的值永遠不會比執行時執行的相同表示式的值精度低，但可能更高。

浮點常量表達式

未在靜態初始化器中使用的浮點型別算術常量表達式始終像在執行時一樣求值，並受當前舍入的影響（如果 FENV_ACCESS 已開啟），並按 math_errhandling 中指定報告錯誤。

void f(void)
{
#pragma STDC FENV_ACCESS ON
    static float x = 0.0 / 0.0; // static initializer: does not raise an exception
    float w[] = { 0.0 / 0.0 };  // raises an exception
    float y = 0.0 / 0.0;        // raises an exception
    double z = 0.0 / 0.0;       // raises an exception
}

備註

如果表示式求值為其型別無法表示的值，則不能將其用作常量表達式。

實現可以接受其他形式的常量表達式。但是，這些常量表達式不被視為整型常量表達式、算術常量表達式或地址常量表達式，因此不能在需要這些型別的常量表達式的上下文中使用。例如，int arr[(int)+1.0]; 聲明瞭一個 VLA。

參考

• C23 標準 (ISO/IEC 9899:2024)

• 6.6 常量表達式 (p: 待定)

• C17 標準 (ISO/IEC 9899:2018)

• 6.6 常量表達式 (p: 76-77)

• C11 標準 (ISO/IEC 9899:2011)

• 6.6 常量表達式 (p: 106-107)

• C99 標準 (ISO/IEC 9899:1999)

• 6.6 常量表達式 (p: 95-96)

• C89/C90 標準 (ISO/IEC 9899:1990)

• 3.4 CONSTANT EXPRESSIONS

另請參閱

C++ 文件中的 常量表達式