c++ - 如何找到用于取消引用迭代器包装器的 value_type？

Question

我正在尝试定义迭代器包装器的 value_type，它取消引用包装迭代器的 value_type。

对于具有作为实际指针的 value_type 的迭代器，这是微不足道的，但我也需要它为某些“类指针”类工作。在这种情况下，value_type 应该是包装迭代器的 value_type 的运算符-> 返回的类型，无指针。

这是当前代码的一个片段，它工作正常，但是......

template <typename T>
struct remove_pointer {
    typedef typename remove_pointer<decltype(((T*)0)->operator->())>::type type;
};
template <typename T>
struct remove_pointer<T*> {
    typedef T type;
};

和

template <typename T_it>
class deref_iterator {
    typedef typename remove_pointer<
                         typename std::iterator_traits<T_it>::value_type
                     >::type value_type;
};

这工作正常，但我真的不喜欢 decltype(((T*)0)->operator->()) 获取 T< 的返回类型 的 operator->。

有没有更好的方法来完成这个？

Answer 1

我认为您当前的代码几乎没问题。如果我正在写这篇文章，我会使用 declval 而不是 (T*)0，并且我会使用解引用运算符而不是 operator->:

template <typename T>
using pointed_to_type_t =
    typename std::remove_reference<decltype(*std::declval<T>())>::type;

template <typename T_it>
class deref_iterator {
    typedef pointed_to_type_t<
        typename std::iterator_traits<T_it>::value_type> value_type;
};