Почему ссылка на элемент vector может внезапно сломаться?

Иногда хочется сохранить ссылку на элемент, а потом продолжить добавлять данные:

std::vector<int> nums{10, 20};

int& first = nums[0];
nums.push_back(30);

На вид всё спокойно: ссылка указывает на первый элемент.

Но если при push_back() вектору не хватит места, он выделит новый блок памяти и перенесёт туда элементы.

После этого старая ссылка уже невалидна:

std::cout << first;

Такой код может вывести старое значение, мусор или вообще повести себя непредсказуемо.

Если нужно хранить позицию, безопаснее сохранить индекс:

std::size_t index = 0;

nums.push_back(30);
std::cout << nums[index];

А если заранее понятно, сколько элементов будет добавлено, можно уменьшить риск перераспределения:

nums.reserve(100);

В std::vector ссылки, указатели и итераторы могут стать невалидными после роста контейнера. Если контейнер меняется лучше хранить индекс или заново получать элемент.

📣 C++ Ready | #совет

Почему std::vector<bool> может вести себя странно?

На первый взгляд vector<bool> выглядит как обычный vector, только для логических значений. Кажется, что каждый элемент там настоящий bool.

Но у этого контейнера есть специальная оптимизация. Он может хранить значения битами, поэтому обращение к элементу возвращает не bool&, а proxy-объект.

Обычный код выглядит нормально:

std::vector<bool> flags = {true, false};

flags[1] = true;

Проблемы начинаются, когда хочется взять ссылку на элемент:

auto& item = flags[0];

Такой код может не сработать так, как ожидается, потому что flags[0] не является настоящей ссылкой на bool.

Даже auto может скрыть нюанс:

auto item = flags[0];
item = false;

Здесь item часто остаётся proxy-объектом, который связан с контейнером. Код читается как работа с копией, но на деле может менять исходный vector.

Если нужен обычный массив флагов без таких сюрпризов, часто проще взять другой тип:

std::vector<char> flags;
std::vector<uint8_t> mask;

А если важна компактная битовая упаковка, лучше явно показать намерение:

std::bitset<64> flags;

vector<bool> не запрещён, но его лучше не воспринимать как обычный vector<T>. Особенно в шаблонном коде, где ожидаются настоящие ссылки на элементы.

📣 C++ Ready | #совет

Сильная статья про high performance на C++ для CPU!

Автор объясняет, как подходить к ускорению кода. Разбирается CPU, кеши, профилирование, бенчмарки, sanitizers и понимание узких мест.

В статье автор показывает:
• почему сначала нужно искать bottleneck
• как кэш CPU и доступ к памяти влияют на скорость
• зачем нужны бенчмарки, профилирование и санитайзеры

Продолжай читать на Habr

📣 C++ Ready | #статья

Шпаргалка по smart pointers в C++!

Например, std::unique_ptr показывает единственное владение объектом, std::shared_ptr разделяет владение через счётчик ссылок, а std::weak_ptr помогает наблюдать объект без продления его жизни.

На картинке собраны основные правила работы со smart pointers. Есть std::unique_ptr, std::shared_ptr, std::weak_ptr, make_unique, make_shared, custom deleters, lock, reset, get и важные нюансы владения.

Сохрани, чтобы не потерять!

📣 C++ Ready | #ресурс

Собираем простой dispatcher команд на C++!

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

Например, так легко получить длинный блок условий:

if (cmd == "build") build();
else if (cmd == "clean") clean();
else if (cmd == "status") status();

Когда команд становится больше, такой код сложнее расширять и тестировать. Удобнее явно завести таблицу команд.

Опишем тип обработчика:

using Handler = void (*)();

Теперь можно собрать словарь:

std::unordered_map commands{
    {"build", build},
    {"clean", clean},
    {"status", status}
};

Вызов становится коротким и одинаковым для всех команд:

auto it = commands.find(cmd);

if (it != commands.end()) {
    it->second();
}

Если команда не найдена, можно отдельно обработать ошибку:

if (it == commands.end()) {
    std::cout << "unknown command\n";
    return;
}

Такой dispatcher удобно использовать в CLI-утилитах, тестовых меню, админских командах и маленьких инструментах. Новая команда добавляется одной строкой в таблицу, а не ещё одной веткой в середине логики.

📣 C++ Ready | #практика