C++多参数包函数中std::function参数重复匹配问题如何解决

你遇到的问题本质是C++模板对连续可变参数包的推导规则导致的：当模板参数列表存在两个连续可变参数包时，编译器无法自动拆分后续传入的参数类型分别匹配两个包，会优先将所有可推导的类型都匹配给更靠后的参数包，同时你显式指定的TDependencies又会单独生成匹配规则，最终出现类型被重复匹配的问题。

这里提供两种可行的解决方案：

方案1：使用类型标签显式标记依赖包（兼容C++11及以上版本） #

通过引入空的类型标签结构体，将TDependencies参数包和TArgs参数包的推导位置拆开，让编译器明确区分两个参数包的边界。
首先定义依赖类型标签：

template <typename... Ts>
struct Dependencies {};

修改Register函数的声明，将标签作为第一个入参：

template <class T, typename ... TDependencies, typename... TArgs> 
void Register(Dependencies<TDependencies...>, std::function<std::shared_ptr<T> (std::shared_ptr<TDependencies> ..., TArgs ...)> && pFactory)

调用时传入对应标签即可，无需修改工厂函数逻辑：

Register<Foo>(Dependencies<Bar>{}, std::function<std::shared_ptr<Foo>(std::shared_ptr<Bar>)>(
[](std::shared_ptr<Bar> bar){return std::make_shared<Foo>(bar);}));

该方案兼容性最好，所有支持C++11的编译器都可以正常使用，且参数包边界完全由开发者显式控制，不会出现匹配歧义。

方案2：使用非推导上下文隔离依赖包（兼容C++11及以上版本） #

将TDependencies对应的函数参数标记为非推导上下文，让编译器完全忽略从工厂函数推导TDependencies的逻辑，仅使用你显式指定的类型。
首先实现简易的类型标识工具（C++20可直接用标准库的std::type_identity_t）：

template <typename T>
struct type_identity {
    using type = T;
};
template <typename T>
using type_identity_t = typename type_identity<T>::type;

修改Register函数的声明：

template <class T, typename ... TDependencies, typename... TArgs> 
void Register(std::function<std::shared_ptr<T> (type_identity_t<std::shared_ptr<TDependencies>> ..., TArgs ...)> && pFactory)

原来的调用代码可以完全不变，编译器会直接使用你显式指定的TDependencies = {Bar}，不会尝试从工厂函数参数里推导依赖包，自然不会出现重复匹配的问题。

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