c++ - inline static auto 的 Initializer "sizeof(T)"...是否需要实例化？

Question

如果表达式的类型不相关，但我们用它来初始化静态自动变量，会发生什么？ GCC 和 Clang 的行为不同

template<typename T>
struct A {
   static inline auto x = sizeof(T{}.f);
};

A<int> a;

GCC 不会引发错误。但是 Clang 认为这是无效的，因为它实例化了“sizeof”的操作数。 GCC 似乎跳过了该步骤，因为 sizeof(T{}.f) 始终具有类型 size_t(不依赖于类型)，因此它已经知道 x< 的类型 没有实例化。如果我们引用 x，例如 (void) a.x;，两个编译器都会拒绝该程序。

它甚至必须解析 x 的类型吗？如果我没记错的话，C++14 以上的语言允许使用“占位符类型”保留事物(如函数)并进行延迟实例化以找出实际的返回类型。它是否也必须将此应用于 x，以便在我们引用 a.x 之前将 x 保持为占位符类型？

根据标准，哪种编译器是正确的？

---

编辑

有人问

uhm, shouldnt' this be equivalent to this ?

template<typename T>
struct A {
   static const std::size_t x;
};

template<typename T>
inline constexpr std::size_t A<T>::x = sizeof(T{}.f);

不同之处在于我的问题中我关心的是静态数据成员是 auto。因此，为了知道 x 的类型，您需要知道初始化器的类型。 Clang 似乎急切地实例化初始化程序以获取类型。但是 GCC 显然没有？我想了解发生了什么。

Answer 1

来自 [temp.inst]/3 :

Unless a member of a class template or a member template has been explicitly instantiated or explicitly specialized, the specialization of the member is implicitly instantiated when the specialization is referenced in a context that requires the member definition to exist; in particular, the initialization (and any associated side effects) of a static data member does not occur unless the static data member is itself used in a way that requires the definition of the static data member to exist.

简单写A<int> a;不使用A<int>::x以一种需要它的定义存在的方式，所以它的初始化不应该发生。 gcc 是正确的。