Лямбда не допускает auto

Tulosba · Регистрация: 19.02.2013

Студворк — интернет-сервис помощи студентам

Всем привет!

Имеем код:

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
#include <iostream>
#include <vector>
#include <algorithm>
#include <numeric>
 
int main() 
{
    std::vector<int> v(10);
    std::iota( v.begin(), v.end(), 1 );
    std::for_each( v.begin(), v.end(), [](long long i){ std::cout << i << " ";}); // ok
    //std::for_each( v.begin(), v.end(), [](int i){ std::cout << i << " ";}); // ok
    //std::for_each( v.begin(), v.end(), [](double i){ std::cout << i << " ";}); // ok
    //std::for_each( v.begin(), v.end(), [](auto i){ std::cout << i << " ";}); // error 
 
    return 0;
}

Почему в данном случае в параметрах лямбда-функции не допускается использование auto?
Ведь компилятор имеет возможность вывести тип элементов контейнера.
И, более того, код с диапазонным for работает:

C++
1
2
3
4
for( auto e : v )
{
    std::cout << e << " ";
}

@Kastaneda · 04.06.2013, 18:23

Дык в таком виде тоже не работает

C++
1
2
3
4
5
6
7
8
9
10
11
int func (auto a)
{
    return 0;
}
 
int main()
{
    std::cout << func(1) << std::endl;
 
    return 0;
}

хотя пример не совсем эквивалентный.
Думаю дело в том, что лямбда же транслируется в класс а-ля функтор и при трансляции уже получается нечто похожее на мой пример, а auto не может определять тип аргумента функции (для этого есть шаблоны).

Ну и конечно же цитата из стандарта

7.1.6.4 auto specifier
1 The auto type-specifier signifies that the type of a variable being declared shall be deduced from its initializer
or that a function declarator shall include a trailing-return-type.

@ForEveR · 04.06.2013, 18:29

Tulosba, Потому что фейл в стандарте, который исправят в С++14. Так называемые generic lambdas
http://www.open-std.org/jtc1/s... n3649.html

@Kastaneda · 04.06.2013, 18:34

Получается они фичей auto хотят реализовать что-то типа экзотических темлейтов.

Не по теме:

Все правильно, люди базовый синтаксис С++ всего лишь за полтора года осваивают, непорядок :)
"Мы сделаем С++ лучше" сказали они, "он будет еще удобней" сказали они.

@ForEveR · 04.06.2013, 18:37

Kastaneda, Ну. Это не будет являться экзотическим темплейтом. Вцелом логично, раз ввели лямбду - то почему обязаны указывать тип параметра, если компилятор его 100% знает?

Не по теме:

А так-то чисто ради интереса почекайте то, что предлагают для стандарта С++14/С++17. Там ооочень много интересного

@Kastaneda · 04.06.2013, 20:24

Сообщение от ForEveR

Это не будет являться экзотическим темплейтом

Судя по этому

C++
1
2
3
4
5
6
7
8
9
10
11
12
auto Identity = [](auto a) { return a; };
 
int three = Identity(3);
 
char const* hello = Identity("hello");
 
 
 // Conversion to function pointer for capture-less lambdas
 
int (*fpi)(int) = Identity;
 
char (*fpc)(char) = Identity;

как раз будет что-то типа шаблона.
Будут созданы

C++
1
[](int a) { return a; };

и

C++
1
[](char a) { return a; };

т.е. мы пишем как бы "синтаксический макрос", а компилятор делает его реализации для разных типов в зависимости от использования этого "макроса".

Добавлено через 53 минуты

Не по теме:

Сообщение от ForEveR

А так-то чисто ради интереса почекайте то, что предлагают для стандарта С++14

О, появится возможность задавать числа в двоичной системе счисления, давно пора:)
Еще что-то типа OpenMP, динамические массивы (!!!) и много другого.

Tulosba · 04.06.2013, 22:16 **[ТС]**

Сообщение от ForEveR

Потому что фейл в стандарте, который исправят в С++14.

Не совсем понял, что из этого следует: код должен собираться как C++11 или не должен?

@ForEveR · 05.06.2013, 00:27

Tulosba, Нет. При разработке лямбд не была учтена/не показалась важной эта деталь. Поэтому подали предложение на исправление этого в С++14 (т.е. добавление нового функционала к лямбдам).

Новые блоги и статьи Все статьи Все блоги /
Советы по крайней бережливости. Внимание, это ОЧЕНЬ длинный пост. Programma_Boinc 28.12.2025 Советы по крайней бережливости. Внимание, это ОЧЕНЬ длинный пост. Налог на собак: https:/ / ********/ gallery/ V06K53e Финансовый отчет в Excel: https:/ / ********/ gallery/ bKBkQFf Пост отсюда. . .	Кто-нибудь знает, где можно бесплатно получить настольный компьютер или ноутбук? США. Programma_Boinc 26.12.2025 Нашел на реддите интересную статью под названием Anyone know where to get a free Desktop or Laptop? Ниже её машинный перевод. После долгих разбирательств я наконец-то вернула себе. . .	Thinkpad X220 Tablet — это лучший бюджетный ноутбук для учёбы, точка. Programma_Boinc 23.12.2025 Рецензия / Мнение/ Перевод Нашел на реддите интересную статью под названием The Thinkpad X220 Tablet is the best budget school laptop period . Ниже её машинный перевод. Thinkpad X220 Tablet —. . .	PhpStorm 2025.3: WSL Terminal всегда стартует в ~ and_y87 14.12.2025 PhpStorm 2025. 3: WSL Terminal всегда стартует в ~ (home), игнорируя директорию проекта Симптом: После обновления до PhpStorm 2025. 3 встроенный терминал WSL открывается в домашней директории. . .	Как объединить две одинаковые БД Access с разными данными VikBal 11.12.2025 Помогите пожалуйста !! Как объединить 2 одинаковые БД Access с разными данными.
Новый ноутбук volvo 07.12.2025 Всем привет. По скидке в "черную пятницу" взял себе новый ноутбук Lenovo ThinkBook 16 G7 на Амазоне: Ryzen 5 7533HS 64 Gb DDR5 1Tb NVMe 16" Full HD Display Win11 Pro	Музыка, написанная Искусственным Интеллектом volvo 04.12.2025 Всем привет. Некоторое время назад меня заинтересовало, что уже умеет ИИ в плане написания музыки для песен, и, собственно, исполнения этих самых песен. Стихов у нас много, уже вышли 4 книги, еще 3. . .	От async/await к виртуальным потокам в Python IndentationError 23.11.2025 Армин Ронахер поставил под сомнение async/ await. Создатель Flask заявляет: цветные функции - провал, виртуальные потоки - решение. Не threading-динозавры, а новое поколение лёгких потоков. Откат?. . .	Поиск "дружественных имён" СОМ портов Argus19 22.11.2025 Поиск "дружественных имён" СОМ портов На странице: https:/ / norseev. ru/ 2018/ 01/ 04/ comportlist_windows/ нашёл схожую тему. Там приведён код на С++, который показывает только имена СОМ портов, типа,. . .	Сколько Государство потратило денег на меня, обеспечивая инсулином. Programma_Boinc 20.11.2025 Сколько Государство потратило денег на меня, обеспечивая инсулином. Вот решила сделать интересный приблизительный подсчет, сколько государство потратило на меня денег на покупку инсулинов. . . .

@ForEveR В астрале 8049 / 4806 / 655 Регистрация: 24.06.2010 Сообщений: 10,562
	04.06.2013, 18:29
	Сообщение было отмечено как решение Решение Tulosba, Потому что фейл в стандарте, который исправят в С++14. Так называемые generic lambdas http://www.open-std.org/jtc1/s... n3649.html 4

@Kastaneda 5232 / 3205 / 362 Регистрация: 12.12.2009 Сообщений: 8,143 Записей в блоге: 2
	04.06.2013, 18:34
	Получается они фичей auto хотят реализовать что-то типа экзотических темлейтов. Не по теме: Все правильно, люди базовый синтаксис С++ всего лишь за полтора года осваивают, непорядок :) "Мы сделаем С++ лучше" сказали они, "он будет еще удобней" сказали они. 0

@ForEveR В астрале 8049 / 4806 / 655 Регистрация: 24.06.2010 Сообщений: 10,562
	04.06.2013, 18:37
	Kastaneda, Ну. Это не будет являться экзотическим темплейтом. Вцелом логично, раз ввели лямбду - то почему обязаны указывать тип параметра, если компилятор его 100% знает? Не по теме: А так-то чисто ради интереса почекайте то, что предлагают для стандарта С++14/С++17. Там ооочень много интересного 0

@ForEveR В астрале 8049 / 4806 / 655 Регистрация: 24.06.2010 Сообщений: 10,562
	05.06.2013, 00:27
	Tulosba, Нет. При разработке лямбд не была учтена/не показалась важной эта деталь. Поэтому подали предложение на исправление этого в С++14 (т.е. добавление нового функционала к лямбдам). 1

Лямбда не допускает auto

Решение