Ключевое слово auto в C++ (начиная с C++11) позволяет компилятору автоматически выводить тип переменной из инициализирующего выражения. Это упрощает работу с длинными типами (например, при работе с итераторами, лямбдами, шаблонными выражениями) и повышает читаемость кода.
Пример использования:
auto i = 42; // int auto d = 3.14; // double auto s = std::string("hi"); auto it = v.begin(); // итератор
Однако, auto выводит тип ровно по тому, что ему "подсунули". Например, если вернуть по значению, то auto даст значение, а если по ссылке — ссылку. Следует быть осторожным при работе со ссылками, указателями, const-квалификаторами.
Важный пример:
std::vector<int> v = {1,2,3}; for (auto x : v) x = 0; // копирование, v не поменяется for (auto& x : v) x = 0; // ссылка, элементы обнулятся
Какой тип будет у переменной 'z' в выражении
const auto z = foo();если методfoo()возвращает ссылку на int (int&)?
Ответ:
const auto z выведет тип как int (значение), даже если возвращается ссылка. Для вывода ссылки нужно auto& z. Квалификаторы const применятся к авто-типу после выведения типа.
Пример:
int x = 5; auto a = x; // a — int auto& b = x; // b — int& const auto c = x; // c — const int auto d = foo(); // d — int (если foo возвращает int) auto& e = foo(); // e — int&
История
В большом веб-сервисе использовали range-based for c auto вместо auto& по коллекции умных указателей. Это приводило к копированию объектов, что замедляло программу в 16 раз при обработке миллионов записей.
История
В библиотеке работы с графами auto применяли к возвращаемому итератору, ожидая, что это будет ссылка, а получили временный объект. Итератор разрушался раньше времени, после цикла программа падала на UB.
История
В финансовой системе из-за использования auto для получения значения из map забыли про constness ключа, что привело к попытке модификации данных через неконстантную ссылку и последующим ошибкам компиляции и крэшам в рантайме.