无基础定义访问时，如何用enable_if实现is_my_tag模板函数特化？

问题场景 #

现有类型特征模板is_my_tag定义如下：

struct my_tag;
template<class Tags> struct is_my_tag : std::false_type {};
template<> struct is_my_tag<my_tag> : std::true_type {};
template<class... Tags> struct is_my_tag<std::tuple<my_tag, Tags...>> : std::true_type {};

库中提供了一个基础模板函数：

template<class T>
std::string fun(const T& ctx) {
    return "base";
}

需要为所有满足is_my_tag<T>::value == true的类型重载该函数，但尝试的enable_if写法触发编译错误ambiguous definition：

template<class T, typename = std::enable_if_t<is_my_tag<T>::value>>
std::string fun(const T& ctx) {
    return "override";
}

在无法修改基础模板定义的前提下，以下是可行的解决方法：

可行方案 #

方案1：将enable_if移至返回类型 #

把enable_if_t作为返回类型的一部分，只有当条件满足时，该重载版本才会被编译器纳入候选列表，避免和基础模板产生二义性：

template<class T>
std::enable_if_t<is_my_tag<T>::value, std::string>
fun(const T& ctx) {
    return "override";
}

方案2：使用C++20 Concept约束 #

g13完全支持C20，用Concept可以更清晰地约束重载，同时天然避免二义性：

template<class T>
concept MyTagType = is_my_tag<T>::value;

template<MyTagType T>
std::string fun(const T& ctx) {
    return "override";
}

方案3：用非类型模板参数实现更特化 #

添加一个带默认值的非类型模板参数，让重载版本比基础模板更特化，从而在决议时被优先选择：

template<class T, std::enable_if_t<is_my_tag<T>::value, int> = 0>
std::string fun(const T& ctx) {
    return "override";
}

原写法错误原因 #

原代码将enable_if作为默认类型模板参数，当T满足条件时，两个模板都属于可行候选，且编译器无法判定哪个更特化——基础模板是单参数模板，重载版本是双参数（第二个有默认值），二者特化程度相同，因此触发二义性错误。上述方案要么让重载仅在条件满足时存在，要么提升其特化优先级，从而解决冲突。

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