Правило AUTOSAR C++ 14 A23-0-1

Итератор не должен быть неявно преобразован в const_iterator

Описание

Определение правила

Итератор не должен быть неявно преобразован в const_iterator.

Объяснение

Стандарт C++ 11 вводит функции-члены, такие какcbegin и cend возвращает итераторы const контейнерам. Чтобы создать итераторы const, используйте эти функции-члены вместо функций, таких как begin и end которые возвращают итераторы, отличные от const, а затем требуют неявных преобразований.

Например, рассмотрим std::list контейнер:

std::list<int> aList = {0, 0, 1, 2};

Вы можете использовать begin и end функции-члены контейнера для создания итераторов const, например, в for цикл:

for(std::vector<int>::const_iterator iter{aList.begin()}, end{aList.end()};
    iter != end;
    ++iter) {...}

Однако функции begin и end возврат итераторов, отличных от const, и для назначения итераторам const iter и end соответственно, должно произойти неявное преобразование. Вместо этого используйте новые функции C++ 11cbegin и cend который непосредственно возвращает итераторы const:

for(std::vector<int>::const_iterator iter{aList.cbegin()}, end{aList.cend()};
    iter != end;
    ++iter) {...}

При использовании этих функций можно также заменить явную спецификацию типа итераторов на auto:

for(auto iter{aList.cbegin()}, end{aList.cend()};
    iter != end;
    ++iter) {...}

Внедрение Polyspace

Средство проверки помечает преобразования из типа iterator кому const_iterator или reverse_iterator кому const_reverse_iterator.

Поиск неисправностей

Если вы ожидаете нарушения правила, но не видите его, обратитесь к разделу Нарушения стандартов кодирования не отображаются.

Примеры

развернуть все

Неявные преобразования в итераторы Const

#include <cstdint>
#include <vector>

void func(std::vector<int32_t> & values, int32_t aValue) {
    std::vector<int32_t>::const_iterator iter1 = 
                  std::find(values.begin(), values.end(), aValue); //Noncompliant
    std::vector<int32_t>::const_iterator iter2 = 
                  std::find(values.cbegin(), values.cend(), aValue);  //Compliant
}

В этом примере первый std::find вызов функции использует в качестве аргументов возвращаемые значения begin и end методы std::vector контейнер values. Эти методы возвращают итераторы типа std::vector<intr32_t>::iterator. С момента std::find шаблон имеет тот же тип возврата, что и типы первых двух аргументов, он также возвращает итератор типа std::vector<intr32_t>::iterator. Возвращаемое значение присваивается переменной типа std::vector<intr32_t>::const_iterator, что приводит к неявному преобразованию.

Второй вызов использует cbegin и cend методы, возвращающие итераторы типа std::vector<intr32_t>::const_iterator и избегайте неявного преобразования.

Проверить информацию

Группа: Библиотека поддержки языка

Категория: Обязательно, Автоматизировано

См. также

Check AUTOSAR C++ 14 (-autosar-cpp14)

Темы

Проверка нарушений стандартов кодирования

Представлен в R2020a

Документация