c++ 函数式，带有泛型参数的 std::function

Question

我尝试编写一个 forEach 方法（我知道已经存在但我会自己尝试）

这是我的代码：

#include <iostream>
#include <array>
#include <functional>

using namespace std;

template<typename T, std::size_t SIZE>
void forEach(std::array<T, SIZE> array, function<void(int)> fun){
    for(auto const & object: array)
        fun(object);
}

int main()
{
    std::array<int, 4> num{1,2,3,4};

    forEach(num, [](int n) -> void { cout << n * n << endl;});

    return 0;
}

这很好用。

现在，当我将 forEach function<void(int)> fun 的第二个参数更改为 function<void(T)> fun 时，它无法编译并且出现错误：
no matching function for call to 'forEach(std::array<int, 4u>&, main()::<lambda(int)>)'

但是当我正确理解时，T 在这个例子中应该是int。
我会犯思维错误吗？
为什么它不起作用？

当我这样做时它会起作用：

template<typename T, std::size_t SIZE>
void forEach(std::array<T, SIZE> array, function<void(T)> fun){
    for(auto const & object: array)
        fun(object);
}

int main()
{
    std::array<int, 4> num{1,2,3,4};
    function<void(int)> func = [](int n) -> void { cout << n * n << endl;};
    forEach(num, func);

    return 0;
}

但是我可以像第一个代码sn-p那样直接在函数调用中做吗？

提前致谢

Answer 1

也许想得更笼统？

std::function 只是一种函数对象，它的限制很大。

#include <iostream>
#include <array>

template<class Container, class Action>
void forEach(Container&& cont, Action&& action)
{
    auto first = std::begin(cont);
    auto last = std::end(cont);
    for( ; first != last ; ++first)
    {
        action(*first);
    }
}

int main()
{
    std::array<int, 4> num{1,2,3,4};

    forEach(num, [](auto&& n) -> void { std::cout << n * n << std::endl;});

    return 0;
}

其他用途：

#include <iostream>
#include <array>
#include <initializer_list>
#include <vector>

template<class Container, class Action>
void forEach(Container&& cont, Action&& action)
{
    auto first = std::begin(cont);
    auto last = std::end(cont);
    for( ; first != last ; ++first)
    {
        action(*first);
    }
}

int main()
{
    std::array<int, 4> num{1,2,3,4};

    // type of n is "whatever works"
    auto emit = [](auto&& n) -> void { std::cout << n * n << std::endl;};
    forEach(num, emit);

    forEach(std::array<double, 4> { 1.0, 2.0, 3.0, 4.0 }, emit);
    forEach(std::initializer_list<double>{ 1.0, 2.0, 3.0, 4.0 }, emit);
    forEach(std::vector<double>{ 1.0, 2.0, 3.0, 4.0 }, emit);

    return 0;
}