可变参数模板构造函数调用失败：推导原因及纯构造函数方案问询

一、推导失败的原因 #

你的构造函数模板声明为：

template<typename ... FirstArgsT, typename LastArgT>
Foo(const FirstArgsT& ... FirstArgs, const LastArgT& LastArg)

核心问题在于模板参数包FirstArgsT并非最后一个模板参数，而C++模板参数推导规则明确要求：如果函数参数列表中包含对应模板参数包的参数，该模板参数包必须是最后一个模板参数，否则编译器无法确定参数列表的拆分边界。

比如调用Foo<2> foo(arg1, arg2)时，编译器无法判定：

• 是FirstArgsT为空，LastArgT对应int，剩余bool参数无匹配项？
• 还是FirstArgsT包含int，LastArgT对应bool？

由于存在歧义，编译器直接判定推导失败，找不到匹配的构造函数。

二、仅使用构造函数的解决方案 #

无需依赖工厂函数，有两种可行思路解决问题：

思路1：调整模板参数顺序，基于委托构造实现 #

将LastArgT放在模板参数列表最前端，参数包FirstArgsT后置，同时调整数组索引计算逻辑以保证参数顺序正确：

template<size_t S>
struct Foo
{
    Foo() {}
    
    // 调整模板参数顺序：单个参数在前，参数包在后
    template<typename LastArgT, typename ... FirstArgsT>
    Foo(const LastArgT& LastArg, const FirstArgsT& ... FirstArgs) : Foo(FirstArgs...)
    {
        static_assert(sizeof...(FirstArgsT)+1 <= S, "参数数量超过上限");
        // 调整索引计算，让第一个传入的参数存入索引0的位置
        TypeSizes[S - 1 - sizeof...(FirstArgsT)] = sizeof(LastArgT);
    }
        
    size_t TypeSizes[S];
};

int main()
{
    int arg1 = 3;
    bool arg2 = false;
    Foo<2> foo(arg1, arg2);  // 推导成功
    // 此时TypeSizes[0] = sizeof(int), TypeSizes[1] = sizeof(bool)
    return 0;
}

这里让模板参数包成为最后一个模板参数，编译器可以明确拆分参数列表：调用foo(arg1, arg2)时，LastArgT推导为int，FirstArgsT推导为bool；委托调用Foo(arg2)时，LastArgT推导为bool，FirstArgsT为空，最终正确填充数组。

思路2：单参数包构造函数+递归辅助函数 #

如果不想调整参数处理顺序，可改用单个参数包的构造函数，配合内部递归辅助函数按顺序填充数组：

#include <type_traits>

template<size_t S>
struct Foo
{
    Foo() {}
    
    template<typename... ArgsT>
    Foo(const ArgsT&... Args) : Foo()
    {
        static_assert(sizeof...(ArgsT) <= S, "参数数量超过上限");
        fill<0>(Args...);
    }
        
    size_t TypeSizes[S];

private:
    // 递归终止函数
    template<size_t Index>
    typename std::enable_if<Index >= S>::type fill() {}
    
    // 递归填充函数
    template<size_t Index, typename FirstArgT, typename... RestArgsT>
    typename std::enable_if<Index < S>::type fill(const FirstArgT& FirstArg, const RestArgsT&... RestArgs)
    {
        TypeSizes[Index] = sizeof(FirstArg);
        fill<Index + 1>(RestArgs...);
    }
};

int main()
{
    int arg1 = 3;
    bool arg2 = false;
    Foo<2> foo(arg1, arg2);  // 推导成功
    // TypeSizes[0] = sizeof(int), TypeSizes[1] = sizeof(bool)
    return 0;
}

这种方式通过参数包推导直接匹配所有传入参数，再用递归函数按顺序填充数组，同样无需依赖工厂函数。

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