std::optional<T> // возвращает  «значение или ничего»
std::expected<T,E> // возвращает «значение или причина отсутствия»

expected<int, ErrorCode> parse(string s); // Пустой optional говорит «нет». Expected говорит «нет, потому что...»

class TransactionContext {
    static TransactionContext* current;
    std::vector<std::function<void()>> rollbacks;

public:
    static TransactionContext& get() {
        return *current;
    }

    void addRollback(std::function<void()> fn) {
        rollbacks.push_back(fn);
    }

    TransactionContext() { current = this; }
    ~TransactionContext() {
        for (auto& rb : rollbacks) rb();
        current = nullptr;
    }
};

// Лямбда — захват this в замыкании
std::function<int(Foo&)> f1 = [](Foo& x) { return x.bar(); };

// mem_fn — хранит pointer-to-member
std::function<int(Foo&)> f2 = std::mem_fn(&Foo::bar);

std::transform(v.begin(), v.end(), out.begin(), std::mem_fn(&Widget::value)); // vs лямбда