為什麼 C 11 不支援像 C99 這樣的指定初始化器？

C 11 排除指定初始化器：委員會的基本原理

在C99 中，指定初始化器提供了一種方便的方法來初始化結構體的特定成員，如下圖例如：

struct Person {
    int height;
    int weight;
    int age;
};

int main() {
    Person p = { .age = 18 };
}

但是，在C 11中，此語法無效。 C 11 標準委員會一再拒絕包含指定初始化器支援的提案，儘管它在 C99 中很實用。

排除的原因

委員會的主要擔憂源於不確定性C99 指定初始值設定項中子表達式的求值順序。考慮以下範例：

struct X {
    int c;
    char a;
    float b;
};

struct X foo = { .a = (char)f(), .b = g(), .c = h() };

在 C99 中，這些函數呼叫（f()、g() 和 h()）的執行順序是未定義的。如果這些函數相互作用或產生副作用，這種歧義可能會導致不確定的程式行為。

C 的嚴格初始化要求

與 C99 靈活的計算順序相比，C要求對初始化子句進行嚴格的順序評估。因此，在 C 中實作指定的初始值設定項需要不同的行為：

f();
g();
h();

這將破壞與現有 C99 實現的兼容性。

建議的解決方案和限制

c 20 標準透過引入 P0329R4 部分解決了這個問題，它允許對指定的初始值設定項。然而，這種支持受到限制，以避免與不確定評估順序相關的複雜性和潛在陷阱。

結論

C 11 標準委員會決定排除指定初始化器由於擔心維護一致且可預測的初始化過程。雖然 Boost 提供了指定初始化程序的實現，但標準委員會強調了將此類功能整合到 C 中而不引入複雜性或破壞相容性的挑戰。

以上是為什麼 C 11 不支援像 C99 這樣的指定初始化器？的詳細內容。更多資訊請關注PHP中文網其他相關文章！