C++ constexpr编译行为不一致：GCC/Clang报错MSVC可编译问题

这段代码本身不符合C++标准规范，GCC和Clang的报错是符合标准要求的，MSVC属于实现了非标准的扩展规则才能编译通过，并非GCC/Clang的constexpr支持能力落后。

C++标准对类成员的解析顺序有明确约束：

• 处理类定义的过程中，编译器会先扫描完整个类的所有成员声明，之后才会处理类内定义的成员函数的函数体内容，和成员函数在类内的书写顺序无关。
• 你代码中的sum是类内直接初始化的constexpr静态成员，它的初始化器需要在类定义的当前位置立刻完成常量表达式求值。此时sum_sequence模板函数仅完成了声明，它的函数体还未被编译器解析，因此实例化得到的特化函数属于未定义状态，自然无法用于常量表达式求值，和两个编译器给出的报错信息完全对应。

有两种常用的兼容标准的修改方式：

方案1：将工具函数移到类外定义 #

确保sum_sequence在Foo类定义前就有完整的可被解析的定义：

#include <utility>

template<std::size_t ...NN>
constexpr int sum_sequence(std::index_sequence<NN...>) {     
  return (NN + ...);    
}

struct Foo {
  inline static constexpr int sum =
      sum_sequence(std::make_index_sequence<10>());
};

方案2：将sum的初始化移到类外 #

类内仅声明sum，类外完成初始化时，整个Foo类已经解析完成，成员函数的定义已经可用：

#include <utility>

struct Foo {
  template<std::size_t ...NN>
  static constexpr int sum_sequence(std::index_sequence<NN...>) {     
    return (NN + ...);    
  }
  inline static constexpr int sum; // 类内仅声明
};

// 类外初始化，此时类已完成完整解析
constexpr int Foo::sum = sum_sequence(std::make_index_sequence<10>());

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