将给定的 vararg 参数传递给另一个函数的合适方法是什么？

Question

我已经开始使用 C++ 开发 hook/event 系统。该系统应该处理应用程序其他部分通知的各种事件。

我遇到的问题是我想要的方式运行。通常，我希望它是这样的，您可以使用要传递的所有参数调用特定函数，然后该函数处理调用该特定事件的所有已注册挂钩，将它们传递给参数，检索它们的结果值并返回它给原来的来电者。

通常，它应该是这样的：

CHookReturn* bInitializationStatus = Hook::Run("Initialize", gGame);

CHookReturn* bThinkSuccessful = Hook::Run("Think");

但是，我运行变成了一个问题。我的设置方式是 Hook 命名空间中的 Run 函数，调用 CHookData_t 结构的运行函数，需要传递可变参数。我找不到任何其他方法。结果是这样的：

union CHookReturn
{
    const char* m_pszValue;
    int m_iValue;
    float m_flValue;
    double m_dlValue;
    bool m_bValue;
};

struct CHookData_t
{
    virtual void Run(CHookReturn* ret, ...) = 0;
};

namespace Hook
{
    std::unordered_map<const char*, std::unordered_map<const char*, CHookData_t*>> umHookList;

    bool Add(const char*, const char*, CHookData_t*);
    bool Exists(const char*, const char*);
    bool Remove(const char*, const char*);
    int Count(const char*);
    CHookReturn* Run(const char*, ...);
};

Hook::Run函数的CPP文件段：

CHookReturn* Hook::Run(const char* eventName, ...)
{
    // FIXME: Look into alternative execution.
    // This code seems more like a workaround
    // than what I originally wanted it to be.

    int count = Hook::Count(eventName);
    CHookReturn* returnValues = new CHookReturn[count];
    int c = 0;

    unordered_map<const char*, CHookData_t*>::iterator itr;
    unordered_map<const char*, CHookData_t*> res;
    res = umHookList.at(eventName);

    va_list valist;
    void* args;
    va_copy(args, valist);

    for (itr = res.begin(); itr != res.end(); itr++)
    {
        CHookReturn returnData;
        itr->second->Run(&returnData, args);

        returnValues[c] = returnData;
        ++c;
    }

    return returnValues;
}

上面的代码提出了两个警告，这让我怀疑以这种方式执行它是否是个好主意，以及是否有任何我应该研究的替代方案。

我收到的警告是：
Warning C6001 Using uninitialized memory 'valist'.
Warning C6386 Buffer overrun while writing to 'returnValues': the writable size is 'count*8' bytes, but '16' bytes might be written.

有更好的方法吗？

Answer 1

使用 va_list 修复您的代码：

struct CHookData_t
{
    virtual ~CHookData_t() {}
    virtual void Run(CHookReturn* ret, va_list arg) = 0;
};

namespace Hook
{
    using HooksList = std::unordered_map<
         std::string, 
         std::unordered_map<std::string, std::unique_ptr<CHookData_t>>;

    HooksList umHookList;
    ...
}

std::vector<CHookReturn> Hook::Run(const std::string& eventName, ....)
{
    va_list valist;
    va_start(valist, eventName);

    auto result = Hook::RunVarg(eventName, valist);

    va_end(valist);

    return result;
}

std::vector<CHookReturn> Hook::RunVarg(const std::string& eventName, va_list arg)
{
    int count = Hook::Count(eventName);
    std::vector<CHookReturn> returnValues(count);

    size_t c = 0;
    for (auto& item : umHookList.at(eventName))
    {
        va_list arg_copy;
        va_copy(arg_copy, arg);
        item.second->Run(&returnValues[c], arg_copy);
        va_end(arg_copy);
        ++c;
    }

    return returnValues;
}

我不知道 Hook::Run 的参数是什么，va_list 指向什么，所以我不能提供很好的 C++ 解决方案。

请注意，循环内部需要 va_copy，因为某些编译器（不记得是哪个，可能是 msvc）va_list 的行为类似于指针，从中读取参数会对每个编译器产生影响迭代。在其他编译器上，va_list 表现得像一个值，va_copy 不会改变任何东西。

offtopic：你的代码太多了，你不应该使用 const char* 但如果你正在使用 std::string 或 std::string_view C++17，而不是 va_args，最好使用可变参数模板或 std::initializer_list，避免使用原始指针，而使用 std::unique_ptr 和 std::shared_ptr。我稍微调整了您的代码以涵盖该内容。
另外 Hook 不应该是 namespace，从它包含的函数和变量来看它应该是 class，所以你也应该修复它。

将给定的 vararg 参数传递给另一个函数的合适方法是什么？

What is the appropriate way to pass given vararg parameter to another function?

c++

visual-c++

event-handling

variadic-functions