求助：Clang 19编译第三方库遇ambiguous partial specializations错误

问题描述 #

使用Clang 19编译代码时，出现ambiguous partial specializations错误，最小复现代码如下：

#include <type_traits>
#include <vector>

struct Type
{
    template <typename T>
    static Type get() { return {}; }
};

template<typename T>
struct template_type_trait : std::false_type
{
    static std::vector<Type> get_template_arguments() { return {}; }
};

template<template <typename... > class T, typename...Args>
struct template_type_trait<T<Args...>> : std::true_type
{
    static std::vector<Type> get_template_arguments() { return { Type::get<Args>()..., }; }
};

#define ADD_TYPE_TRAIT_SPECIALIZATION(value_type)                                                                                    \
    template<template <value_type> class T, value_type Arg>                                                                                 \
    struct template_type_trait<T<Arg>> : std::true_type                                                                                     \
    {                                                                                                                                       \
        static std::vector<Type> get_template_arguments() { return { Type::get<value_type>() }; }                           \
    };

ADD_TYPE_TRAIT_SPECIALIZATION(std::size_t)
ADD_TYPE_TRAIT_SPECIALIZATION(bool)
ADD_TYPE_TRAIT_SPECIALIZATION(int)
ADD_TYPE_TRAIT_SPECIALIZATION(char)

template <bool>
struct BB { };

int main()
{
    return template_type_trait<BB<true>>::value;
}

该问题仅在Clang 19中出现，MSVC及旧版Clang均可正常编译；使用编译选项-fno-relaxed-template-template-args可临时解决，但需更优方案。

歧义产生原因 #

Clang 19默认启用了-relaxed-template-template-args选项，该选项放宽了模板模板参数的匹配规则：

• 旧版编译器中，接受类型模板参数的模板模板参数（如template<typename...> class T）无法匹配接受非类型参数的模板（如template<bool> struct BB）；
• 而Clang 19的新规则允许这类兼容匹配：它会将非类型参数的类型（如bool）视为类型参数，尝试匹配通用特化template_type_trait<T<Args...>>。

此时，BB<true>同时满足两个特化的匹配条件：

1. 手动添加的针对bool非类型参数的特化；
2. 通用的类型参数特化。
   两者优先级相同，因此产生歧义。

是否为编译器Bug？ #

这不属于严格意义上的编译器Bug，而是Clang对C标准中模板模板参数匹配规则的解读与旧版及其他编译器不同，且默认启用了更严格的兼容匹配规则，导致兼容性破坏。C标准在此场景下的规则存在一定模糊性，不同厂商的实现差异属于正常现象。

更优解决方案 #

1. 给通用特化添加约束（推荐） #

通过C++20概念或SFINAE，限制通用特化仅匹配接受类型参数的模板，避免与非类型特化冲突：

#include <type_traits>
#include <vector>

struct Type
{
    template <typename T>
    static Type get() { return {}; }
};

template<typename T>
struct template_type_trait : std::false_type
{
    static std::vector<Type> get_template_arguments() { return {}; }
};

// 定义概念：仅接受类型参数的模板
template<template<typename...> class T>
concept TypeOnlyTemplate = true;

// 仅当模板T满足TypeOnlyTemplate时，该特化生效
template<TypeOnlyTemplate T, typename...Args>
struct template_type_trait<T<Args...>> : std::true_type
{
    static std::vector<Type> get_template_arguments() { return { Type::get<Args>()..., }; }
};

#define ADD_TYPE_TRAIT_SPECIALIZATION(value_type)                                                                                    \
    template<template <value_type> class T, value_type Arg>                                                                                 \
    struct template_type_trait<T<Arg>> : std::true_type                                                                                     \
    {                                                                                                                                       \
        static std::vector<Type> get_template_arguments() { return { Type::get<value_type>() }; }                           \
    };

ADD_TYPE_TRAIT_SPECIALIZATION(std::size_t)
ADD_TYPE_TRAIT_SPECIALIZATION(bool)
ADD_TYPE_TRAIT_SPECIALIZATION(int)
ADD_TYPE_TRAIT_SPECIALIZATION(char)

template <bool>
struct BB { };

int main()
{
    return template_type_trait<BB<true>>::value;
}

该方案从根源上避免了歧义，符合C++20及以后的标准规范，长期兼容性更好。

2. 调整特化优先级 #

通过requires约束或SFINAE，让非类型特化的匹配优先级高于通用特化。例如，给非类型特化添加额外条件，确保它比通用特化更具体：

// 修改宏定义，添加requires约束
#define ADD_TYPE_TRAIT_SPECIALIZATION(value_type)                                                                                    \
    template<template <value_type> class T, value_type Arg>                                                                                 \
    requires (!std::is_class_v<decltype(Arg)>) // 确保匹配非类型参数                                                                     \
    struct template_type_trait<T<Arg>> : std::true_type                                                                                     \
    {                                                                                                                                       \
        static std::vector<Type> get_template_arguments() { return { Type::get<value_type>() }; }                           \
    };

这种方案无需修改通用特化，但逻辑相对复杂，可读性不如第一种。

3. 保留-fno-relaxed-template-template-args选项 #

如果项目暂时不需要Clang的放宽匹配规则，可在编译时添加该选项，快速解决问题。但这是临时方案，长期来看仍建议修改代码适配新规则，避免后续版本的兼容性风险。

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