Библиотека C/C++ разработчика | cpp, boost, qt: “😮 Проекции и функции-члены Проекция — не обязательно указатель на пол…”

😮 Проекции и функции-члены

Проекция — не обязательно указатель на поле. Это может быть указатель на функцию-член или обычная лямбда — главное, чтобы результат вызова можно было сравнивать компаратором.

🥤 Указатель на метод как проекция

std::vector<std::string> words = {"hello", "WORLD", "cpp"};

// Сортируем по длине строки
std::ranges::sort(words, std::less{}, &std::string::size);
// "cpp"(3), "hello"(5), "WORLD"(5)

Механика та же, что и с полями: std::invoke разворачивает &std::string::size в вызов s.size() для каждого элемента. Алгоритму без разницы, поле перед ним или метод — лишь бы было что вызвать.

‼️ Заметьте: "hello" и "WORLD" оба длины 5, и после сортировки остались в исходном порядке относительно друг друга — std::ranges::sort в общем случае не гарантирует стабильность (в отличие от stable_sort), но для проекций это работает точно так же, как для обычного сравнения.

🥑 Метод как предикат

bool all_nonempty = std::ranges::all_of(words, &std::string::size);

Тут проекция подменяет собой ещё и предикат: all_of без явного предиката просто проверяет результат проекции на истинность. size() возвращает size_t, но он неявно приводится к bool — ноль означает пустую строку. Удобно, когда не хочется писать [](const auto& s){ return !s.empty(); }.

🍒 Лямбда — тоже проекция

Всё, что вызывается с одним аргументом и возвращает ключ для сравнения, годится в качестве проекции — в том числе лямбда:

struct Product {
    std::string name;
    double price;
    int stock;
};

std::vector<Product> products = { /* ... */ };

// Самый дешёвый товар в наличии
auto it = std::ranges::min_element(
    products | std::views::filter([](const Product& p) { return p.stock > 0; }),
    std::less{},
    &Product::price
);

Здесь лямбда стоит на своём привычном месте — предикатом для filter, а проекция по-прежнему &Product::price. Три инструмента, три роли: предикат отбирает элементы, проекция выбирает ключ, компаратор задаёт порядок сравнения этого ключа.

‼️ Если бы понадобилась проекция посложнее одного поля — скажем, «цена с учётом скидки» — туда точно так же встала бы лямбда: [](const Product& p) { return p.price * (1 - p.discount); }. Указатель на поле — просто частный случай вызываемого объекта, самый короткий из возможных.

📍Навигация: Вакансии • Задачи • Собесы

Библиотека C/C++ разработчика

#константная_правильностьx