Лямбда не допускает 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 (т.е. добавление нового функционала к лямбдам).

Новые блоги и статьи Все статьи Все блоги /
SDL3 для Web (WebAssembly): Идентификация объектов на Box2D v3 - использование userData и событий коллизий 8Observer8 02.03.2026 Содержание блога Финальная демка в браузере. Итоговый код: finish-collision-events-sdl3-c. zip https:/ / www. cyberforum. ru/ blog_attachment. php?attachmentid=11680&d=1772460536 Одним из. . .	Реалии Hrethgir 01.03.2026 Нет, я не закончил до сих пор симулятор. Эта задача сложнее. Не получилось уйти в плавсостав, но оно и к лучшему, возможно. Точнее получалось - но сварщиком в палубную команду, а это значит, в моём. . .	Ритм жизни kumehtar 27.02.2026 Иногда приходится жить в ритме, где дел становится всё больше, а вовлечения в происходящее — всё меньше. Плотный график не даёт вниманию закрепиться ни на одном событии. Утро начинается с быстрых,. . .	SDL3 для Web (WebAssembly): Сборка библиотек: SDL3, Box2D, FreeType, SDL3_ttf, SDL3_mixer и SDL3_image из исходников с помощью CMake и Emscripten 8Observer8 27.02.2026 Недавно вышла версия 3. 4. 2 библиотеки SDL3. На странице официальной релиза доступны исходники, готовые DLL (для x86, x64, arm64), а также библиотеки для разработки под Android, MinGW и Visual Studio. . . .
SDL3 для Web (WebAssembly): Реализация движения на Box2D v3 - трение и коллизии с повёрнутыми стенами 8Observer8 20.02.2026 Содержание блога Box2D позволяет легко создать главного героя, который не проходит сквозь стены и перемещается с заданным трением о препятствия, которые можно располагать под углом, как верхнее. . .	Конвертировать закладки radiotray-ng в m3u-плейлист damix 19.02.2026 Это можно сделать скриптом для PowerShell. Использование . \СonvertRadiotrayToM3U. ps1 <path_to_bookmarks. json> Рядом с файлом bookmarks. json появится файл bookmarks. m3u с результатом. # Check if. . .	Семь CDC на одном интерфейсе: 5 U[S]ARTов, 1 CAN и 1 SSI Eddy_Em 18.02.2026 Постепенно допиливаю свою "многоинтерфейсную плату". Выглядит вот так: https:/ / www. cyberforum. ru/ blog_attachment. php?attachmentid=11617&stc=1&d=1771445347 Основана на STM32F303RBT6. На борту пять. . .	Камера Toupcam IUA500KMA Eddy_Em 12.02.2026 Т. к. у всяких "хикроботов" слишком уж мелкий пиксель, для подсмотра в ESPriF они вообще плохо годятся: уже 14 величину можно рассмотреть еле-еле лишь на экспозициях под 3 секунды (а то и больше),. . .

@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

Решение