使用 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中文网其他相关文章!