将模板函数作为参数而没有实例化？

Question

我一直在C ++进行一些练习，偶然发现了一个练习，这是关于创建一个简单的模板函数迭代器，该函数迭代器采用任何类型的数组和其他模板功能来在数组中的每个元素中进行一些处理，我已经完成了看起来如下：

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);
}

主要功能中的那两个测试是我写我自我的两个测试，现在练习也提供了一些测试以检查解决方案，并且测试几乎相同，它使用了一个简单的测试print（）模板函数而不是rezement（）

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

现在的问题是，它使用以下实例化模板函数ITERATE（）：

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

现在根据对于我的理解，您不能在没有实例化的情况下将模板函数作为参数传递，因为它不是常规函数，应该对其进行实例化，否则编译器不知道为实际函数创建哪种类型？的确，当我编写练习的测试时，我得到了一个：

no matching function for call to 'iterate'

所以我的问题是正确的，这只是练习中的一个错误，或者测试是正确的，而我是缺少某些东西的人？

Answer 1

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

您可以通过的是函子，要么定制一个带有重载operator（）或仅是lambda的函数。您确定措辞不会谈论函数吗？

以下代码有效：

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

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

Answer 2

任务可能希望您使用功能指针。在此中，可以在某些情况下推导打印的参数类型。请注意，如果您要同时修改和非修改功能（=函数为const引用）工作，则需要对模板的模板参数进行签名，该签名可能匹配这两种模板，例如您的增量模板。

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
}