为何非模板结构体中static_assert调用constexpr函数失败，模板/全局却正常？

先看三个测试场景：

场景1：非模板结构体内部static_assert报错 #

struct Foo
{
    static constexpr int f() { return 42; }
    static_assert(f() == 42); // ERROR
};

编译报错：

C2131: Expression did not evaluate to a constant

场景2：非模板结构体外部static_assert正常 #

struct Foo
{
    static constexpr int f() { return 42; }
};

static_assert(Foo::f() == 42); // OK

场景3：模板结构体内部static_assert正常 #

template<int x>
struct Foo
{
    static constexpr int f() { return 42; }
    static_assert(f() == 42); // OK
};

核心原因解析 #

这是C++标准对普通类（非模板）和模板类的成员定义、常量表达式求值时机的规则差异导致的：

• 非模板类的规则：
  普通类的成员声明遵循严格的从上到下顺序依赖。哪怕f()是constexpr且定义在static_assert前面，在类体内部，f()并没有完成"完整定义"——类成员函数的完整定义在类体结束前，对于常量表达式求值来说是不可用的。因此在类内部执行static_assert时，编译器无法将f()作为常量表达式求值，触发错误。
  而把static_assert放在类外部时，类已经完成完整定义，f()成为完全可用的constexpr函数，自然能通过常量求值检查。

• 模板类的规则：
  模板的代码不会在定义阶段就执行检查，而是延迟到模板实例化阶段才会对内部的常量表达式进行求值。此时模板类的所有成员都已经完成定义，f()满足constexpr函数的常量求值条件，所以static_assert可以正常通过编译。

这种行为是符合C++标准的，并非编译器bug，不同主流编译器（MSVC、GCC、Clang）都会遵循该规则。

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