将模板化仿函数作为参数传递给 C++ 中的模板化 function

Question

我正在尝试将模板化函子传递给模板化 function。 代码看起来像这样：

template<typename T>
T func_1(T &a) {
    return a;
}

template <typename T>
T test(T &a, std::function<T(T&)> &func){
    return func(a);
}

int main(){
    int a = 5;
    std::cout << test(a, func_1) << std::endl;
}

但是，我收到以下编译错误：

从 '' 类型的右值对类型 'std::function<int(int&)>&' 的非常量引用的无效初始化

如果我删除模板，代码就可以工作。 有人可以帮我理解为什么吗？

Answer 1

func_1是 function 模板。 您必须传递一个您希望实例化此 function 的具体类型。 在您的情况下，它是int ，变量a类型。

std::cout << test(a, func_1<decltype(a)>) << std::endl;

然后，可以使用function func_1<int>实例化创建 function object。 这个 function 是临时的，但临时不能绑定到Lvalue引用，所以应该修改test的签名以接受 const Lvalue ref：

template <typename T>
T test(T &a, const std::function<T(T&)> &func){
             // <---- const 
    return func(a);
}

Answer 2

问题是func_1只是一个模板，要获得 function 指针，您首先需要一个 function （即 ZC1C425268E68385D1AB5074C17A94F14 模板的实例化）。

您可以通过使func_1成为不是模板本身的实际仿函数（即可调用对象）来获得所需的内容：

#include <functional>
#include <iostream>

struct func_1 {
    template <typename T>
    T operator()(T& a){ return a; }
};

template <typename T,typename F>
T test(T &a, F func){
    return func(a);
}

int main(){
    int a = 5;
    std::cout << test(a, func_1{}) << std::endl;
                         //    ^^ create instance
}

“诀窍”是只有func_1::operator()是模板，因此您可以创建func_1的对象并在您知道T实际是什么之前传递它们。 运算符仅在test而不是main中调用时才被实例化。