Хабрахабр

[Перевод] Лямбды: от C++11 до C++20. Часть 1

Добрый день, друзья. Сегодня мы подготовили для вас перевод первой части статьи «Лямбды: от C++11 до C++20». Публикация данного материала приурочена к запуску курса «Разработчик C++», который стартует уже завтра.

В этой статье мы пройдемся по их истории и посмотрим на эволюцию этой важной части современного C++. Лямбда-выражения являются одним из наиболее мощных дополнений в C++11 и продолжают развиваться с каждым новым стандартом языка.

Вторая часть доступна по ссылке:
Lambdas: From C++11 to C++20, Part 2
Вступление

Беседу вел эксперт по С++ Томас Каминский (Tomasz Kamiński) (см. На одном из местных собраний C++ User Group у нас был живой сеанс программирования по «истории» лямбда-выражений. Вот это событие: профиль Томаса в Linkedin).

Lambdas: From C++11 to C++20 — C++ User Group Krakow

Я решил взять код у Томаса (с его разрешения!), описать его и создать отдельную статью.

Затем мы перейдем к C++11 и C++14. Мы начнем с изучения C++03 и с необходимости в компактных локальных функциональных выражениях. Во второй части серии мы увидим изменения в C++17 и даже взглянем на то, что произойдет в C++ 20.

«Лямбды» в C++03

Однако в C++03 это предполагало только указатели на функции и функторы. С самого начала STL std::algorithms, такие как std::sort, могли принимать любой вызываемый объект и вызывать его для элементов контейнера.

Например:

#include <iostream>
#include <algorithm>
#include <vector> struct PrintFunctor
}; int main() { std::vector<int> v; v.push_back(1); v.push_back(2); std::for_each(v.begin(), v.end(), PrintFunctor()); }

Запускаемый код: @Wandbox

Но проблема заключалась в том, что вы должны были написать отдельную функцию или функтор в другой области видимости, а не в области видимости вызова алгоритма.

Но это не работает… В качестве потенциального решения вы могли бы подумать о написании локального класса функторов — поскольку C++ всегда поддерживает этот синтаксис.

Посмотрите на этот код:

int main() { struct PrintFunctor { void operator()(int x) const { std::cout << x << std::endl; } }; std::vector<int> v; v.push_back(1); v.push_back(2); std::for_each(v.begin(), v.end(), PrintFunctor()); }

Попробуйте скомпилировать его с -std=c++98, и вы увидите следующую ошибку в GCC:

error: template argument for 'template<class _IIter, class _Funct> _Funct std::for_each(_IIter, _IIter, _Funct)' uses local type 'main()::PrintFunctor'

По сути, в C++98/03 вы не можете создать экземпляр шаблона с локальным типом.
Из-за всех этих ограничений Комитет начал разрабатывать новую фичу, которую мы можем создавать и вызывать «на месте»… «лямбда-выражения»!

Если мы посмотрим на N3337 — окончательный вариант C++11, то увидим отдельный раздел для лямбд: [expr.prim.lambda].

Далее к C++11

Они используют новый синтаксис, но затем компилятор «расширяет» его до реального класса. Я думаю, что лямбды были добавлены в язык с умом. Таким образом, у нас есть все преимущества (а иногда и недостатки) реального строго типизированного языка.

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

#include <iostream>
#include <algorithm>
#include <vector> int main() { struct { void operator()(int x) const { std::cout << x << '\n'; } } someInstance; std::vector<int> v; v.push_back(1); v.push_back(2); std::for_each(v.begin(), v.end(), someInstance); std::for_each(v.begin(), v.end(), [] (int x) { std::cout << x << '\n'; } ); }

Пример: @WandBox

Вы также можете проверить CppInsights, который показывает, как компилятор расширяет код:

Посмотрите на этот пример:

CppInsighs: lambda test

В этом примере компилятор преобразует:

[] (int x) { std::cout << x << '\n'; }

Во что-то похожее на это (упрощенная форма):

struct { void operator()(int x) const { std::cout << x << '\n'; }
} someInstance;

Синтаксис лямбда-выражения:

[] () { код; }
^ ^ ^
| | |
| | опционально: mutable, exception, trailing return, ...
| |
| список параметров
|
объявитель лямбды со списком захвата

Некоторые определения, прежде чем мы начнем:

Из [expr.prim.lambda#2]:

Этот временный объект называется объектом-замыканием (closure object). Вычисление лямбда-выражения приводит к временному prvalue.

И из [expr.prim.lambda#3]:

Тип лямбда-выражения (который также является типом объекта-замыкания) является уникальным безымянным non-union типом класса, который называется типом замыкания (closure type).

Несколько примеров лямбда-выражений:

Например:

[](float f, int a) { return a*f; }
[](MyClass t) -> int { auto a = t.compute(); return a; }
[](int a, int b) { return a < b; }

Тип лямбды

Поскольку компилятор генерирует уникальное имя для каждой лямбды, узнать его заранее не представляется возможным.

auto myLambda = [](int a) -> double { return 2.0 * a; }

Более того [expr.prim.lambda]:
Тип замыкания, связанный с лямбда-выражением, имеет удаленный ([dcl.fct.def.delete]) конструктор по умолчанию и удаленный оператор присваивания.

Поэтому вы не можете написать:

auto foo = [&x, &y]() { ++x; ++y; };
decltype(foo) fooCopy;

Это приведет к следующей ошибке в GCC:

error: use of deleted function 'main()::<lambda()>::<lambda>()' decltype(foo) fooCopy; ^~~~~~~
note: a lambda closure type has a deleted default constructor

Оператор вызова

Код, который вы помещаете в тело лямбды, «транслируется» в код operator() соответствующего типа замыкания.

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

auto myLambda = [](int a) mutable { std::cout << a; }

Хотя константный метод не является «проблемой» для лямбды без пустого списка захвата… он имеет значение, когда вы хотите что-то захватить.

Захват

Это называется «список захвата». [] не только вводит лямбду, но также содержит список захваченных переменных.

Затем внутри тела лямбды вы можете получить к нему доступ. Захватив переменную, вы создаете член-копию этой переменной в типе замыкания.

Основной синтаксис:

  • [&] — захват по ссылке, все переменные в автоматическом хранилище объявлены в области охвата
  • [=] — захват по значению, значение копируется
  • [x, & y] — явно захватывает x по значению, а y по ссылке

Например:

int x = 1, y = 1;
{ std::cout << x << " " << y << std::endl; auto foo = [&x, &y]() { ++x; ++y; }; foo(); std::cout << x << " " << y << std::endl;
}

Вы можете поиграться с полным примером здесь: @Wandbox

Таким образом, компилятор может предупредить вас о нежелательных эффектах (см., например, примечания о глобальных и статических переменных) Хотя указание [=] или [&] может быть удобно — поскольку оно захватывает все переменные в автоматическом хранилище, более очевидно захватывать переменные явно.

Вы также можете прочитать больше в пункте 31 «Эффективного современного C++» Скотта Мейерса: «Избегайте режимов захвата по умолчанию».

И важная цитата:

Замыкания С++ не увеличивают время жизни захваченных ссылок.

Mutable

По умолчанию operator() типа замыкания является константным, и вы не можете изменять захваченные переменные внутри тела лямбда-выражения.
Если вы хотите изменить это поведение, вам нужно добавить ключевое слово mutable после списка параметров:

int x = 1, y = 1;
std::cout << x << " " << y << std::endl;
auto foo = [x, y]() mutable { ++x; ++y; };
foo();
std::cout << x << " " << y << std::endl;

В приведенном выше примере мы можем изменить значения x и y… но это только копии x и y из прилагаемой области видимости.

Захват глобальных переменных

Если у вас есть глобальное значение, а затем вы используете [=] в лямбде, вы можете подумать, что глобальное значение также захвачено по значению… но это не так.

int global = 10; int main()
{ std::cout << global << std::endl; auto foo = [=] () mutable { ++global; }; foo(); std::cout << global << std::endl; [] { ++global; } (); std::cout << global << std::endl; [global] { ++global; } ();
}

Поиграть с кодом можно здесь: @Wandbox

Захватываются только переменные в автоматическом хранилище. GCC может даже выдать следующее предупреждение:

warning: capture of variable 'global' with non-automatic storage duration

Это предупреждение появится только в том случае, если вы явно захватите глобальную переменную, поэтому, если вы используете [=], компилятор вам не поможет.
Компилятор Clang более полезен, так как генерирует ошибку:

error: 'global' cannot be captured because it does not have automatic storage duration

Смотрите @Wandbox

Захват статических переменных

Захват статических переменных аналогичен захвату глобальных:

#include <iostream> void bar()
{ static int static_int = 10; std::cout << static_int << std::endl; auto foo = [=] () mutable { ++static_int; }; foo(); std::cout << static_int << std::endl; [] { ++static_int; } (); std::cout << static_int << std::endl; [static_int] { ++static_int; } ();
} int main()
{ bar();
}

Поиграть с кодом можно здесь: @Wandbox

Вывод:

10
11
12

И снова, предупреждение появится, только если вы явно захватите статическую переменную, поэтому, если вы используете [=], компилятор вам не поможет.

Захват члена класса

Знаете ли вы, что произойдет после выполнения следующего кода:

#include <iostream>
#include <functional> struct Baz
{ std::function<void()> foo() { return [=] { std::cout << s << std::endl; }; } std::string s;
}; int main()
{ auto f1 = Baz{"ala"}.foo(); auto f2 = Baz{"ula"}.foo(); f1(); f2();
}

Код объявляет объект Baz, а затем вызывает foo(). Обратите внимание, что foo() возвращает лямбду (хранящуюся в std::function), которая захватывает член класса.

Это проблема висячих ссылок, которая порождает неопределенное поведение. Поскольку мы используем временные объекты, мы не можем быть уверены, что произойдет, при вызове f1 и f2.

Аналогично:

struct Bar { std::string const& foo() const { return s; }; std::string s; };
auto&& f1 = Bar{"ala"}.foo(); // висячая ссылка

Поиграйте с кодом @Wandbox

Опять же, если вы укажете захват явно ([s]):

std::function<void()> foo()
{ return [s] { std::cout << s << std::endl; };
}

Компилятор предотвратит вашу ошибку:

In member function 'std::function<void()> Baz::foo()':
error: capture of non-variable 'Baz::s'
error: 'this' was not captured for this lambda function
...

Смотри пример: @Wandbox

Move-able-only объекты

Захват по значению не работает, поэтому вы можете захватывать только по ссылке… однако это не передаст его вам во владение, и, вероятно, это не то, что вы хотели. Если у вас есть объект, который может быть только перемещен (например, unique_ptr), то вы не можете поместить его в лямбду в качестве захваченной переменной.

std::unique_ptr<int> p(new int{10});
auto foo = [p] () {}; // не компилируется....

Сохранение констант

Если вы захватываете константную переменную, то константность сохраняется:

int const x = 10;
auto foo = [x] () mutable { std::cout << std::is_const<decltype(x)>::value << std::endl; x = 11;
};
foo();

Смотри код: @Wandbox

Возвращаемый тип

В C++11 вы можете пропустить trailing возвращаемый тип лямбды, и тогда компилятор выведет его за вас.

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

C++ Standard Core Language Defect Reports and Accepted Issues (спасибо Томасу за нахождение правильной ссылки!) См.

Таким образом, начиная с C++11, компилятор может вывести тип возвращаемого значения, если все операторы return могут быть преобразованы в один и тот же тип.

1 [conv.lval]), array-to-pointer (7. Если все операторы return возвращают выражение и типы возвращаемых выражений после преобразования lvalue-to-rvalue (7. 3 [conv.func]) такое же, как у общего типа;
2 [conv.array]) и function-to-pointer (7.

auto baz = [] () { int x = 10; if ( x < 20) return x * 1.1; else return x * 2.1;
};

Поиграться с кодом можно здесь: @Wandbox

В вышеприведенной лямбде есть два оператора return, но все они указывают на double, поэтому компилятор может вывести тип.

IIFE — Немедленно вызываемые выражения (Immediately Invoked Function Expression)

В наших примерах я определял лямбду, а затем вызвал ее, используя объект замыкания… но ее также можно вызывать немедленно:

int x = 1, y = 1;
[&]() { ++x; ++y; }(); // <-- call ()
std::cout << x << " " << y << std::endl;

Такое выражение может быть полезно при сложной инициализации константных объектов.

const auto val = []() { /* несколько строк кода... */ }();

Я писал больше об этом в посте IIFE for Complex Initialization.

Преобразование в указатель на функцию

Значение, возвращаемое этой функцией преобразования, должно быть адресом функции, которая при вызове имеет тот же эффект, что и вызов оператора функции типа сходного с типом замыкания. Тип замыкания для лямбда-выражения без захвата имеет открытую невиртуальную неявную функцию преобразования константы в указатель на функцию, имеющую тот же параметр и возвращаемые типы, что и оператор вызова функции типа замыкания.

Другими словами, вы можете преобразовывать лямбды без захватов в указатель на функцию.

Например:

#include <iostream> void callWith10(void(* bar)(int))
{ bar(10);
} int main()
{ struct { using f_ptr = void(*)(int); void operator()(int s) const { return call(s); } operator f_ptr() const { return &call; } private: static void call(int s) { std::cout << s << std::endl; }; } baz; callWith10(baz); callWith10([](int x) { std::cout << x << std::endl; });
}

Поиграться с кодом можно здесь: @Wandbox

Улучшения в C ++ 14

Стандарт N4140 и лямбды: [expr.prim.lambda].

C++14 добавил два значительных улучшения в лямбда-выражения:

  • Захваты с инициализатором
  • Общие лямбды

Эти фичи решают несколько проблем, которые были видны в C++11.

Возвращаемый тип

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

[expr.prim.lambda#4]

Возвращаемый тип лямбды — auto, который заменяется trailing возвращаемым типом, если он предоставляется и/или выводится из операторов возврата, как описано в [dcl.spec.auto].

Захваты с инициализатором

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

Например:

int main() { int x = 10; int y = 11; auto foo = [z = x+y]() { std::cout << z << '\n'; }; foo();
}

Это может решить несколько проблем, например, с типами, доступными только для перемещения.

Перемещение

Теперь мы можем переместить объект в член типа замыкания:

#include <memory> int main()
{ std::unique_ptr<int> p(new int{10}); auto foo = [x=10] () mutable { ++x; }; auto bar = [ptr=std::move(p)] {}; auto baz = [p=std::move(p)] {};
}

Оптимизация

Вместо того, чтобы вычислять какое-то значение каждый раз, когда мы вызываем лямбду, мы можем вычислить его один раз в инициализаторе: Другая идея состоит в том, чтобы использовать его как потенциальную технику оптимизации.

#include <iostream>
#include <algorithm>
#include <vector>
#include <memory>
#include <iostream>
#include <string> int main()
{ using namespace std::string_literals; std::vector<std::string> vs; std::find_if(vs.begin(), vs.end(), [](std::string const& s) { return s == "foo"s + "bar"s; }); std::find_if(vs.begin(), vs.end(), [p="foo"s + "bar"s](std::string const& s) { return s == p; });
}

Захват переменной-члена

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

Например:

struct Baz
{ auto foo() { return [s=s] { std::cout << s << std::endl; }; } std::string s;
}; int main()
{ auto f1 = Baz{"ala"}.foo(); auto f2 = Baz{"ula"}.foo(); f1(); f2();
}

Поиграться с кодом можно здесь: @Wandbox

Кроме того, мы используем auto для вывода всего метода (ранее, в C++11 мы могли использовать std::function). В foo() мы захватываем переменную-член, копируя ее в тип замыкания.

Обобщенные лямбда-выражения

Еще одно существенное улучшение — это обобщенная лямбда.
Начиная с C++14 можно написать:

auto foo = [](auto x) { std::cout << x << '\n'; };
foo(10);
foo(10.1234);
foo("hello world");

Это эквивалентно использованию объявления шаблона в операторе вызова типа замыкания:

struct { template<typename T> void operator()(T x) const { std::cout << x << '\n'; }
} someInstance;

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

Например:

std::map<std::string, int> numbers { { "one", 1 }, {"two", 2 }, { "three", 3 }
}; // каждый раз запись копируется из pair<const string, int>!
std::for_each(std::begin(numbers), std::end(numbers), [](const std::pair<std::string, int>& entry) { std::cout << entry.first << " = " << entry.second << '\n'; }
);

Я ошибся здесь? У entry правильный тип?
.
.
.
Вероятно, нет, так как типом значения для std::map является std::pair<const Key, T>. Так что мой код будет делать дополнительные копии строк…
Это можно исправить с помощью auto:

std::for_each(std::begin(numbers), std::end(numbers), [](auto& entry) { std::cout << entry.first << " = " << entry.second << '\n'; }
);

Вы можете поиграться кодом здесь: @Wandbox

Вывод

Что за история!

В этой статье мы начали с первых дней лямбда-выражений в C++03 и C++11 и перешли к улучшенной версии в C++14.

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

В следующей части статьи мы перейдем к C++17 и познакомимся с будущими фичами C++20.

Вторая часть доступна здесь:

Lambdas: From C++11 to C++20, Part 2

Ссылки

C++11 — [expr.prim.lambda]
C++14 — [expr.prim.lambda]
Lambda Expressions in C++ | Microsoft Docs
Demystifying C++ lambdas — Sticky Bits — Powered by FeabhasSticky Bits – Powered by Feabhas

Ждем ваши комментарии и приглашаем всех заинтересованных на курс «Разработчик С++».

Теги
Показать больше

Похожие статьи

Добавить комментарий

Ваш e-mail не будет опубликован. Обязательные поля помечены *

Кнопка «Наверх»
Закрыть