即使函数不是类型，function 模板如何接受函数作为参数？

Question

这个明显的问题可能会在我找不到的地方被问到，最近的答案是这个。 I come from a C background and if you want to pass a function as argument in C You ought to use a pointer to function. 但是这个：

void    increment ( int & n ) { n += 1; }

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

int main( void ) {
    int arr[] = {1, 2, 3, 4, 5};
    iterator(arr, 5, increment);
    return 0;
}

One answer (see link above) state that templated function can only accept either a type or a value, Well function are not types so what's the matter with typename F , the other possible option is that the function actually evaluate and return it's value to templated function 参数绝对没有意义，所以我的问题。 函数究竟如何作为 arguments 传递给模板函数？ 幕后发生了什么？

Answer 1

函数有一个类型。 与传递arr相比，将increment传递给 function 模板没有根本不同。 它们的类型被推导出来，然后替换为模板 arguments。

如果没有论证推论，它可能会变得更清楚：

iterator<int, void()(int&)>(arr, 5, increment);

或让decltype推断类型：

iterator<int, decltype(increment)>(arr,5,increment);

如果iterator不是模板，它看起来像这样（对于这个特定的调用）：

using F = void(*)(int&);
void iterator(int* arr, size_t size, F f);