如何使用 C 中的 `constexpr` 静态函数初始化 `constexpr` 静态成员？

使用 constexpr 静态函数初始化 constexpr 静态成员

这段代码的目标是在命名空间中创建一个 constexpr 值使用 constexpr 静态函数和静态成员的类。然而，实现这一目标的尝试在不同版本的 g 中遇到了编译错误。

第一次尝试

class C1 {
  constexpr static int foo(int x) { return x + 1; }
  constexpr static int bar = foo(sizeof(int));
};

此代码在 g 4.5.3 和 4.6 中失败。 3 由于constexpr静态成员中存在函数调用初始化。

第二次尝试

class C2 {
  constexpr static int foo(int x) { return x + 1; }
  constexpr static int bar;
};
constexpr int C2::bar = C2::foo(sizeof(int));

此代码在 g 4.6.3 中失败，因为静态 constexpr 数据成员在其声明中必须有一个初始值设定项。

标准要求

根据 C 标准第 9.4.2 节，可以在类定义中使用 constexpr 说明符声明文字类型的静态数据成员。如果是这样，则声明必须指定大括号或等于初始化程序，其中每个初始化程序子句都是常量表达式。

在“第二次尝试”代码中，声明没有大括号或-相等初始化器。因此，它不满足标准的要求。

目标的不可能

不幸的是，标准禁止在类所在的任何上下文中初始化静态 constexpr 数据成员完全的。这是因为 constexpr 变量必须可用作成员函数体内的编译时常量表达式。因此，变量初始值设定项是在函数体之前完全定义的，这意味着该函数在初始值设定项的上下文中仍然不完整。因此，该表达式不被视为常量表达式。

结论

由于 C 标准的限制，不可能初始化静态 constexpr 数据类完成时使用 constexpr 静态函数的成员。

以上是如何使用 C 中的 `constexpr` 静态函数初始化 `constexpr` 静态成员？的详细内容。更多信息请关注PHP中文网其他相关文章！