std::add_pointer实现中try_add_pointer的作用及SFINAE必要性问询

先把cppreference里的实现贴出来方便参考：

namespace detail { 
template <class T> struct type_identity { using type = T; }; // 或使用C++20起的std::type_identity
template <class T> auto try_add_pointer(int) -> type_identity<typename std::remove_reference<T>::type*>;
template <class T> auto try_add_pointer(...) -> type_identity<T>;
} // namespace detail
template <class T> struct add_pointer : decltype(detail::try_add_pointer<T>(0)) {};

一、try_add_pointer的核心作用 #

简单说，它是个基于SFINAE的类型探测工具，通过两个重载版本配合，帮我们自动选择符合std::add_pointer规则的类型：

• 第一个重载（带int参数）：优先尝试对T做「去引用→加指针」的转换——这正是std::add_pointer的核心要求：如果T是引用类型，先去掉引用再转指针；如果是普通类型，直接转指针。这个重载只有当typename std::remove_reference<T>::type*是合法类型时，才会被编译器纳入候选。
• 第二个重载（带...可变参数）：这是个兜底的「万能匹配」选项。当第一个重载因为SFINAE规则失效（比如某种极端情况下，T去引用后的类型无法生成合法指针），编译器会自动忽略第一个重载，转而匹配这个版本，直接返回原类型T作为回退。

二、为什么需要它？ #

直接写using type = typename std::remove_reference<T>::type*不行吗？还真不行，原因有两个：

1. 避免硬错误，实现优雅降级：如果直接在add_pointer里写死类型转换，当遇到某些极端的、无法生成指针的输入类型时（虽然std::add_pointer的标准输入范围里几乎不会出现，但作为通用模板，必须考虑兼容性），编译器会直接抛出编译错误。而通过try_add_pointer的SFINAE机制，编译器会自动跳过无效的重载，选择合法的那个，保证模板始终能正常编译。
2. 利用重载优先级实现条件分支：调用try_add_pointer<T>(0)时，0是int类型，会优先匹配第一个带int参数的重载——这正好符合我们「优先执行去引用加指针」的需求。只有当第一个重载不可行时，才会触发第二个兜底重载，完美实现了类型层面的条件分支逻辑。

本质上，这是SFINAE机制在类型元编程里的经典应用：用函数重载的可行性来判断类型转换的合法性，从而实现编译期的类型选择。

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