标签：c c11 templates sfinae typetraits

我想要的东西具有类似于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结合使用,但坦率地说,如果解决问题没有那么简单的方法,我宁愿试试一种完全不同的方法.

解决方法:

使用默认为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;

标签：c,c11,templates,sfinae,typetraits
来源： https://codeday.me/bug/20190830/1770137.html

本站声明： 1. iCode9 技术分享网（下文简称本站）提供的所有内容，仅供技术学习、探讨和分享；
2. 关于本站的所有留言、评论、转载及引用，纯属内容发起人的个人观点，与本站观点和立场无关；
3. 关于本站的所有言论和文字，纯属内容发起人的个人观点，与本站观点和立场无关；
4. 本站文章均是网友提供，不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属；如您发现该文章侵犯了您的权益，可联系我们第一时间进行删除；
5. 本站为非盈利性的个人网站，所有内容不会用来进行牟利，也不会利用任何形式的广告来间接获益，纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。