为何consteval构造函数已确保编译期执行仍无法使用static_assert？

示例代码 #

struct test {
    int var;

    consteval test(int i) : var{i}
    {
        static_assert(i == 3);
    }
};

int main()
{
    constexpr test t{3};
}

编译错误信息 #

$ g++ c.cpp -std=c++20
c.cpp: In constructor ‘consteval test::test(int)’:
c.cpp:8:25: error: 静态断言的条件非常量
    8 |         static_assert(i == 3);
      |                       ~~^~~~
c.cpp:8:23: error: ‘i’不是常量表达式
    8 |         static_assert(i == 3);
      |                       ^

问题 #

既然consteval构造函数已保证在编译期执行，为何仍无法使用static_assert？

解答 #

consteval 仅保证整个函数必须在编译阶段完成求值，但这并不意味着函数参数会自动成为核心常量表达式——而static_assert的条件要求必须是核心常量表达式。

在C++标准规则里，函数参数本身不属于核心常量表达式的范畴：哪怕调用时传入的是编译期已知的值，在函数内部语境中，参数依然被视为“运行时变量”（尽管实际求值发生在编译期）。static_assert的检查逻辑是在函数定义/模板实例化阶段执行的，而非调用点，编译器无法提前预知所有可能传入的参数值，因此无法将参数i作为常量来验证断言条件。

如果要实现编译期参数检查，有两种可行方案：

• 改用模板参数传递值：模板参数本身是编译期常量，可以直接用于static_assert：

struct test {
    int var;

    template<int I>
    consteval test() : var{I}
    {
        static_assert(I == 3);
    }
};

int main()
{
    constexpr test t{}; // 等价于test<3>，传入其他值会触发断言错误
}

• 利用consteval的编译期求值特性间接检查：在函数内部通过条件判断抛出异常，consteval函数中抛出异常会直接导致编译错误：

struct test {
    int var;

    consteval test(int i) : var{i}
    {
        if (i != 3) {
            throw "i must be 3"; // 编译期求值时触发此分支会直接报错
        }
    }
};

int main()
{
    constexpr test t{3}; // 正常编译
    // constexpr test t{4}; // 编译错误：无法完成编译期求值
}

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