随着C++标准的不断演进，constexpr关键字已从最初用于编译期常量的简单工具，发展为支持复杂编译期计算的核心特性。然而，一项最新提案揭开了潜在隐患：对函数指针的某些操作，例如取地址、比较或作为模板参数传递，将可能导致原本正确的constexpr函数在编译期失效。这一问题已在C++社区引发广泛讨论，并可能影响即将推出的C++23及后续标准。

回溯：constexpr的“编译期魔法”

自C++11引入constexpr以来，程序员得以在编译期执行函数计算，从而提升运行时性能并增强类型安全。C++14放宽了限制，C++17允许if constexpr和lambda表达式，C++20更是支持constexpr虚函数和constexpr动态内存分配。然而，函数指针——这一从C语言继承而来的原始特性——始终处于一种微妙的灰色地带。

根据现行标准，constexpr函数内部允许进行函数指针相关操作，但前提是这些操作不依赖运行时上下文。例如，获取constexpr函数的地址并在编译期比较，理论上应当可行。但实践中，编译器对此处理方式并不一致，且存在潜在的不确定行为。

问题核心：当函数指针遇上编译期求值

C++标准规定，constexpr函数的求值必须在一个编译期上下文中（如static_assert或模板参数）进行。函数指针的地址在编译期通常被视为不明确——因为同一函数在不同翻译单元中可能具有不同地址，且优化后的链接器还可能合并重复函数。因此，对函数指针进行==或!=比较，其结果可能是未指定的，甚至导致constexpr函数违反严格别名规则。

具体而言，以下操作在constexpr函数中可能引发问题： 1. 对constexpr函数取地址并存储为函数指针； 2. 在编译期比较两个函数指针是否相等； 3. 将函数指针作为非类型模板参数传递（这在C++20中已部分允许，但存在约束）。

例如，以下代码看起来无害，但在某些编译器中无法通过编译期求值：

constexpr int foo() { return 42; }
constexpr int bar() { return 0; }

constexpr bool compare() {
    auto p1 = &foo;
    auto p2 = &bar;
    return p1 == p2; // 编译期比较函数指针
}
static_assert(compare(), "function pointers compare?");

这段代码的实际结果取决于编译器实现——某些编译器会拒绝编译，认为比较结果不是常量表达式；另一些则可能返回false，但标准允许任一结果。

标准委员会的应对：P3037R0提案

2023年，C++标准委员会收到提案P3037R0（“Function pointer comparison in constant expressions”），旨在明确规范函数指针在constexpr上下文的语义。提案作者指出，当前标准对此存在漏洞：一方面，constexpr函数中不允许出现未定义行为；另一方面，比较两个不同函数的指针在标准中属于“实现定义”，而非未定义行为，因此理论上可以被constexpr接受。然而，多数编译器（如GCC、Clang）出于保守考虑，直接拒绝此类比较，这实际上违背了标准精神。

提案建议将函数指针比较的结果定义为“编译期可确定的”，即对于同一地址空间内的函数，比较结果必须一致；对于跨翻译单元的情况，则允许编译器返回true或false，但需确保constexpr求值只产生一种结果。此外，提案还禁止在constexpr函数中获取非inline函数的地址，因为链接时可能发生重复定义。

影响：你的constexpr代码可能突然失效

对于依赖constexpr进行元编程的开发者而言，这一提案意味着：如果代码中使用了函数指针操作，则可能无法在严格遵循新规则的标准编译器中通过编译。典型受影响场景包括： - 函数指针表驱动的状态机； - 编译期回调注册机制； - 使用函数指针作为模板参数的工厂方法。

例如，一些库利用函数指针编译期比较实现类型分发，这在未来可能被视为非法。社区呼吁开发者尽快审查现有代码，避免在constexpr环境内直接操作函数指针。

下一步：C++26可能正式修订

截至目前，P3037R0仍处于草案阶段，尚未被纳入C++23修订版。但据委员会信源透露，该问题已被列为“高优先级”，有望在C++26标准中得到最终解决。届时，编译器厂商将同步调整实现，届时一些当前可编译的代码可能会报错。专家建议开发者提前使用[[maybe_unused]]或内联函数替代原始函数指针，或者利用if consteval（C++23）在编译期与运行时分支处理。

C++的constexpr魔法正在变得愈发复杂，而函数指针这一古老遗存，终于迎来了它的清算时刻。对于追求极致编译期计算的现代C++程序员而言，这既是警示，也是前进路上的一次必要纠偏。