将模板化的 function 作为参数传递而不实例化？ [复制]

Question

这个问题在这里已经有了答案：

是否可以在不使用 lambda 的情况下将标准 function 模板之一作为参数传递？ (2 个回答)

将重载的 function 传递给另一个时，如何指定重载？ [重复] （2个答案）

如何将一元谓词作为参数将 std::isspace 传递给 function？ (1 个回答)

22 天前关闭。

I've been doing some exercises in C++ and stumbled upon one, it was about creating a simple a templated function iterator that takes an array of any type and another templated function to do some processing in each element in the array, i've completed练习看起来如下所示：

template <typename T >
void    increment(T& t)  {
        t += 1;
}

template <typename T, typename F>
void    iterate(T *arr, size_t size, F f) {
        for (size_t i = 0; i < size; i++) f(arr[i]);
}

int main( void )  {

        int tab[]= {0,1,2,3,4};
        SomeClass tab2[5];
        iterate(tab, 5, increment<int>);
        iterate(tab2, 5, increment<SomeClass>);
        return (0);
}

主要 function 中的这两个测试是我自己编写的，现在练习也提供了一些测试来检查解决方案，并且测试几乎相同，它使用简单的print()模板 function 而不是increment()

    template <typename T >
    void    print(const T& t) {std::cout << t << " "; };

现在的问题是它对模板化 function iterate()使用以下实例化：

    iterate(tab, 5, print);
    iterate(tab2, 5, print);

现在根据我的理解，您不能在没有实例化的情况下将模板化 function 作为参数传递，因为它不是常规的 function，它应该被实例化，否则编译器将不知道要为实际的 ZC1C425268E68A94 创建什么类型？4？ 事实上，当我编译练习的测试时，我得到了：

no matching function for call to 'iterate'

所以我的问题是我是否正确，这只是练习中的一个错误，或者测试是正确的，而我是那个遗漏了什么的人？

Answer 1

是的，你是对的。 function 模板不能作为模板参数传递，因为它还没有类型。

您可以传递的是函子，可以是带有重载operator()的自定义函子，也可以只是 lambda。 您确定措辞不谈论函子吗？

以下代码有效：

auto print = [](const auto& t) {std::cout << t << " "; };
iterate(tab, 5, print);
iterate(tab2, 5, print);

这也是许多 STL 算法采用的方法。

Answer 2

该任务可能期望您使用 function 指针。 其中在某些场景下可以推导出print的参数类型。 请注意，如果您希望修改和非修改函数（= 引用 const 的函数）都可以工作，您需要为模板指定模板参数，其签名可以匹配两者，例如您的increment模板。

template <typename T >
void increment(T& t)
{
    t += 1;
}

template <typename T>
void iterate(T* arr, size_t size, void (*f)(const T&)) {
    for (size_t i = 0; i < size; i++) f(arr[i]);
}

template <typename T>
void    iterate(T* arr, size_t size, void(*f)(T&)) {
    for (size_t i = 0; i < size; i++) f(arr[i]);
}

template <typename T >
void    print(const T& t) { std::cout << t << " "; };


int main(void) {
    int tab[] = { 0,1,2,3,4 };
    iterate(tab, 5, increment<int>); // not possible to deduce the template parameter for increment here (both const int and int would be signatures matching an overload of iterate)
    iterate(tab, 5, print); // template parameter of print deduced as int
}