C++能否用统一语法传递编译期与运行期函数指针？

问题背景 #

我正在实现「Impossibly Fast Delegates」，需要高效且无缝地处理全局函数（编译期已知地址）和运行期函数指针（比如从DLL加载的）。目前我实现了两个版本的包装函数：一个用非类型模板参数接收编译期函数指针（可做编译期优化），另一个用普通参数接收运行期函数指针，但必须手动区分调用语法（impl<foo>() vs impl(bar)）。尝试过模板、constexpr、if constexpr、consteval、C++23的if consteval等方法，仍无法自动匹配正确的调用方式。

示例代码如下：

using FunctionPtr = void(*)();

void foo(){}           // 编译期已知的函数
FunctionPtr bar = foo; // 运行期加载的函数指针

// 编译期版本：非类型模板参数
template<FunctionPtr function> void impl()
{
    function(); // 编译期优化调用
}

// 运行期版本：普通参数
void impl(FunctionPtr function)
{
    function(); // 运行期调用，可能被优化
}

int main()
{
    impl<foo>(); // 正确：编译期调用
    impl(foo);   // 不当：本该调用模板版本却走了普通参数路径
    impl(bar);   // 正确：运行期调用，但语法不同
    impl<bar>(); // 错误：编译失败（bar不是编译期常量）

    // 期望的伪代码（无法工作，因为分支会触发编译错误）
    #define BIND(x) (is_function<decltype(x)> ? impl<x>() : impl(x))
    BIND(foo);
    BIND(bar);
}

核心疑问：既然函数是否为编译期常量是编译期可知的信息，为何C++要求手动区分调用语法？这是语言的语法限制吗？

原因解析 #

这确实是C++的核心语法与编译模型限制，根源在于模板实例化与普通函数调用的处理阶段完全分离：

1. 模板参数的硬性要求：非类型模板参数（比如impl<foo>中的foo）必须是编译期常量表达式，编译器需要在编译阶段就确定模板实例的具体代码，无法等到运行时再决定实例化哪个版本。
2. 函数名与函数指针的本质区别：
   • 函数名（如foo）本身是函数类型的左值，属于编译期常量，其地址在编译时就已确定，可以直接作为非类型模板参数。
   • 函数指针变量（如bar）是存储指针值的变量，哪怕它初始化时指向foo，只要不是constexpr修饰的，其值可能在运行时被修改（比如从DLL加载新的函数地址），因此无法作为模板参数。
3. 编译期分支的局限性：if constexpr等编译期分支只能在函数内部选择代码路径，但模板参数的实例化发生在函数实例化之前，无法在同一个表达式中动态切换模板参数与普通参数的调用方式——编译器不能同时生成两种语法的代码，必须在编译时明确选择其中一种。

可行解决方案 #

利用C++20的if constexpr和std::is_constant_evaluated()，可以实现自动匹配的统一接口，无需手动区分语法：

#include <type_traits>

using FunctionPtr = void(*)();

void foo() {}
FunctionPtr bar = foo; // 运行期函数指针示例

// 原有两个impl实现保持不变
template<FunctionPtr F> void impl() { F(); }
void impl(FunctionPtr F) { F(); }

// 统一的自动匹配接口
template<typename T>
void bind(T&& func) {
    if constexpr (std::is_function_v<std::remove_reference_t<T>>) {
        // 传入的是函数名（编译期常量），调用模板版本
        impl<&std::remove_reference_t<T>>();
    } else if constexpr (std::is_pointer_v<std::remove_cvref_t<T>>) {
        // 传入的是函数指针，判断是否为编译期常量
        if (std::is_constant_evaluated()) {
            // 编译期常量指针，调用模板版本
            impl<func>();
        } else {
            // 运行期指针，调用普通版本
            impl(func);
        }
    }
}

int main() {
    bind(foo);   // 自动调用impl<foo>()
    bind(bar);   // 自动调用impl(bar)
    // 若传入constexpr函数指针，也会自动调用模板版本
    constexpr FunctionPtr constexpr_bar = foo;
    bind(constexpr_bar); // 调用impl<foo>()
}

方案说明 #

• 针对函数名（foo）：通过std::is_function_v判断类型，直接取地址作为模板参数调用编译期版本。
• 针对函数指针：利用std::is_constant_evaluated()判断当前是否处于编译期求值上下文，若为编译期常量指针则调用模板版本，否则调用运行期版本。
• 完全无缝：调用者只需写bind(xxx)，无需关心是编译期还是运行期函数。

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