C ++ Как сделать преобразование из итератора в const_iterator для собственного класса итератора? - PullRequest
Новая
       9

C ++ Как сделать преобразование из итератора в const_iterator для собственного класса итератора?

0 голосов
/ 18 июня 2020

Я пишу вектор, подобный STL, и класс итератора для него. И сегодня, когда писал erase fun c, который принимает const_iterator, выяснилось, что нет разговора от итератора к const_iterator. Я попытался найти некоторую информацию, но все еще не знаю, как это сделать. Но у STL vector это как-то получается. Мой класс Iterator: 

template<typename VectorDataType>
class Iterator{
    public:
            using value_type = VectorDataType;
            using difference_type = int;
            using pointer = VectorDataType*;
            using reference = VectorDataType&;
            using iterator_category =  std::random_access_iterator_tag;
   public:
            explicit Iterator(VectorDataType* ptr = nullptr)
               : ptr(ptr){}
             Iterator(const Iterator<VectorDataType>& iter)
                : ptr(iter.ptr){}
            ~Iterator() {ptr = nullptr;}

             template<template<typename Y> class Alloc>
             operator typename Vector<VectorDataType, Alloc>::const_iterator (){
                   typename Vector<VectorDataType, Alloc>::const_iterator citer(*this);
                 return citer;
             }

            Iterator& operator=(VectorDataType* rhs) {this->ptr = rhs; return *this;}
            Iterator& operator=(const Iterator& rhs) {this->ptr = rhs.ptr; return *this;}


            operator bool() const{
                bool result = (this->ptr) ? true : false;
                return result;
            }

            bool operator==(const Iterator<VectorDataType>& iter) const{
                    return this->ptr == iter.ptr;
            }
            bool operator!=(const Iterator<VectorDataType>&iter) const{
                return this->ptr != iter.ptr;
            }

            bool operator<(const Iterator<VectorDataType>& iter)const {
                return this->ptr < iter.ptr;
            }
            bool operator>(const Iterator<VectorDataType>& iter)const {
                return this->ptr > iter.ptr;
            }

            bool operator<=(const Iterator<VectorDataType>& iter)const {
                return this->ptr <= iter.ptr;
            }
            bool operator>=(const Iterator<VectorDataType>& iter)const {
                return this->ptr >= iter.ptr;
            }

            Iterator<VectorDataType>& operator+=(const difference_type& offset){
                this->ptr +=  offset;
                return *this;
            }
            Iterator<VectorDataType>& operator-=(const difference_type& offset){
                this->ptr -= offset;
                return *this;
            }

            Iterator<VectorDataType>& operator++(){
                this->ptr++;
                return *this;
            }
            Iterator<VectorDataType>& operator--(){
                this->ptr--;
                return *this;
            }

            Iterator<VectorDataType> operator++(int){
                Iterator<VectorDataType> temp(*this);
                this->ptr++;
                return temp;
            }
            Iterator<VectorDataType> operator--(int){
                Iterator<VectorDataType> temp(*this);
                this->ptr--;
                return temp;
            }

            Iterator<VectorDataType> operator+(const difference_type&offset) const{
                VectorDataType* newPtr = ptr;
                newPtr += offset;
                return Iterator{newPtr};
            }
            Iterator<VectorDataType> operator-(const difference_type&offset) const{
                VectorDataType* newPtr = ptr;
                newPtr -= offset;
                return Iterator{newPtr};
            }

            difference_type operator-(const Iterator<VectorDataType>& iter)const{
                return std::distance(iter.ptr, this->ptr);
            }

            VectorDataType& operator*(){return  *ptr;}
            const VectorDataType& operator*()const{return  *ptr;}
            VectorDataType* operator->(){return ptr;}


            VectorDataType& operator[](int offset){
                return ptr[offset];
            }


   private:
        VectorDataType* ptr;
};

Основной код: 

auto list = {1, 2, 3, 4, 5, 6, 7, 8, 9};
    Vector<int> vec(list);

    for(auto&i: vec)
       std::cout << i << "\t";

    auto iter = vec.begin();
    iter++;
    iter++;
    iter++;

    auto pos = vec.erase(iter);

    for(auto&i: vec)
       std::cout << i << "\t";

определение стирания: 

iterator erase(const_iterator pos);

Журнал консоли: 

g++ -c -pipe -g -std=gnu++1z -Wall -Wextra -fPIC  -I../MyVector -I. -I../../Qt/5.14.1/gcc_64/mkspecs/linux-g++ -o main.o ../MyVector/main.cpp
../MyVector/main.cpp: In function ‘int main()’:
../MyVector/main.cpp:49:30: error: no matching function for call to ‘Vector<int>::erase(Iterator<int>&)’
     auto pos = vec.erase(iter);
                              ^
In file included from ../MyVector/main.cpp:2:0:
../MyVector/MyVector.h:601:21: note: candidate: Vector<T, Allocator>::iterator Vector<T, Allocator>::erase(Vector<T, Allocator>::const_iterator) [with T = int; Allocator = std::allocator; Vector<T, Allocator>::iterator = Iterator<int>; Vector<T, Allocator>::const_iterator = Iterator<const int>]
            iterator erase(const_iterator pos){
                     ^~~~~
../MyVector/MyVector.h:601:21: note:   no known conversion for argument 1 from ‘Iterator<int>’ to ‘Vector<int>::const_iterator {aka Iterator<const int>}’
../MyVector/MyVector.h:618:21: note: candidate: Vector<T, Allocator>::iterator Vector<T, Allocator>::erase(Vector<T, Allocator>::const_iterator, Vector<T, Allocator>::const_iterator) [with T = int; Allocator = std::allocator; Vector<T, Allocator>::iterator = Iterator<int>; Vector<T, Allocator>::const_iterator = Iterator<const int>]

Если вы хотите увидеть весь код, вот ссылка на github: https://github.com/RRRadicalEdward/Vector/blob/master/MyVector.h

Ответы [ 2 ]

1 голос
/ 18 июня 2020

Проблема с вашим оператором неявного преобразования заключается в том, что он помещает параметр шаблона-шаблона Alloc в невыведенный контекст , то есть оставленный оператору области видимости: 

template <template <typename Y> class Alloc>
operator typename Vector<VectorDataType, Alloc>::const_iterator() {
//                           non-deduced ~~~~^
    typename Vector<VectorDataType, Alloc>::const_iterator citer(*this);
    return citer;
}

Таким образом, компилятор не может применить это преобразование. Попробуйте изменить его на: 

operator Iterator<const VectorDataType>() const {
    Iterator<const VectorDataType> citer(ptr);
    return citer;
}

Обратите внимание, что аргумент вызова конструктора является указателем, а не самим итератором (*this).

1 голос
/ 18 июня 2020

Так же, как и все пользовательские преобразования:

Либо

  • неявный конструктор преобразования в целевом типе, либо
  • оператор неявного преобразования в исходном типе
...