为什么 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中文网其他相关文章！