如果类型T提供了typedef value_type,则必须提供类型为T::value_type的typedef类型T的类型特征,否则为T。
我已经尝试了以下实现,但是它似乎不起作用(即使存在T::value_type,typedef始终为T类型):
template <class T, class = void> struct value_type { using type = T; };
template <class T> struct value_type<T, typename T::value_type> { using type = typename T::value_type; };
template <class T> using value_type_t = typename value_type<T>::type;
std::is_same_v<value_type_t<int>, int> // true
std::is_same_v<value_type_t<std::optional<int>>, int> // false, should be true
任何的想法?
最佳答案
特化需要匹配基本模板。
基本模板具有class = void
,这意味着您的特化中的第二个参数必须为空才能匹配。
做到这一点的方法是使用std::void_t
之类的东西,无论我们放置在其中什么都将变得无效。这里唯一的目的是允许SFINAE,如果T::value_type
有效,我们总是会得到void
。
template <class T, class = void> struct value_type { using type = T; };
template <class T> struct value_type<T, std::void_t<typename T::value_type>> { using type = typename T::value_type; };
template <class T> using value_type_t = typename value_type<T>::type;
关于c++ - 输入trait以接收T::value_type(如果存在),否则为T,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/62203496/