在 cppreference 中add_const，据说我们可以将其实现为：
template< class T> struct add_const { typedef const T type; };
当我尝试引用类型时，例如std::add_const<int&>? 它是int&。
我的问题是为什么它可以在没有特定版本供参考的情况下工作，因为它int& const是非法的？
在 cppreference add_pointer 中，据说我们可以将其实现为：
namespace detail {
template <class T>
struct type_identity { using type = T; }; // or use std::type_identity (since C++20)
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。但是为什么这里的实现需要它？