c++ 自定义迭代器 const 转换正确完成

Question

我尝试为自定义容器实现与 std 兼容的自定义迭代器的复制构造函数。 容器看起来像这样：

template <typename T, Alloc>
class container {
    template <typename ValueType>
    class raw_iterator;
    
    ...
    using value_type = T;
    ...

    using iterator = raw_iterator<value_type>
    using const_iterator = raw_iterator<const value_type>
    ...
}

raw_iterator 看起来像这样：

template <typename T, Alloc>
template <typename ValueType>
class container<T, Alloc>::raw_iterator {
    ...
}

如果我是对的，我必须为迭代器和 const_iterator 都实现一个复制构造函数，以便可以将迭代器复制到相同的类型，并且可以将普通迭代器复制到 const_iterator。
如何实现？

PS：我必须在复制构造函数中提供一些功能，所以我不能使用隐式生成的构造函数。

Answer 1

您可以为 const_iterator 创建一个隐式构造函数，该构造函数将迭代器作为参数。然后一切都会“正常工作”。

这是我认为您想要的示例：

#include <type_traits>

template <typename ValueType>
class raw_iterator {
  public:
    // Typedefs
    using non_const_value_type = std::remove_const_t<ValueType>;
    using const_value_type = std::add_const_t<non_const_value_type>;

    // Constructor - Need extra template argument here to allow SFINAE to work.
    template <class U = ValueType,
      std::enable_if_t<std::is_same<U, const_value_type>::value, int> = 0>
    raw_iterator (raw_iterator<non_const_value_type> const & other) {
      // Do stuff.
    }

  private:
    // Friends - Make raw_iterator<X> friend of raw_iterator<X const>
    friend std::conditional_t<
        std::is_same<ValueType, non_const_value_type>::value,
        raw_iterator<const_value_type>, void
      >;
};

有一个条件构造函数采用 raw_iterator<AnythingNonConst>，仅当 raw_iterator 自己的寺庙类型为 AnythingConst 时才存在。

此外，raw_iterator<AnythingNonConst> 是raw_iterator<AnythingConst> 的朋友，但反之则不然。所以你可以在条件构造函数中复制你想要的任何成员。

这是一个在线示例：https://wandbox.org/permlink/8gDzHyheIrpsTL5y。