自由函数作为模板实参：三种传递方式的语义差异及选型

代码示例 #

#include <iostream>

template<typename F> void call_by_val(F funct)
{
    std::cout << "call_by_val(): ";
    funct();
}

template<typename F> void call_by_ref(F& funct)
{
    std::cout << "call_by_ref(): ";
    funct();
}

template<typename F> void call_by_cref(const F& funct)
{
    std::cout << "call_by_cref(): ";
    funct();
}

void free_funct()
{
    std::cout << "free_funct()\n";
}

int main()
{
    call_by_val( free_funct );
    call_by_ref( free_funct );
    call_by_cref( free_funct );
}

核心语义差异 #

当自由函数名作为模板实参传递时，三种方式的本质差异体现在模板参数推导结果和参数绑定方式上：

1. 值传递（call_by_val(F funct)） #

• 模板参数F会被推导为函数指针类型（此处为void(*)()）
• 传递的是函数指针的副本：编译器先将自由函数名隐式转换为指向该函数的指针，再把这个指针复制给形参funct
• 语义上，形参是独立的指针变量，修改它不会影响外部的函数关联（不过本例中仅做调用操作，无修改）

2. 左值引用传递（call_by_ref(F& funct)） #

• 模板参数F会被推导为原始函数类型（此处为void()），形参funct是函数的左值引用（void(&)()）
• 直接绑定到原函数实体，没有指针转换或拷贝的开销
• 语义上，调用funct()是直接调用原函数，而非通过指针间接调用；但因为函数本身是不可修改的实体，这种引用无法被用来修改函数本身

3. const左值引用传递（call_by_cref(const F& funct)） #

• 模板参数F同样推导为函数类型void()，形参是函数的const左值引用
• 对于自由函数来说，实际行为和左值引用几乎一致，但模板的通用性更强：它可以接受左值（自由函数名、命名函数指针）和右值（临时lambda、匿名函数指针），而普通左值引用只能绑定到左值
• const限定带来语义安全：如果传入带状态的函数对象，它会限制调用const成员函数，避免意外修改状态

选型依据 #

1. 优先选用const F&

   • 通用性拉满：兼容所有可调用对象类型（自由函数、lambda、函数对象等）的左值和右值
   • 零拷贝开销：无论是函数还是大体积的函数对象，都不会产生副本
   • 语义安全：const限定能避免误修改可调用对象的状态，对带状态的函数对象尤为重要

2. 仅当需要修改可调用对象状态时用F&

   • 如果你的可调用对象是带内部状态的函数对象（比如有成员变量的仿函数），且必须在调用过程中修改其状态，才需要使用非const左值引用
   • 对于自由函数，这种场景不存在，因此几乎不需要选这种方式

3. 值传递F funct的适用场景

   • 仅当你需要在函数内部拥有可调用对象的独立副本时使用（比如要修改副本状态而不影响外部）
   • 对于自由函数来说，指针拷贝的开销极小，但语义上不如引用传递直接；如果是大体积的函数对象，拷贝开销会很明显，此时不建议使用

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