🔄 std::transform: функциональный стиль в C++

Преобразует диапазон элемент за элементом

std::vector<int> a = {1,2,3};
std::vector<int> b(3);

std::transform(a.begin(), a.end(), b.begin(), [](int x){ return x * 2; });

Особенности:

— Применять лямбды к контейнерам

— Копировать с изменением

— Комбинировать два диапазона

std::transform(a.begin(), a.end(), c.begin(), std::back_inserter(out), std::plus<>{});

⌨️ Если пишете цикл для каждого элемента — почти всегда можно заменить на std::transform.

🎯 auto и const: подводный камень

const int x = 10;
auto a = x;
auto& b = x;

Что здесь происходит?

a — копия, const отброшен

b — ссылка на const int

💡 auto отбрасывает const и ссылку, если они не указаны явно

😉 Move ≠ Copy

std::string a = "hello";
std::string b = std::move(a);

Многие думают, что a очищается. Это не совсем так...

🔍 RAII и исключения

void f() {
    std::lock_guard<std::mutex> g(m);
    throw std::runtime_error("error");
}

🌃 virtual деструктор

struct Base {
    ~Base() = default;
};

struct Derived : Base {
    ~Derived() { std::cout << "dtor\n"; }
};

Base* b = new Derived;
delete b;

💻 std::vector и инвалидирование

std::vector<int> v = {1,2,3};
auto it = v.begin();
v.push_back(4);

❔ CRTP vs virtual

CRTP (Curiously Recurring Template Pattern) — идиома проектирования, при которой шаблон класса принимает производный класс в качестве параметра шаблона

template<typename D>
struct Base
{
    void call() { static_cast<D*>(this)->impl(); }
};

🤯 Работа с auto

int x = 10;
auto f() { return (x); }

🔍 Есть ли ошибка в коде ниже?

std::string_view f() {
    return std::string("hello");
}