4

Предыстория: на моей машине установлена ОС Ubuntu, версия gcc - 5.4.0. Я свободно могу вызывать метод erase (для переменной типа std::vector, например) передавая ей параметром const_iterator на элемент, подлежащий удалению. На другой машине стоит та же ОС Ubuntu, но стоит gcc версии 4.8.4 - и, как я понял, в этой версии (хотя она и поддерживает компиляцию с флагом std=c++11) метод erase принимает только iterator.

В общем, код выглядит так:

void SomeoneClass::method( ... )
{
    Subscribers::const_iterator pos = anotherMethod( ... );
    if( pos != m_subscribers.end() )
    {
        m_subscribers.erase( pos );
    }
}

Я решил добавить проверку на используемую версиюю gcc, вроде

#if defined( __GNUC__ ) && ( __GNUC__ < 5 )
    // тут получаем номер элемента через pos и т.д
#else
    Subscribers::const_iterator pos = anotherMethod( ... );
    if( pos != m_subscribers.end() )
    {
        m_subscribers.erase( pos );
    }
#endif

Тут возникли вопросы:

  1. Вправе ли я делать подобное сравнение: const_iterator pos != container.end() ?
  2. Как правильно получить номер элемента через const_iterator, а затем по этому номеру получить итератор ? (напомню, gcc 4.8) Что-то вроде этого:

Subscribers::difference_type itemPos = pos - m_subscribers.begin();
Subscribers::iterator it = m_subscribers.begin() + itemPos;

UPD: прошу прощения. Рассматриваем не std::vector, а std::list

2
  • Для всех контейнеров поведение итераторов при const-преобразовании одинаково.
    – aleks.andr
    15 дек 2016 в 6:01
  • @aleks.andr, спасибо, на мой основной вопрос Вы ответили. Что касается того момента, почему я указал конкретный контейнер - это 2 вопрос, и тут реализация, думаю, будет зависеть от типа контейнера.
    – isnullxbh
    15 дек 2016 в 6:03

2 ответа 2

7

В стандартной библиотеке C++ присутствует возможность получения объекта const_iterator из iterator.

Вероятнее всего (не силён в деталях реализации) используется примерно такой конструктор const_iterator<T>(iterator<T>) {...} без указания explicit, но заметьте: обратное преобразование (iterator<T>(const_iterator<T>)) недопустимо.

Таким образом в коде

const_iterator pos != container.end()

итератор end() неявно преобразуется в константный итератор.

Пример программы:

#include <vector>
#include <iostream>

using namespace std;

int main(int /*argc*/, char** /*argv*/)
{
    vector<int> v;
    v.resize(5);

    vector<int>::iterator it = v.begin(); // получаем итератор
    vector<int>::const_iterator ct = v.begin(); // получаем константный итератор                                                                                                                               
    cout << "it == ct ? " << (it == ct ? "True" : "False") << endl; // сравниваем константный итератор с неконстантным (it будет приведён в const_iterator)                                                                                                           
    vector<int>::const_iterator ct2 = it; // получаем константный итератор из неконстантного                                                                                                                                     
    cout << "ct2 == begin() ? " << (ct2 == v.begin() ? "True" : "False") << endl; // сравниваем константный итератор с неконстантным (begin() будет приведён в const_iterator)                                                                                             
    cout << "it == const begin() ? " << (it == const_cast<const vector<int>&>(v).begin() ? "True" : "False") << endl; // сравниваем константный итератор с неконстантным (it будет приведён в const_iterator) 
//  а вот так сделать уже не получится:                                                        
//    vector<int>::iterator it2 = ct; // попытаемся получить неконстантный итератор из константного                                                                                                                                      
    return 0;                                                                                                                                                                  
}

UPD: В стандарт c++11 контейнерам были добавлены функции для получения const_iterator без дополнительных преобразований:

// замените container на нужный вам конкретный тип:
const_iterator container.cbegin()
const_iterator container.cend()
6

Насколько мне известно, в C++ 2003 вы могли с методом erase использовать лишь неконстантные итераторы. В C++ 2011 это положение изменили, и стало возможным вызывать метод erase с константными итераторами.

Сама функция-член класса erase не является константной, а потому не важно, какой итератор ей передали. Итератор лишь задает позицию того элемента, который должен быть удален. Сам элемент не изменяется, используя этот итератор.

Сравните. Вы можете динамически создавать константный объект. Например,

const int *pi = new int( 10 );

Но, как вы его создали, так вы его можете и удалить, используя тот же самый указатель с квалификатором const.

delete pi;

Другое дело, если бы вы попытались изменить созданный объект, используя этот указатель, как, например,

*pi = 20;

то компилятор бы выдал сообщение об ошибке, так как нельзя менять константный объект.

Вы можете сравнивать константный и не константный итераторы, так как не константный итератор неявно может быть преобразован к константному итератору.

Что касается вопроса

Как правильно получить номер элемента через const_iterator, а затем по этому номеру получить итератор ? (напомню, gcc 4.8) Что-то вроде этого:

то имеется стандартная функция std::distance объявленная в заголовке <iterator>, которая позволяет вычислить позицию, имея итератор. Например, если вы имеете список

std::list<int> lst { 1, 2, 3, 4, 5 };

и нашли элемент со значением 3, используя стандартный алгоритм std::find

auto it = std::find( lst.begin(), lst.end(), 3 );

то вы может определить позицию найденного элемента в списке следующим образом

auto pos = std::distance( lst.begin(), it );

Однако для контейнеров, которые не имеют итераторов произвольного доступа, как это имеет место со стандартным контейнером std::list, данная операция не эффективна. Просто функция последовательно пройдется по всему списку, пока не дойдет до заданного итератора. Это может выглядеть следуюшим образом

std::list<int>::size_type pos = 0;

for ( auto current = lst.begin(); current != it; ++current )
{
    ++pos;
}

Имея начальный итератор и заданную позицию, вы можете получить соответствующий позиции итератор с помощью функций std::advance или функций std::next и std::prev, которые также объявлены в заголовке <iterator>.

Например, имея начальный итератор и позицию pos, вычисленную ранее, вы можете получить итератор it, следующим образом

auto it = std::next( lst.begin(), pos );

Однако вы должны быть осторожны, вызывая эту функцию, так как она не проверяет, является ли значение переменной pos корректным, и не будет ли выход за пределы допустимого диапазона для итераторв для заданного контейнера.

3
  • Спасибо, плюс поставил. Что касается метода erase - я написал, почему приходится использовать эти преобразования - реализация gcc 4.8 допускает вызов erase только с параметром типа iterator&.
    – isnullxbh
    15 дек 2016 в 6:26
  • @isnullxbh Обычно все новые изменения в стандарте языка C++ компиляторами внедряются постепенно, и это может занять даже годы.:) 15 дек 2016 в 6:29
  • А еще, нужны годы, чтобы заставить некоторых товарищей поставить новые версии ПО :)
    – isnullxbh
    15 дек 2016 в 6:45

Ваш ответ

By clicking “Отправить ответ”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.