GCC与Clang在别名模板作为模板模板参数使用上的分歧及解决办法

以下C++代码可通过GCC 14.1.1编译，但无法通过Clang 18.1.8编译，现分析编译器合规性并提供解决办法：

测试代码 #

template <template <typename...> class T>
struct s {
    template <typename... U>
    using type = T<U...>;
};

/* 用户定义部分，库无法修改 */
template <typename T>
class c {};

template <typename T>
using a = c<T>;
/* 用户定义结束 */

int main()
{
    typename s<c>::type<int>{};
    typename s<a>::type<int>{}; // Clang在此处报错
}

Clang编译错误信息 #

❯ clang++ -Wall -std=c++23 -pedantic text.cpp -o test                                 
test.cpp:7:20: error: 包展开被用作别名模板非包参数的实参
    7 |     using type = T<U...>;
      |                    ^~~~

问题说明 #

• 将用户定义的别名模板改为可变参数可让Clang编译通过，但库无法控制用户代码。
• 类似的参数包展开问题曾在GCC和Clang中均报错，但本次仅Clang报错，差异源于模板模板参数的处理逻辑。
• 针对非模板模板参数场景的解决方案不适用于本次情况。

编译器合规性判断 #

GCC的处理符合C标准，Clang此处存在检查严格性过度的问题（或可视为bug）。根据C标准，当模板模板参数绑定到别名模板时，若参数包展开后的参数个数与别名模板的参数列表完全匹配，T<U...>的写法是合法的。本次案例中U...仅包含单个int参数，与别名模板a的单个参数要求匹配，理应通过编译。

解决办法 #

由于无法修改用户代码，可通过调整库中s结构体的实现适配不同场景：

方案1：C20 Concepts约束（推荐C20及以上） #

通过requires子句确保T<U...>的合法性，同时兼容别名模板的参数匹配：

#include <concepts>

template <template <typename...> class T>
struct s {
    template <typename... U>
    requires requires { typename T<U...>; }
    using type = T<U...>;
};

方案2：辅助模板转发（兼容C++11及以上） #

通过中间辅助模板转发参数，绕过Clang对包展开的严格检查：

template <template <typename...> class T, typename... U>
struct type_forwarder {
    using type = T<U...>;
};

template <template <typename...> class T>
struct s {
    template <typename... U>
    using type = typename type_forwarder<T, U...>::type;
};

方案3：针对性特化（针对单参数别名模板场景） #

若用户的别名模板多为单参数，可特化s结构体适配：

// 特化单参数模板/别名模板
template <template <typename> class T>
struct s<T> {
    template <typename U>
    using type = T<U>;
};

// 保留原可变参数版本，兼容多参数模板
template <template <typename...> class T>
struct s {
    template <typename... U>
    using type = T<U...>;
};

内容的提问来源于stack exchange，提问作者R.J