Почему после placement new “старый указатель” может начать врать?

В низкоуровневом коде иногда создают объект прямо в заранее выделенной памяти: S* p = new (storage) S(1);. Это placement new — объект живёт в буфере, а не в куче.

Проблема начинается, когда ты вручную заканчиваешь жизнь объекта и создаёшь новый в той же памяти:

p->~S();

и сразу после этого:

new (storage) S(2);

Логически кажется: “адрес тот же, значит p снова указывает на актуальный объект”. Но по правилам C++ это уже другой объект с новой lifetime, и компилятор имеет право оптимизировать так, будто через p ты всё ещё обращаешься к старому (особенно в сложных сценариях внутри шаблонов/контейнеров).

std::launder (C++17) — это способ “перепривязать” указатель к новому объекту и дать компилятору понять, что в этой памяти теперь другая сущность:

S* q = std::launder(p);

После этого чтение через q->x считается корректным и не ломается оптимизациями.

🔥 Если у тебя обычный прикладной код без ручного управления временем жизни объектов — скорее всего он тебе никогда не понадобится.

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

☕️ Clang-Tidy — “линтер” для C++ на базе Clang с автофиксом проблем!

Официальная документация Extra Clang Tools: clang-tidy помогает находить и исправлять типичные ошибки в коде — от нарушений стиля и misuse интерфейсов до багов, которые можно вывести статическим анализом.

📌 Оставляю ссылочку: clang-tidy

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

std::byte: честные “сырые байты” вместо char/uint8_t!

Он помогает не путать бинарные данные с текстом и не ловить случайную арифметику над “байтами”.

Часто под байты берут uint8_t или char:

void send(const std::vector<uint8_t>& data);

int main() {
    std::vector<uint8_t> buf = {0x48, 0x65, 0x6C, 0x6C, 0x6F};
    send(buf);
}

Проблема в том, что такие типы легко начинают жить как “маленькие числа” или “символы”: кто-то делает buf[i] + 1, кто-то печатает как текст, и смысл буфера расползается.

В C++17 для этого есть std::byte — отдельный тип именно для бинарщины.
С ним нельзя случайно делать арифметику, зато можно явно делать побитовые операции.

Как хранить и передавать байты:

void send(std::span<const std::byte> data);

int main() {
    std::vector<std::byte> buf = {
        std::byte{0x48}, std::byte{0x65}, std::byte{0x6C},
        std::byte{0x6C}, std::byte{0x6F}
    };
    send(buf);
}

Если нужно получить число — делай это явно:

#include <bit>
std::byte b{0xFF};
int x = std::to_integer<int>(b);

🔥 std::byte делает работу с бинарными данными ясной: меньше неявных превращений, меньше путаницы “текст vs байты”, больше контроля.

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

📂 Шпаргалка по IP-адресам!

Например, 192.168.x.x — для домашней сети, а 10.x.x.x — для крупных корпоративных систем. CIDR (/24, /16, /8) — помогает точно задать размер подсети и количество хостов.

На картинке — всё, что нужно знать про IP: диапазоны, маски, специальные адреса, публичные DNS и основы IPv6.

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

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

Почему vector{10, 1} и vector(10, 1) — это разные контейнеры?

На вид разница “всего лишь в скобках”, но смысл радикально меняется.

Круглые скобки выбирают конструктор “размер + значение”, то есть создают 10 элементов со значением 1:

std::vector<int> a(10, 1);

А фигурные скобки в первую очередь пытаются попасть в конструктор с std::initializer_list, который трактует аргументы как список элементов. Поэтому тут создаётся вектор из двух элементов: 10 и 1:

std::vector<int> b{10, 1};

Это ловушка потому, что initializer_list при наличии часто “побеждает” другие перегрузки — и ты получаешь не тот контейнер, который ожидал.

🔥 Если ты хочешь “N одинаковых элементов” — используй (n, value). Если хочешь “конкретные элементы” — используй {...}

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

🧐 Шпаргалка по std::string_view!

На картинке — компактная памятка по std::string_view: что это лёгкий, не владеющий памятью и read-only “вид” на строку/массив символов, как его удобно передавать в функции без лишних копий, и какие методы чаще всего используются

Отдельно подсвечены важные моменты: string_view отлично подходит для подстрок и диапазонов без копирования, но нужно следить за временем жизни исходной строки — view может “пережить” данные и стать висячим.

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

CppDeveloperRoadmap — репозиторий, в котором собраны книги, идеи для пэт-проектов и полезные ресурсы для изучения. Все материалы разбиты на уровни junior, middle и senior.

Оставляю ссылочку: Github 📱

📣 C++ Ready | #репозиторий

std::span + subspan(): “нарезай” буфер на части без копий и лишних new!

Это особенно удобно для протоколов и парсинга, где есть заголовок, тело и хвост.

Часто делают так: копируют куски в новые контейнеры.

std::vector<uint8_t> header(const std::vector<uint8_t>& buf, size_t n) {
    return {buf.begin(), buf.begin() + n};
}

std::vector<uint8_t> payload(const std::vector<uint8_t>& buf, size_t n) {
    return {buf.begin() + n, buf.end()};
}

Проблема в том, что это лишние аллокации и копирование: на каждом разрезе создаётся новый буфер, а в горячем коде парсинга это быстро становится дорогим.

std::span не владеет памятью, зато позволяет сделать “вид” на нужный участок, и subspan() как раз возвращает такой срез.

Вместо копий — просто виды на исходный буфер:

struct PacketView {
    std::span<const std::uint8_t> hdr;
    std::span<const std::uint8_t> body;
};

PacketView split(std::span<const std::uint8_t> buf, std::size_t n) {
    return {
        buf.subspan(0, n),
        buf.subspan(n)
    };
}

Использование выглядит так же просто:

int main() {
    std::vector<std::uint8_t> buf = {1,2,3,4,5,6,7,8};

    auto p = split(buf, 3);
    // p.hdr -> {1,2,3}
    // p.body -> {4,5,6,7,8}
}

Важно помнить: span живёт только пока живут исходные данные, поэтому нельзя возвращать span на временный объект или локальный буфер, который скоро уничтожится.

🔥subspan() — это “срез без копии”: идеально для парсинга и разборки буферов, когда нужно быстро выделять части и не плодить новые вектора.

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

☕️ Отличная статья — про то, как в RESTinio устроены “многоэтажные” шаблоны и зачем они нужны!

В этой статье:
• Понять, зачем в сервере столько уровней шаблонов вообще
• Увидеть, как через типы собирается конфигурация API сервера
• Разобраться, как шаблоны уменьшают бойлерплейт без рантайма лишнего

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

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