C++模板参数包展开至内部模板声明的标准行为问询

给定代码：

template<class... Ts>
struct Outer {
    template<typename Ts::type...>
    void inner(){}
};

针对Outer<std::type_identity<bool>, std::type_identity<int>> outer{};的调用场景，C++标准的规定如下：

• 内部模板inner参数列表中的typename Ts::type...属于模板参数包展开，展开后会为Outer的每个模板参数Ts生成一个对应非类型模板参数，其类型为Ts::type。
• 对示例中的Outer实例化，inner的模板参数列表会被展开为template<bool, int>，即两个分别接受bool、int类型常量表达式的非类型模板参数。
• 调用inner时必须提供与展开后非类型参数匹配的实参，例如outer.inner<true, 42>()属于合法调用。

编译器行为差异的核心原因是早期实现对嵌套包展开的支持程度不同：

• GCC正确实现了标准规定，允许该展开并生成对应非类型参数；
• 旧版本Clang对这种嵌套包展开存在解析逻辑问题；
• MSVC在模板成员的依赖类型解析上存在延迟处理，导致匹配行为不一致。

给定代码：

template<class, std::size_t>
concept At = true;

template<std::size_t... Is>
struct Outer{
    template<At<Is>... Ts>
    void inner(Ts...){}
};

针对Outer<0, 1> outer{};的调用场景，C++标准的规定如下：

• template<At<Is>... Ts>中的At<Is>...是约束与模板参数包的结合展开：Outer的模板参数包Is会被逐个展开，每个Is元素对应一个At<Is>约束，绑定到inner的对应类型参数Ts。
• 对示例中的Outer<0,1>实例化，inner的模板参数列表等价于template<At<0> T0, At<1> T1>，即第一个类型参数T0需满足At<0>约束，第二个类型参数T1需满足At<1>约束。
• 调用inner时，传入的每个实参类型必须分别匹配对应位置的约束，例如outer.inner<int{}, double{}>()（假设int满足At<0>、double满足At<1>）属于合法调用。

关于Clang支持的“前置包场景”：
标准允许在约束位置进行此类包展开，Clang的实现符合标准要求。部分编译器对约束中嵌套的模板参数包展开存在解析限制，无法正确识别逐个绑定的约束关系，这属于实现缺陷而非标准规定的行为。

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