c/language/genericのソースを表示

あなたには「このページの編集」を行う権限がありません。理由は以下の通りです:
この操作は、次のグループのいずれかに属する利用者のみが実行できます: 登録利用者、管理者。
このページのソースの閲覧やコピーができます。
{{title|総称選択}}
{{c/language/expressions/navbar}}
制御式の型に基づいてコンパイル時に複数の式からひとつを選択する方法を提供します。

===構文===
{{sdsc begin}}
{{sdsc | notes={{mark since c11}} | {{ttb|_Generic}} {{ttb|(}} {{spar|controlling-expression}} {{ttb|,}} {{spar|association-list}} {{ttb|)}} }}
{{sdsc end}}
ただし {{spar|association-list}} はコンマ区切りの関連リストで、それぞれの関連は以下の構文を持ちます。
{{sdsc begin}}
{{sdsc | {{spar|type-name}} {{ttb|:}} {{spar|expression}} }}
{{sdsc | {{ttb|default}} {{ttb|:}} {{spar|expression}} }}
{{sdsc end}}
ただし
{{par begin}}
{{par|{{spar|type-name}} | 可変修飾でない (つまり、 VLA または VLA へのポインタでない) 任意の完全{{rlp|type|オブジェクト型}}。 }}
{{par|{{spar|controlling-expression}} | 任意の式 ({{rlp|operator_other#Comma_operator|コンマ演算子}}は除きます)。 {{tt|default}} 関連が使用されない場合は、 {{spar|type-name}} のいずれかと互換な型でなければなりません。}}
{{par|{{spar|expression}} | 任意の型および値カテゴリの任意の式 ({{rlp|operator_other#Comma_operator|コンマ演算子}}は除きます)。}}
{{par end}}

{{spar|association-list}} 内の複数の {{spar|type-name}} が{{rlp|type#Compatible_types|互換な型}}を表してはなりません。 キーワード {{tt|default}} を使用する関連がひとつのみ存在しても構いません。 {{tt|default}} が使用されず、 {{spar|type-name}} のいずれも制御式の型と互換でない場合、プログラムはコンパイルできません。

===説明===
まず、 {{spar|controlling-expression}} の型に対して{{rlp|conversion#Lvalue_conversions|左辺値変換}}が行われます。 変換は型の領域でのみ行われます。 いかなる副作用も値計算も開始することなく、トップレベルの cvr 修飾およびアトミック性が破棄され、制御式の型への配列からポインタおよび関数からポインタへの変換が適用されます。

変換後の型が関連リストの {{spar|type-name}} と比較されます。

型が関連のいずれかの {{spar|type-name}} と{{rlp|type#Compatible_types|互換}}であれば、総称選択の型、値、および{{rlp|value category|値カテゴリ}}は、その  {{spar|type-name}} のコロンの後に現れる {{spar|expression}} の型、値、および値カテゴリになります。

{{spar|controlling-expression}} の型が {{spar|type-name}} のいずれとも互換でなく、 {{tt|default}} 関連が提供されていれば、総称選択の型、値、値カテゴリは、 {{tt|default :}} ラベルの後の式の型、値、および値カテゴリになります。

===ノート===
総称選択の {{spar|controlling-expression}} および選択されなかった {{spar|expression}} は評価されることはありません。

左辺値変換のため、 {{c|"abc"}} は {{c|char[4]}} ではなく {{c|char*}} にマッチし、 {{c|(int const){0} }} は {{c|const int}} ではなく {{c|int}} にマッチします。 これは C17 DR 481 によって規定されました (遡及的に C11 にも適用されます)。

総称選択の {{spar|expression}} として、すべての{{rlp|value category|値カテゴリ}} (関数指示子および void 式を含みます) が使用でき、選択された場合、総称選択自身はその同じ値カテゴリを持ちます。

C99 で導入された {{tt|<tgmath.h>}} の[[c/numeric/tgmath|型総称数学マクロ]]はコンパイラ固有の方法で実装されていました。 C11 で導入された総称選択は同様の型依存なコードを書く能力をプログラマに与えました。

総称選択は C++ のオーバーロード (実引数の型に基づいて複数の関数のうちのひとつがコンパイル時に選択される機能) に似ていますが、総称選択は任意の式による選択を可能にします。

===キーワード===

{{ltt|c/keyword/_Generic}},
{{ltt|c/keyword/default}}

===例===
{{example|code=
#include <stdio.h>
#include <math.h>

// <tgmath.h> のマクロ cbrt の実装例
#define cbrt(X) _Generic((X), \
              long double: cbrtl, \
                  default: cbrt,  \
                    float: cbrtf  \
)(X)

int main(void)
{
    double x = 8.0;
    const float y = 3.375;
    printf("cbrt(8.0) = %f\n", cbrt(x)); // デフォルトの cbrt が選択されます。
    printf("cbrtf(3.375) = %f\n", cbrt(y)); // const float が float に変換され、
                                            // cbrtf が選択されます。
}
|output=
cbrt(8.0) = 2.000000
cbrtf(3.375) = 1.500000
}}

===参考文献===
{{ref std c11}}
{{ref std | section=6.5.1.1 | title=Generic selection | p=78-79}}
{{ref std end}}

{{langlinks|ar|cs|de|en|es|fr|it|ko|pl|pt|ru|tr|zh}}
このページで使用されているテンプレート:
c/language/generic に戻る。
cppreference.com

検索

名前空間

変種

表示

操作

c/language/genericのソースを表示

案内

ツール
