Оглавление
V834. Incorrect type of a loop variable. This leads to the variable binding to a temporary object instead of a range element.
Анализатор обнаружил ситуацию, в которой на каждой итерации цикла происходит неявное копирование элементов контейнера. При этом программист предполагал, что переменная цикла ссылочного типа будет связываться с элементами контейнера без копирования. Это происходит из-за несоответствия типов переменной цикла и элементов контейнера.
Рассмотрим пример:
void foo(const std::unordered_map<int, std::string>& map)
{
for (const std::pair<int, std::string> &i : map)
{
std::cout << i.second;
}
}В данном фрагменте кода разработчик хочет перебрать в цикле все элементы контейнера 'std::unordered_map' и напечатать значения в поток вывода. Однако тип элементов не 'std::pair<int, std::string>', как ожидалось разработчиком, а 'std::pair<const int, std::string>'. Несоответствие аргументов шаблона 'std::pair' приводит к тому, что каждый элемент контейнера будет неявно конвертироваться ко временному объекту типа 'std::pair<const int, std::string>', а затем ссылка привязывается к нему.
Решить эту проблему можно двумя способами:
Первый способ. Использовать правильный тип переменной цикла. В общем случае достаточно посмотреть, значение какого типа возвращает итератор используемого контейнера при разыменовании (operator *).
void foo(const std::unordered_map<int, std::string> &map)
{
for (const std::pair<const int, std::string> &i : map)
{
std::cout << i.second;
}
}Второй способ. Использовать тип 'auto' для автоматического вывода типа элементов контейнера.
void foo(const std::unordered_map<int, std::string> &map)
{
for (const auto &i : map)
{
std::cout << i.second;
}
}Очевидно, что второй способ является более удобным, так как сокращает количество кода и исключает возможность написания неправильного типа.
Была ли полезна эта страница документации?
