实现ft::vector时自定义迭代器无法转为const_iterator问题求助

我正在复刻实现std::vector容器（命名空间为ft），但在迭代器部分遇到问题。当前random_access_iterator和vector类的实现代码如下：

namespace ft
{
    template <typename T>
    class random_access_iterator
    {
        public:
            typedef T value_type;
            typedef value_type* pointer;
            // [...]

        private:
            pointer _ptr;

        public:
            random_access_iterator( void ) : _ptr(pointer()) {}
            random_access_iterator( const random_access_iterator& src ) { *this = src; }
            random_access_iterator& operator= ( const random_access_iterator& src ) { this->_ptr = src._ptr; return *this; }
            // [...]
    };

    template<class T>
    class vector
    {
        public:
            typedef T value_type;
            typedef random_access_iterator<value_type> iterator;
            typedef random_access_iterator<const value_type> const_iterator;
            // [...]

        public:
            vector( void ) {}
            // [...]
    };
}

int main()
{
    ft::vector<int>::iterator it;
    ft::vector<int>::const_iterator cit(it);
    return 0;
}

执行ft::vector<int>::const_iterator cit(it);时触发编译错误，错误信息如下：

iterator_test.cpp: In function ‘int main()’:
iterator_test.cpp:39:47: error: no matching function for call to ‘ft::random_access_iterator<const int>::random_access_iterator(ft::vector<int>::iterator&)’
   39 |         ft::vector<int>::const_iterator cit(it);
      |                                               ^
iterator_test.cpp:16:25: note: candidate: ‘ft::random_access_iterator<T>::random_access_iterator(const ft::random_access_iterator<T>&) [with T = const int]’
   16 |                         random_access_iterator( const random_access_iterator& src ) { *this = src; }
      |                         ^~~~~~~~~~~~~~~~~~~~~~
iterator_test.cpp:16:79: note:   no known conversion for argument 1 from ‘ft::vector<int>::iterator’ {aka ‘ft::random_access_iterator<int>’} to ‘const ft::random_access_iterator<const int>&’
   16 |                         random_access_iterator( const random_access_iterator& src ) { *this = src; }
      |                                                 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~~
iterator_test.cpp:15:25: note: candidate: ‘ft::random_access_iterator<T>::random_access_iterator() [with T = const int]’
   15 |                         random_access_iterator( void ) : _ptr(pointer()) {}
      |                         ^~~~~~~~~~~~~~~~~~~~~~
iterator_test.cpp:15:25: note:   candidate expects 0 arguments, 1 provided

编译命令为c++ file.cpp -std=c++98，无法使用C++98之后的标准，需了解错误原因及与标准库行为一致的解决方法。

标准库中普通迭代器可隐式转换为对应const_iterator，但你的random_access_iterator<const int>没有接受random_access_iterator<int>的构造函数。模板类的不同实例（T=int和T=const int）是完全独立的类型，编译器无法自动完成类型转换，因此找不到匹配的构造函数。

在random_access_iterator类中添加模板构造函数，并声明友元以允许不同实例访问私有成员，具体修改如下：

namespace ft
{
    template <typename T>
    class random_access_iterator
    {
        public:
            typedef T value_type;
            typedef value_type* pointer;
            // [...]

        private:
            pointer _ptr;
            // 友元声明：允许其他模板实例访问当前实例的私有成员
            template <typename U>
            friend class random_access_iterator;

        public:
            random_access_iterator( void ) : _ptr(pointer()) {}
            random_access_iterator( const random_access_iterator& src ) : _ptr(src._ptr) {}
            
            // 模板构造函数：支持从任意可转换类型的迭代器构造当前迭代器
            template <typename U>
            random_access_iterator(const random_access_iterator<U>& src) : _ptr(src._ptr) {}
            
            random_access_iterator& operator= ( const random_access_iterator& src ) { this->_ptr = src._ptr; return *this; }
            // [...]
    };
    // [...]
}

说明 #

1. 模板构造函数：template <typename U> random_access_iterator(const random_access_iterator<U>&)允许从random_access_iterator<U>转换到random_access_iterator<T>，只要U*可隐式转换为T*（比如int*转const int*），正好满足普通迭代器转const_iterator的需求。
2. 友元声明：让不同模板实例的迭代器能够访问彼此的_ptr私有成员，确保构造函数可以直接获取源迭代器的指针。
3. 该实现完全兼容C++98标准，无需依赖后续标准特性。

内容的提问来源于stack exchange，提问作者dfarhi