零初始化
來自 cppreference.com
將物件的初始值設定為零。
目錄 |
[編輯] 語法
請注意，這並不是零初始化的語法，零初始化在語言中沒有專門的語法。這些是其他型別初始化的示例，它們可能會執行零初始化。
static T 物件 ; |
(1) | ||||||||
T () ;T t T |
(2) | ||||||||
CharT 陣列 [ n ] = " 短序列 "; |
(3) | ||||||||
[編輯] 解釋
零初始化在以下情況下執行：
零初始化的效果是：
- 如果
T是聯合型別
- 所有填充位都被初始化為零位，並且
- 物件的第一個非靜態具名資料成員被零初始化。
- 如果
T是陣列型別，則每個元素都被零初始化。 - 如果
T是引用型別，則不執行任何操作。
[編輯] 注意
如非區域性初始化中所述，未進行常量初始化的靜態和執行緒區域性(C++11 起)變數在任何其他初始化發生之前都會被零初始化。如果非類非區域性變數的定義沒有初始化器，則預設初始化不執行任何操作，使先前零初始化的結果保持不變。
零初始化後的指標是其型別的空指標值，即使空指標的值不是整數零。
[編輯] 示例
執行此程式碼
#include <iostream> #include <string> struct A { int a, b, c; }; double f[3]; // zero-initialized to three 0.0's int* p; // zero-initialized to null pointer value // (even if the value is not integral 0) std::string s; // zero-initialized to indeterminate value, then // default-initialized to "" by the std::string default constructor int main(int argc, char*[]) { delete p; // safe to delete a null pointer static int n = argc; // zero-initialized to 0 then copy-initialized to argc std::cout << "n = " << n << '\n'; A a = A(); // the effect is same as: A a{}; or A a = {}; std::cout << "a = {" << a.a << ' ' << a.b << ' ' << a.c << "}\n"; }
可能的輸出
n = 1
a = {0 0 0}[編輯] 缺陷報告
下列更改行為的缺陷報告追溯地應用於以前出版的 C++ 標準。
| 缺陷報告 | 應用於 | 釋出時的行為 | 正確的行為 |
|---|---|---|---|
| CWG 277 | C++98 | 指標可能用值為 0 的非常量表達式初始化，這並不是一個空指標常量 指標可能用值為 0 的非常量表達式初始化，這並不是一個空指標常量 |
必須用值為 0 的整數常量表達式初始化 必須用值為 0 的整數常量表達式初始化 |
| CWG 694 | C++98 | 類型別的零初始化忽略填充 | 填充被初始化為零位 |
| CWG 903 | C++98 | 標量型別的零初始化將初始值設定為從值為 0 的整數常量表達式轉換而來的值 標量型別的零初始化將初始值設定為從值為 0 的整數常量表達式轉換而來的值 |
物件被初始化為從整數字面量0轉換而來的值 物件被初始化為從整數字面量0轉換而來的值 |
| CWG 2026 | C++98 | 零初始化總是被指定為最先發生，甚至在常量初始化之前 零初始化總是被指定為最先發生，甚至在常量初始化之前 |
如果適用常量初始化，則不進行零初始化 如果適用常量初始化，則不進行零初始化 |
| CWG 2196 | C++98 | 類型別的零初始化忽略基類子物件 | 它們也零初始化 |
| CWG 2253 | C++98 | 不清楚零初始化是否適用於未命名的位域 不清楚零初始化是否適用於未命名的位域 |
它適用（所有填充位都被初始化為零位） 它適用（所有填充位都被初始化為零位） |
