C++如何同时实现std::enable_if约束模板函数与普通同名模板函数

你当前的双enable_if重载实现本身没有功能问题，完全可以满足需求，针对不同C++标准版本，还有更简洁易维护的实现方式：

C++17 及以上版本最优选择：if constexpr 单函数实现 #

不需要定义两个重载，把分支逻辑收拢在同一个函数内，代码更紧凑，也避免了重载匹配可能出现的边界问题：

#include <type_traits>

template<class T>
void foo(T val) {
    if constexpr (std::is_arithmetic_v<T>) {
        // 原算术类型重载的实现逻辑
    } else {
        // 原其他类型重载的实现逻辑
    }
}

优势：

• 无需维护多组重载的SFINAE条件，减少写错互斥条件的概率
• 逻辑集中，后续修改需求时不用在两个函数之间来回跳转
• 纯编译期分支，和SFINAE重载方案运行效率完全一致，没有额外开销

C++11/14 版本替代方案：标签分发 #

如果无法使用C++17的新特性，除了你当前的双SFINAE重载方案外，还可以用标签分发模式，可读性和可扩展性更好，尤其适合后续可能新增更多分支匹配规则的场景：

#include <type_traits>

namespace detail {
// 算术类型分支
template<class T>
void foo_impl(T val, std::true_type) {
    // 算术类型实现逻辑
}

// 非算术类型分支
template<class T>
void foo_impl(T val, std::false_type) {
    // 其他类型实现逻辑
}
}

// 对外统一接口
template<class T>
void foo(T val) {
    detail::foo_impl(val, std::is_arithmetic<T>{});
}

优势：

• 对外暴露的接口统一，用户不用关心内部的重载规则
• 新增分支规则时只需要加对应的foo_impl重载和标签判断，不需要修改已有重载的SFINAE条件
• 避免了多个重载函数同时存在时，可能出现的意外重载匹配优先级问题

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