C++如何转发可变参数模板包调用类的模板构造函数

结论 #

这个需求可以实现，你原有代码存在3个编译级别的错误，修正后即可达到预期效果。

原代码问题说明 #

• 模板参数顺序不符合C++规则：函数模板的参数列表中，只有最后一个可变参数包可以接收剩余的显式传参、或是通过函数实参推导类型。你将class... targs放在class... args_t之前，显式传入<a, int, float>时，t匹配a，int、float会被全部归入targs包，args_t包直接为空，后续传入的10、5.5没有对应模板参数，直接触发编译错误。
• 笔误：函数形参写的是argst_t&&... args，和前面声明的模板参数args_t名称不一致。
• 核心逻辑错误：你明确说明t不是类模板，但返回语句写的是t<targs...>，这是把t当作接收模板参数的类模板使用，和你的场景完全不符，必然编译失败。

正确实现 #

C++语法不允许直接给构造函数传递显式模板参数（构造函数没有独立名字，无法写出a::a<int, float>(...)这类合法语法），针对你给出的场景（构造函数的模板参数包就是形参类型），只需要调整模板参数顺序，将传入实参显式转换为你指定的构造参数类型再做完美转发，编译器就会自动实例化出符合预期的构造函数。

完整可运行代码：

#include <utility>

template<class T, class... CtorArgs, class... PassArgs>
T create(PassArgs&&... args)
{
    static_assert(sizeof...(CtorArgs) == sizeof...(PassArgs),
        "传入实参数量必须和显式指定的构造参数数量一致");
    return T(
        std::forward<CtorArgs>(
            static_cast<CtorArgs&&>(std::forward<PassArgs>(args))
        )...
    );
}

// 测试代码
class a{
public:
    template<class... args_t>
    a(args_t... args) {}
};

int main()
{
    // 即使传入double字面量5.5，也会被显式转换为float，严格匹配指定的参数类型
    a instance = create<a, int, float>(10, 5.5);
    return 0;
}

补充说明 #

上述实现会严格按照你指定的int、float类型构造实参转发给构造函数，不会因为传入double字面量导致构造函数模板推导出非预期的double类型。
如果你需要支持更复杂的构造函数场景（比如构造函数带非类型模板参数、模板参数不直接作为形参类型），只需要给目标类加一个轻量的标签分发构造重载，就能实现完全通用的构造函数显式传参，不需要修改原有业务逻辑。

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