含参数包的成员函数模板参数推导失败原因咨询

核心原因 #

编译器推导模板参数时，不会自动关联成员函数指针的参数类型与传入的实参类型，具体问题出在：

• 你的foreach函数模板中，ParamsT同时出现在两个独立推导位置：成员函数指针签名void (ObjectType::*func)(ParamsT...)，以及函数实参列表ParamsT... args。
• 模板参数推导要求同一参数在所有位置的推导结果完全精确匹配（不考虑隐式转换）。只要有一处推导结果不一致，整个推导就会失败。
• 比如传入字符串字面量时，它的实际类型是const char[N]（N为字符串长度），而成员函数指针的参数是const char*，这两个类型并不完全一致，直接导致推导冲突；就算类型完全匹配，部分编译器的推导逻辑也不会跨位置合并结果，因为这属于独立的推导上下文。

解决方案 #

方案1：拆分模板参数，用可调用性检查替代强类型绑定

把成员函数指针的参数类型和实参类型拆成两组独立模板参数，通过std::is_invocable在编译期校验实参是否能正确调用成员函数：

#include <type_traits>
#include <utility>

template<typename ObjectType, typename... FuncParams, typename... Args>
void foreach(ObjectType& obj, void (ObjectType::*func)(FuncParams...), Args&&... args) {
    static_assert(std::is_invocable_v<decltype(func), ObjectType&, Args&&...>,
                  "Arguments do not match the member function's signature");
    (obj.*func)(std::forward<Args>(args)...);
}

这种方式支持隐式转换，保留编译期类型检查，同时避免了模板参数推导冲突。

方案2：显式指定模板参数

调用foreach时直接明确指定ParamsT的类型，跳过编译器推导流程：

myArray.foreach<MyOtherObjectType, int, const char*>(
    obj, 
    &MyOtherObjectType::target_func, 
    123, 
    "example string"
);

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