基于C++ functional与std::function泛型参数自定义forEach方法的实现咨询

嘿，先给你点个赞——自己动手实现标准库风格的算法，绝对是理解STL运作逻辑的好办法！咱们来拆解下你这段代码里可以调整的细节，让它更通用、高效：

1. 避免不必要的数组拷贝 #

你当前的forEach函数参数是std::array<T, SIZE> array，这意味着每次调用都会完整拷贝整个数组，对于元素数量多的数组来说，会白白浪费内存和运行时间。建议改成const引用传递，毕竟我们只是遍历数组不修改它：

void forEach(const std::array<T, SIZE>& array, function<void(T)> fun)

2. 让函数对象的参数类型适配模板 #

你把std::function的参数固定成了void(int)，但模板参数明明是T，这直接把forEach的适用范围锁死在了int类型数组上，完全浪费了模板的通用性。应该把函数对象的参数类型改成T，甚至可以用const T&来避免元素拷贝：

function<void(const T&)> fun

如果想更灵活，还可以把函数对象也改成模板参数，这样能避开std::function带来的轻微性能开销，同时兼容lambda、函数指针、自定义 functor等所有可调用对象，更贴合STL算法的设计思路：

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

3. 代码完整性修正 #

你main函数里的lambda后面有个...，应该是输入时的截断，完整的调用代码应该补上闭合的括号：

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

修正后的完整示例代码 #

#include <iostream>
#include <array>
using namespace std;

// 通用高效版：模板接受任意可调用对象
template<typename T, std::size_t SIZE, typename Func>
void forEach(const std::array<T, SIZE>& array, Func fun){
    for(auto const & object: array)
        fun(object);
}

int main() {
    std::array<int, 4> num{1,2,3,4};
    // 测试int类型数组
    forEach(num, [](int n) { cout << n * n << endl; });
    
    // 拓展测试：double类型数组
    std::array<double, 3> nums{1.5, 2.5, 3.5};
    forEach(nums, [](double d) { cout << d * 2 << endl; });
}

额外小建议 #

• 尽量避免using namespace std;，大型项目里这很容易引发命名冲突，显式写出std::cout、std::array会更稳妥。
• 如果想让forEach支持更多容器（比如vector、list），可以把容器也改成模板参数，直接对标标准库的std::for_each：

template<typename Container, typename Func>
void forEach(const Container& container, Func fun){
    for(auto const & object: container)
        fun(object);
}

内容的提问来源于stack exchange，提问作者Morchul