c – remove_pointer analog适用于任何支持operator *的东西

[weixin_38078374]

我想要的东西具有类似于std :: remove_pointer的语义,但除了真正的指针之外,还适用于指针类.当然,我可以列举已知的可能性： // Important: remove_pointer_ex<T>::type should evaluate to T // if T::operator* is not defined (like std::remove_pointer) template<typename T> struct remove_pointer_ex { typedef T type; }; template<typename T> struct remove_pointer_ex<T*> { typedef T type; }; template<typename T> struct remove_pointer_ex<std::shared_ptr<T>> { typedef T type; }; template<typename T> struct remove_pointer_ex<std::unique_ptr<T>> { typedef T type; }; // and then again for all the different cv combinations 但我真的很喜欢一种适用于任何支持operator *的类的方法. 看起来这应该是可行的使用SFINAE和/或类型特征. this question的答案描述了如何测试特定类型是否具有特定成员,并且我想我可以将这些建议中的一个与enable_if结合使用,但坦率地说,如果解决问题没有那么简单的方法,我宁愿试试一种完全不同的方法.

[weixin_38108998]

使用默认为T的类型特征但更喜欢std :: remove_reference< decltype(* T)>当它有效时(Live at Coliru)： template <typename T> class remove_pointer_ { template <typename U=T> static auto test(int) -> std::remove_reference<decltype(*std::declval<U>())>; static auto test(...) -> std::remove_cv<T>; public: using type = typename decltype(test(0))::type; }; template <typename T> using remove_pointer = typename remove_pointer_<T>::type;