如何向函数传递带可变模板参数的Lambda及对应参数？

错误原因 #

你的可变模板参数版本存在两个核心问题：

1. 可变参数未展开：调用function时仅传入u，未使用u...展开所有参数，导致参数数量不匹配。
2. 函数指针的局限性：依赖函数指针作为参数，不仅无法支持带捕获的lambda，还会在可变参数场景下引发模板推导歧义，编译器无法正确匹配参数类型。

修复方案 #

改用模板参数接受任意可调用对象（lambda、函数对象、普通函数等），同时利用完美转发保证参数传递的效率和正确性，彻底解决重载和参数数量限制的问题。

修改后的Iterate函数实现 #

#include <functional> // 用于std::invoke
#include <utility>    // 用于std::forward

template<typename T>
class DataStructure {
private:
    struct Node {
        T* value;
        Node* post;
    };
    Node* start = nullptr;

    bool Empty() const { return start == nullptr; }

public:
    // 通用版本：支持任意可调用对象和任意数量的参数
    template<typename Func, typename... Args>
    void Iterate(Func&& func, Args&&... args) {
        if (Empty()) return;
        for (Node* iter = start; iter != nullptr; iter = iter->post) {
            // 使用std::invoke兼容所有可调用对象的调用方式
            std::invoke(std::forward<Func>(func), iter->value, std::forward<Args>(args)...);
        }
    }

    // 可选：保留原无参数版本，复用通用实现
    void Iterate(void(*function)(T* value)) {
        Iterate(function);
    }
};

调用示例 #

// 无参数调用
DataStructure<int> test1;
test1.Iterate([](int* i) { *i = 0; }); // 注意：lambda参数需匹配T*类型

// 单个参数调用
DataStructure<int> test2;
test2.Iterate([](int* i, float e) { *i = static_cast<int>(e); }, 10.f);

// 多个参数调用
struct Arg1 {};
struct Arg2 {};
DataStructure<Arg1> test3;
Arg1* audio = new Arg1();
Arg2* dt = new Arg2();
test3.Iterate([](Arg1* data, Arg1* audio, Arg2* dt) {
    // 自定义逻辑
}, audio, dt);

方案优势 #

• 无需重载：单个函数支持0到任意数量的参数。
• 兼容性强：支持所有可调用对象，包括带捕获的lambda、std::function、成员函数指针等。
• 高效：通过完美转发避免不必要的参数拷贝。

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