C++20中consteval方法引用static inline变量强制实例化是否合法？

1. consteval方法中引用static inline变量能否强制实例化？ #

在C20中，可以通过在consteval函数中引用static inline变量的名称（形成odr-use）来强制其实例化。根据C标准，当变量被odr-used（一处定义规则使用）时，必须存在其定义；对于模板类的静态inline成员变量，odr-use会触发该成员的实例化，包括初始化逻辑（比如构造函数执行）。

在你提供的代码中，sScope.forceInstantiation()属于对sScope的odr-use：虽然forceInstantiation是静态成员函数，但sScope作为左值表达式出现，且sScope并非constexpr变量（其构造函数不是constexpr），因此会触发sScope的实例化和初始化。

2. 给出的代码是否为有效C++20代码？ #

这段代码是符合C++20标准的有效代码，不属于未定义行为，理由如下：

• Registration<0>::operator()是consteval函数，在constexpr上下文（constexpr auto a = ...）中调用，会在编译时完成求值。
• 对sScope的odr-use触发了模板特化Registration<0>中静态inline成员sScope的实例化，其初始化（Scope构造函数的执行）会在程序启动前完成，符合静态变量的初始化时机规则。
• 三大主流编译器（GCC、Clang、MSVC）的一致行为也佐证了代码的合规性：静态变量的构造函数会在main函数执行前输出日志，符合预期逻辑。

内容的提问来源于stack exchange，提问作者eel76