cpp/language/default initializationのソースを表示

あなたには「このページの編集」を行う権限がありません。理由は以下の通りです:
この操作は、次のグループのいずれかに属する利用者のみが実行できます: 登録利用者、管理者。
このページのソースの閲覧やコピーができます。
{{title|デフォルト初期化}}
{{cpp/language/initialization/navbar}}
変数が初期化子なしで構築されたときに行われる初期化です。

===構文===
{{sdsc begin}}
{{sdsc | num=1 | {{spar|T}} {{spar| object}} {{ttb|;}}}}
{{sdsc | num=2 |{{ttb|new }} {{spar|T}}
{{ttb|new }} {{spar|T}} {{ttb|(}} {{ttb|)}} {{mark until c++03}}
}}
{{sdsc end}}

===説明===
デフォルト初期化は以下の3つの状況で行われます。
@1@ 自動、静的、またはスレッドローカル{{rlp|storage duration|記憶域期間}}を持つ変数が初期化子なしで宣言されたとき。
@2@ 動的記憶域期間持つオブジェクトが初期化子なしの {{rlp|new|new 式}}によって作成されたとき{{rev inl|until=c++03|または空の括弧から構成される初期化子を用いた new 式によって作成されたとき}}。
@3@ 基底クラスまたは非静的データメンバがコンストラクタの[[cpp/language/initializer_list|初期化子リスト]]に記述されておらず、そのコンストラクタが呼ばれたとき。

デフォルト初期化の効果は以下の通りです。
* {{tt|T}} が{{rev inl|until=c++11| POD でない}}クラス型の場合は、そのコンストラクタが考慮され、空の引数リストに対する{{rlp|overload resolution|オーバーロード解決}}の対象となります。 選択されたコンストラクタ ({{rlp|default constructor|デフォルトコンストラクタ}}のいずれかになります) がその新しいオブジェクトに初期値を提供するために呼ばれます。
* {{tt|T}} が配列型の場合は、その配列の要素がデフォルト初期化されます。
* そうでなければ、何も行われません。 自動記憶域期間を持つオブジェクト (およびその部分オブジェクト) は不定値に初期化されます。

{{rev begin}}
{{rev|until=c++11|
初期化子が使用されない場合は、自動記憶域期間を持つ POD でないクラス型 (またはその cv 修飾された型) (またはその配列) のみがデフォルト初期化されるものとみなされます。 動的記憶域期間を持つスカラー型および POD 型は、初期化されないものとみなされます (C++11 以降、この状況はデフォルト初期化の形式のひとつとして分類し直されました)。
}}
{{rev|until=c++03|
C++03 ({{rlp|value initialization|値初期化}}が導入された) 未満では、式 {{c|new T()}} および基底クラスまたはメンバのメンバ初期化子の空の括弧の形式はデフォルト初期化と分類されますが、非クラス型の場合は{{rlp|zero initialization|ゼロ初期化}}と規定されています。
}}
{{rev end}}

{{rev begin}}
{{rev|until=c++11|
{{tt|T}} が cv 修飾された型の場合は、デフォルト初期化の目的に対してはその cv 修飾されていないバージョンが使用されます。
}}
{{rev end}}

{{rev begin}}
{{rev|since=c++14|
何らかの型の非クラス変数をデフォルト初期化することによって取得した不定値の使用は{{rlp|ub|未定義動作}}です (特に、{{rlp|object#Object_representation_and_value_representation|トラップ表現}}である可能性があります)。 ただし以下の場合は除きます。
* {{c|unsigned char}} {{rev inl|since=c++17|または {{ltt|cpp/types/byte|std::byte}}}} 型の不定値が{{c|unsigned char}} {{rev inl|since=c++17|または {{ltt|cpp/types/byte|std::byte}}}} (cv 修飾されていても構いません) 型の別の変数に代入される場合 (その変数の値は不定値になりますが、動作は未定義ではありません)。
* {{c|unsigned char}} {{rev inl|since=c++17|または {{ltt|cpp/types/byte|std::byte}}}} 型の不定値が{{c|unsigned char}} {{rev inl|since=c++17|または {{ltt|cpp/types/byte|std::byte}}}} (cv 修飾されていても構いません) 型の別の変数を初期化するために使用される場合。
* {{c|unsigned char}} {{rev inl|since=c++17|または {{ltt|cpp/types/byte|std::byte}}}} 型の不定値が以下のいずれかから得られた場合。
:* 条件式の第2または第3被演算子。
:* コンマ演算子の右側の被演算子。
:* {{c|unsigned char}} {{rev inl|since=c++17|または {{ltt|cpp/types/byte|std::byte}}}} (cv 修飾されていても構いません) への変換またはキャストの被演算子。
:* 符号なしナロー文字型または {{ltt|cpp/types/byte|std::byte}} へのキャストまたは変換の被演算子。
:* 値を破棄する式。

{{source|1=
int f(bool b)
{
    int x;               // OK。 x の値は不定です。
    int y = x;           // 未定義動作。
    unsigned char c;     // OK。 c の値は不定です。
    unsigned char d = c; // OK。 d の値は不定です。
    int e = d;           // 未定義動作。
    return b ? d : 0;    // b が真の場合は未定義動作。
}
}}
}}
{{rev end}}

===ノート===
自動および動的記憶域期間を持つ非クラス変数のデフォルト初期化は不定値を持つオブジェクトを生成します (静的およびスレッドローカルなオブジェクトは[[cpp/language/zero_initialization|ゼロ初期化]]されます)。

{{tt|T}} が const 修飾された型の場合は、ユーザ提供のデフォルトコンストラクタを持つクラス型でなければなりません。

参照はデフォルト初期化できません。

===例===
{{example
 |
 | code=
#include <string>

struct T1 { int mem; };

struct T2
{
    int mem;
    T2() { } // 注:「mem」が初期化子リストにありません。
};

int n; // 静的な非クラス。 2段階の初期化が行われます。
       // 1) ゼロ初期化が n をゼロに初期化します。
       // 2) デフォルト初期化は何もしません。 n はゼロのままになります。

int main()
{
    int n;            // 非クラス。 値は不定です。
    std::string s;    // クラス。 デフォルトコンストラクタを呼びます。 値は "" (空文字列) です。
    std::string a[2]; // 配列。 要素をデフォルト初期化します。 値は {"", ""} です。
//  int& r;           // エラー。 参照。
//  const int n;      // エラー。 const な非クラス。
//  const T1 t1;      // エラー。 暗黙のデフォルトコンストラクタを持つ const なクラス。
    T1 t1;            // クラス。 暗黙のデフォルトコンストラクタを呼びます。
    const T2 t2;      // const なクラス。 ユーザ定義のデフォルトコンストラクタを呼びます。
                      // t2.mem はデフォルト初期化されます (不定値になります)。
}
 | output=
}}

===関連項目===
* [[cpp/language/direct_initialization|直接初期化]]
* [[cpp/language/copy_initialization|コピー初期化]]
* [[cpp/language/list_initialization|リスト初期化]]

{{langlinks|de|en|es|fr|it|pt|ru|zh}}
このページで使用されているテンプレート:
cpp/language/default initialization に戻る。
cppreference.com

検索

名前空間

変種

表示

操作

cpp/language/default initializationのソースを表示

案内

ツール
