C++20双模板参数可变模板实参推导失败原因及修复

编译失败的本质是C++**类模板参数推导（CTAD）**的规则限制：

• 不带自定义推导指引的前提下，CTAD只会在类名后**完全不写显式模板实参列表（即不跟<>）**时，才会从构造函数实参推导所有类模板参数。第一个无Dims参数的版本能正常编译，就是因为没有写<>，编译器直接从4个char实参推导出Indices参数包的具体内容。
• 当你写MIndices<4>时，相当于显式指定了第一个模板参数Dims=4，此时编译器不会再为后续的Indices参数包执行自动推导，会判定你提供的模板实参列表不完整，直接报推导失败。
• 这种写法下如果手动写全所有模板参数，比如MIndices<4, char, char, char, char> myI('i','j','l','z')是可以编译通过的，但冗余度极高，没有实用价值。

方案1：保留双模板参数结构，增加CTAD推导指引 #

如果你需要保留Dims + Indices的模板参数结构，可以通过自定义推导指引让编译器自动从构造参数推导Dims和参数包，同时加静态校验保证参数合法性：

#include <tuple>
#include <concepts>

template <std::size_t Dims, std::same_as<char>... Indices>
struct MIndices {
    std::tuple<Indices...> indices;
    MIndices() = delete;
    constexpr explicit MIndices(Indices... args) : indices(args...) {
        static_assert(Dims == sizeof...(Indices), "传入参数个数必须与Dims一致");
    }
};

// 自定义CTAD推导指引
template <std::same_as<char>... Args>
MIndices(Args...) -> MIndices<sizeof...(Args), Args...>;

使用时不需要显式写Dims，直接初始化即可，编译器会自动推导Dims的值：

// 自动推导出MIndices<4, char, char, char, char>
MIndices myI('i', 'j', 'l', 'z');

这个方案的缺点是无法在实例化时显式指定Dims做强制校验，只能靠参数个数推导Dims。

方案2：贴合核心需求的简化实现（推荐） #

你的核心需求是编译期指定char元素的个数，本质上不需要把每个char类型作为单独的模板参数包展开——std::same_as<char>约束已经决定了参数包展开后全是char，不承载额外信息。直接保留Dims作为唯一模板参数，通过C++20的concept约束构造函数的参数类型和个数即可，完全支持你想要的MIndices<4>实例化写法：

#include <tuple>
#include <concepts>
#include <utility>

template <std::size_t Dims>
struct MIndices {
private:
    // 辅助生成Dims个char组成的tuple类型
    template <std::size_t... Is>
    static auto make_char_tuple(std::index_sequence<Is...>) 
        -> std::tuple<decltype(static_cast<void>(Is), char{})...>;
public:
    using tuple_type = decltype(make_char_tuple(std::make_index_sequence<Dims>{}));
    tuple_type indices;

    MIndices() = delete;
    // 约束构造函数：必须传入Dims个char类型参数
    template <std::same_as<char>... Args>
    constexpr explicit MIndices(Args... args) requires (sizeof...(Args) == Dims)
        : indices(args...) {}
};

这个方案的优势：

• 完全支持你期望的写法：MIndices<4> myI('i','j','l','z')可以直接编译通过
• 编译期校验严格：如果传入参数个数不是4、或者参数类型不是char，编译器会直接抛出清晰的约束不满足错误
• 代码逻辑更简洁，没有冗余的模板参数，完全匹配“编译期指定tuple元素个数”的核心需求

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