Як працює родова лямбда на C ++ 14?

Як працює загальна лямбда ( autoключове слово як тип аргументу) у стандарті C ++ 14?

Це на основі шаблонів C ++, де компілятор кожного типу аргументів генерує нову функцію з тим самим тілом, але замінені типи (поліморфізм часу компіляції) або він більше схожий на загальну інформацію Java (тип стирання)?

Приклад коду:

auto glambda = [](auto a) { return a; };

Родові лямбди були введені в Росії C++14.

Просто тип закриття, визначений лямбда-виразом, матиме оператор шаблонного виклику, а не звичайний оператор виклику без шаблону C++11lmbdas (звичайно, коли він autoз'являється принаймні один раз у списку параметрів).

Тож ваш приклад:

auto glambda = [] (auto a) { return a; };

Зробимо glambdaпримірник цього типу:

class /* unnamed */
{
public:
    template<typename T>
    T operator () (T a) const { return a; }
};

Пункт 5.1.2 / 5 стандартної чернетки n3690 C ++ 14 визначає, як визначається оператор виклику типу закриття заданого лямбда-виразу:

Тип закриття для негенерального лямбда-виразу має оператор виклику функції загальної вбудованої функції (13.5.4), параметри якого і тип повернення описуються відповідно параграфом-декларацією параметра-вираз лямбда-виразу та типом зворотного повернення. Для загальної лямбда, тип закриття має загальнодоступний шаблон учасника оператора виклику функції вбудованого (14.5.2), список шаблонів-параметрів якого складається з одного винайденого типу шаблону-параметра для кожного виникнення автоматичного в пункті-декларації-лямбда-декларації, за порядком зовнішності. Винайдений тип шаблону-параметра є пакетом параметрів, якщо відповідна декларація параметра оголошує пакет параметрів функції (8.3.5). Тип повернення та параметри функції шаблону оператора виклику функції виводяться із затримки типу "лямбда-вираз" та "зворотного типу" та "декларування параметрів", замінюючи кожне виникнення авто в специфікаторах decl для декларування параметру-декларації параметра на ім'я відповідний винайдений шаблон-параметр.

Нарешті:

Це схоже на шаблони, коли для кожного компілятора різних типів аргументів генеруються функції з тим самим тілом, але змінені типи, або він більше схожий на дженерики Java?

Як пояснено у вищевказаному абзаці, загальні лямбда - це лише синтаксичний цукор для унікальних безіменних функторів із шаблоновим оператором виклику. Це має відповісти на ваше запитання :)

На жаль , вони не входять до C ++ 11 ( http://ideone.com/NsqYuq ):

auto glambda = [](auto a) { return a; };

int main() {}

З g ++ 4,7:

prog.cpp:1:24: error: parameter declared ‘auto’
...

Однак спосіб його впровадження в C ++ 14 відповідно до пропозиції Портленда щодо загальних лямбдаз :

[](const& x, & y){ return x + y; }

Це призведе до більшої частини звичайного створення анонімного класу функторів, але за відсутності типів компілятор випустить шаблонного члена- operator():

struct anonymous
{
    template <typename T, typename U>
    auto operator()(T const& x, U& y) const -> decltype(x+y)
    { return x + y; }
};

Або відповідно до нової пропозиції Пропозиція для загальних (поліморфних) лямбдаських виразів

auto L = [](const auto& x, auto& y){ return x + y; };

--->

struct /* anonymous */
{
    template <typename T, typename U>
    auto operator()(const T& x, U& y) const // N3386 Return type deduction
    { return x + y; }
} L;

Так, так, для кожної перестановки параметрів виникає нова інстанція, однак, члени цього функтора все одно поділяться (тобто захоплені аргументи).

Це запропонована функція C ++ 14 (не в C ++ 11), схожа (або навіть еквівалентна) шаблонам. Наприклад, N3559 надає такий приклад:

Наприклад, цей загальний лямбда-вираз, що містить висловлювання:

auto L = [](const auto& x, auto& y){ return x + y; };

це може призвести до створення типу закриття та об'єкта, який веде себе подібним до структури нижче:

struct /* anonymous */
{
    template <typename T, typename U>
    auto operator()(const T& x, U& y) const // N3386 Return type deduction
    { return x + y; }
} L;