Магическое заклинание +[]{}
Правильный ответ на квиз - программа успешно завершится. Удивились? Погнали разбирать
Давайте сразу проясним, что лямбду можно записывать без списка параметров, это разрешенная тема. Да и работает это в целом довольно интуитивно: если ваша лямбда не принимает параметров, то вы можете их не указывать и все будет работать также, как и с пустыми круглыми скобками.
Дальше
Здесь мы рассматривали, что присвоение лямбд запрещено и приводит к ошибке компиляции. Каким образом один + переворачивает все сверх на голову и код работает?
Стандарт нам говорит:
То есть ламбды без захваченых значений имеют возможность прикидываться указателями на функции.
И так вышло, что оператор+ определен для всех типов указателей в виде:
For every type T there exist candidate operator functions of the form
T* operator+(T*);
Он ничего не делает с указателем и просто его возвращает наружу.
Когда мы ставим + спереди лямбды, компилятор пытается найти подходящую перегрузку для оператора+. Логично, что для любого замыкания он не перегружен, поэтому что он не нужен там. Но зато есть перегрузка для указателя, под который может косить лямбда. Что она успешно и делает.
Поэтому для здесь для test
auto test = +[]{};
auto test2 = []{};
компилятор выведет тип указателя на функцию, а не замыкания. И ничего нам не мешает перенаправлять этот указатель на другую функцию.
Итого, один бессмысленный плюс тащит катку.
Stay amazed. Stay cool.
#cpp11 #cppcore
Правильный ответ на квиз - программа успешно завершится. Удивились? Погнали разбирать
Давайте сразу проясним, что лямбду можно записывать без списка параметров, это разрешенная тема. Да и работает это в целом довольно интуитивно: если ваша лямбда не принимает параметров, то вы можете их не указывать и все будет работать также, как и с пустыми круглыми скобками.
Дальше
Здесь мы рассматривали, что присвоение лямбд запрещено и приводит к ошибке компиляции. Каким образом один + переворачивает все сверх на голову и код работает?
Стандарт нам говорит:
The closure type for a lambda-expression with no lambda-capture has a public non-virtual non-explicit const conversion function to pointer to function having the same parameter and return types as the closure type's function call operator. The value returned by this conversion function shall be the address of a function that, when invoked, has the same effect as invoking the closure type's function call operator.
То есть ламбды без захваченых значений имеют возможность прикидываться указателями на функции.
И так вышло, что оператор+ определен для всех типов указателей в виде:
For every type T there exist candidate operator functions of the form
T* operator+(T*);
Он ничего не делает с указателем и просто его возвращает наружу.
Когда мы ставим + спереди лямбды, компилятор пытается найти подходящую перегрузку для оператора+. Логично, что для любого замыкания он не перегружен, поэтому что он не нужен там. Но зато есть перегрузка для указателя, под который может косить лямбда. Что она успешно и делает.
Поэтому для здесь для test
auto test = +[]{};
auto test2 = []{};
компилятор выведет тип указателя на функцию, а не замыкания. И ничего нам не мешает перенаправлять этот указатель на другую функцию.
Итого, один бессмысленный плюс тащит катку.
Stay amazed. Stay cool.
#cpp11 #cppcore