clang++中重载函数作为模板函数参数的模板参数推导问题

当传入sin这类重载函数时，编译器无法推导模板参数F的核心原因是：重载函数名本身对应多个不同签名的函数实体（比如sin有double(double)、float(float)、long double(long double)等版本），模板参数推导需要明确的单一类型，编译器无法自动确定要选用哪个重载版本。而sinf只有唯一的float(float)签名，因此能顺利推导。

以下是几种可行的修改/调用方案：

1. 显式指定模板参数类型 #

直接在调用foo时，明确指定F的具体函数指针类型，帮编译器锁定重载版本：

#include <cmath>

template<typename T, typename F>
void foo(T val, F func) {
    auto res = func(val);
    // 后续逻辑
}

int main() {
    // 显式指定F为double(*)(double)，对应double版本的sin
    foo<double, double(*)(double)>(3.14, sin);
    return 0;
}

2. 强制转换重载函数为特定函数指针 #

通过static_cast将重载函数转换为目标函数指针类型，再传入模板函数：

#include <cmath>

template<typename T, typename F>
void foo(T val, F func) {
    auto res = func(val);
    // 后续逻辑
}

int main() {
    // 将sin强制转换为double(*)(double)类型
    foo(3.14, static_cast<double(*)(double)>(sin));
    return 0;
}

3. 用Lambda包裹重载函数（推荐） #

Lambda的类型是唯一的，编译器可以轻松推导。通过Lambda封装对重载函数的调用，同时可以根据传入的T类型自动匹配对应重载：

#include <cmath>

template<typename T, typename F>
void foo(T val, F func) {
    auto res = func(val);
    // 后续逻辑
}

int main() {
    // Lambda会根据val的类型（double）自动调用对应版本的sin
    foo(3.14, [](auto x) { return sin(x); });
    // 或者指定参数类型，更明确
    foo(3.14, [](double x) { return sin(x); });
    return 0;
}

4. 修改模板以适配任意可调用对象（C++14+） #

如果你的编译器支持C++14及以上，可以将模板参数简化为接受任意可调用对象，利用auto参数进一步简化：

#include <cmath>

// 使用auto参数，直接接受任意可调用实体（函数、Lambda、 functor等）
template<typename T>
void foo(T val, auto func) {
    auto res = func(val);
    // 后续逻辑
}

int main() {
    // 编译器会根据val的类型匹配sin对应的重载
    foo(3.14, sin);
    return 0;
}

这种方式下，编译器会在调用func(val)时进行重载决议，自动选择与T类型匹配的sin版本。

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