Что такое range-based for loops и structured bindings?

Range-based for loops

Range-based for (C++11) — синтаксический сахар над итераторами. Компилятор разворачивает его в эквивалент с begin() и end():

#include <vector>
#include <map>
#include <string>
#include <iostream>

int main() {
    std::vector<int> nums = {1, 2, 3, 4, 5};

    // Копирует каждый элемент — дорого для больших объектов
    for (int x : nums) {
        std::cout << x << ' ';
    }

    // Константная ссылка — без копирования, без изменения
    for (const int& x : nums) {
        std::cout << x << ' ';
    }

    // Изменяемая ссылка — позволяет менять элементы
    for (int& x : nums) {
        x *= 2;
    }

    // C++20: явный initializer, чтобы продлить жизнь временного объекта
    // for (auto&& elem : getVector()) { ... }  // безопасно с auto&&
}

Structured bindings (C++17)

Structured bindings позволяют распаковать агрегат (массив, std::pair, std::tuple, или любой тип с правильным get<>) в именованные переменные. Это делает код на порядок читаемее.

#include <map>
#include <string>
#include <tuple>
#include <iostream>

std::tuple<int, std::string, double> getData() {
    return {42, "Alice", 3.14};
}

int main() {
    // Распаковка tuple
    auto [id, name, score] = getData();
    std::cout << id << ' ' << name << ' ' << score << '\n';

    // Распаковка pair
    std::map<std::string, int> scores = {{"Alice", 95}, {"Bob", 87}};

    // До C++17: for (const auto& kv : scores) { kv.first / kv.second }
    // C++17: читаемо и явно
    for (const auto& [key, value] : scores) {
        std::cout << key << ": " << value << '\n';
    }

    // Распаковка массива
    int arr[3] = {10, 20, 30};
    auto [a, b, c] = arr;
    std::cout << a << ' ' << b << ' ' << c << '\n';

    // Изменяемые bindings
    std::map<std::string, int> counter = {{"x", 0}};
    for (auto& [key, val] : counter) {
        val++;  // изменяет значение в map
    }
}

Как это работает под капотом

Компилятор генерирует скрытую переменную __range для всего диапазона, а structured binding создаёт ссылки или копии элементов — в зависимости от того, написано ли auto, auto& или const auto&. Для пользовательских типов нужно реализовать get<N>, std::tuple_size и std::tuple_element.

Подводные камни

• Копирование по значению: for (auto x : vec) копирует каждый элемент — для строк и больших объектов всегда используйте const auto& или auto&.
• Модификация контейнера внутри цикла: добавление/удаление элементов из vector при итерации инвалидирует итераторы — это неопределённое поведение.
• Временный объект в range-выражении: for (auto x : getVec()) — если getVec() возвращает значение, оно живёт до конца всего цикла (C++11 это гарантирует), но для string_view это ловушка.
• Structured bindings — не переменные: нельзя написать auto [a, b] = ...; auto [a, c] = ...; в одном scope — имена конфликтуют.
• Отсутствие индекса: range-based for не даёт индекс итерации напрямую; нужен внешний счётчик или std::views::enumerate (C++23).
• Structured bindings и if-constexpr: нельзя использовать binding в шаблонном if-constexpr без дополнительных ухищрений до C++20.
• auto&& для универсальных ссылок: в generic-коде лучше писать auto&&, чтобы не делать лишних копий при итерации по возвращаемым значениям.

• Объяснять range-for и structured bindings только по синтаксису, без жизненного цикла и стоимости.
• Игнорировать ошибки, null/empty состояния, порядок инициализации или режим сборки.
• Давать пример, который работает в демо, но ломается при изменении владельца ресурса.
• Показывать сырой указатель без объяснения владельца и момента освобождения.

• Кандидат формулирует точную модель для range-for и structured bindings, а не только определение.
• Пример компилируем, безопасен по lifetime и соответствует версии технологии.
• Названы trade-off, ограничения и диагностируемые симптомы ошибки.