Remove_pointer类比，适用于任何支持operator*的对象

remove_pointer analog that works for anything that supports operator*

本文关键字：operator 支持 对象 任何 适用于 pointer 类比 Remove      更新时间：2023-10-16

我想有类似于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和/或类型特征。这个问题的答案描述了如何测试一个特定的类型是否有一个特定的成员，我想我可以使用其中一个建议结合enable_if，但坦率地说，如果没有不那么难看的方法来解决这个问题，我宁愿尝试一个完全不同的方法。

使用默认为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;
相关文章：