模板函数类型自动推导问题：无显式指定调用id函数失败

你的问题核心在于**std::function的模板参数推导无法反向触发id函数的模板参数推导**。当你把id作为参数传给map时，编译器需要先确定std::function的类型（从x的元素类型推导），但它没办法反过来用这个std::function的类型去推导id的模板参数，所以必须显式指定id<const int>才能让代码工作。

下面提供几种无需显式指定模板参数的解决方案：

方案1：让map接受任意可调用对象（推荐） #

放弃用std::function限定参数类型，改用模板参数直接接受可调用对象。这样编译器可以直接推导id的模板参数，同时代码更简洁高效（避免std::function的额外开销）。

修改后的代码：

#include <vector>
#include <iterator>

// 改进的map模板：接受任意可调用对象F
template <typename T, typename F>
T map(const T& x, F f) {
    T res(x.size());
    auto res_iter = std::begin(res);
    for (auto iter = std::begin(x); iter != std::end(x); ++iter) {
        *res_iter++ = f(*iter);
    }
    return res;
}

// 改进的id函数：用const引用避免拷贝，同时支持const元素
template <typename T>
const T& id(const T& x) {
    return x;
}

// 调用示例
int main() {
    std::vector<int> a = {1,2,3,4,5,6,7,8,9};
    auto result = map(a, id); // 无需指定模板参数，正常工作
    return 0;
}

方案2：将id实现为仿函数（函数对象） #

仿函数的调用运算符是模板化的，编译器可以在调用时自动推导其模板参数，不需要显式指定。

代码示例：

#include <vector>
#include <functional>
#include <iterator>

// 原map函数保持不变（如果不想修改map的话）
template <typename T>
T map(const T& x, std::function<decltype(x[0])(decltype(x[0]))> f) {
    T res(x.size());
    auto res_iter = std::begin(res);
    for (auto i = std::begin(x); i != std::end(x); ++i) {
        *res_iter++ = f(*i);
    }
    return res;
}

// 实现Id仿函数
struct Id {
    template <typename T>
    T operator()(const T& x) const {
        return x;
    }
};

// 调用示例
int main() {
    std::vector<int> a = {1,2,3,4,5,6,7,8,9};
    auto result = map(a, Id()); // 直接传入仿函数实例，无需指定模板参数
    return 0;
}

方案3：使用C++20的std::identity（如果环境支持） #

如果你使用的是C++20或更高版本，标准库已经提供了现成的恒等函数std::identity，直接使用即可：

#include <vector>
#include <functional>
#include <iterator>
#include <utility> // 包含std::identity

template <typename T>
T map(const T& x, std::function<decltype(x[0])(decltype(x[0]))> f) {
    T res(x.size());
    auto res_iter = std::begin(res);
    for (auto i = std::begin(x); i != std::end(x); ++i) {
        *res_iter++ = f(*i);
    }
    return res;
}

int main() {
    std::vector<int> a = {1,2,3,4,5,6,7,8,9};
    auto result = map(a, std::identity{}); // 直接使用标准库的恒等函数
    return 0;
}

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