Передать лямбду в шаблонную функцию как аргумент

@snoogens · Регистрация: 18.03.2011

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

Колупаясь с шаблонами тут возник вопрос. Если использовать общий шаблон, все работает, например

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
#include<iostream>
 
template<class FUNC>
void doTmth(FUNC fcn) {
    int k = 8;
    fcn(k);
}
 
void f(float k) {std::cout << k; }
 
int main()
{
    auto lambda = [](auto arg) {std::cout << arg;};
    doTmth(f);
    std::cout << std::endl;
    doTmth(lambda);
    return 9;
}

Но вот если немного специализировать аргумент шаблонной функции, что бы она принимала ссылку на функцию, то функция передается ОК, а лямбда чет не хочет:

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
#include<iostream>
 
template<class T>
void doTmth(void (*fcn)(T arg)) {
    int k = 8;
    fcn(k);
}
 
void f(float k) {std::cout << k; }
 
int main()
{
    auto lambda = [](int arg) {std::cout << arg;};
    doTmth(f);
    std::cout << std::endl;
    //doTmth(lambda);    //тут ошибка
    return 9;
}

Можно как нибудь передать лямбду в шаблонную функцию такого формата или только в общий шаблон, как первый случай?

@TheCalligrapher · 09.12.2021, 18:40

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

а лямбда чет не хочет:

Лямбда не имеет типа "указатель на функцию". Лямбда может быть неявно приведена к типу указатель на функцию. Но при дедукции шаблонных аргументов возможные неявные приведения типов в расчет не принимаются вообще. В вашем втором примере дедукцию шаблонных аргументов выполнить не получается - код не компилируется.

Можно предложить такой минимальный пример

C++
1
2
3
4
5
6
7
8
9
struct S { operator int *() const { return 0; } };
 
template <typename T> void foo(T *) {}
 
int main()
{
  S s;
  foo(s);
}

Этот код не компилируется по той же причине - невозможно выполнить дедукцию T при вызове foo(s). В этом коде кто-то может сказать, что компилятор "должен был сообразить", что s можно привести к типу int *, но в С++ дедукция так не работает. Неявные преобразования в расчет не принимаются.

И в вашем примере либо придется выполнить преобразование явно

C++
1
doTmth((void (*)(int)) lambda);

либо придется указать шаблонные аргументы явно

C++
1
doTmth<int>(lambda);

Новые блоги и статьи Все статьи Все блоги /
http://iceja.net/ сервер решения полиномов iceja 18.01.2026 Выкатила http:/ / iceja. net/ сервер решения полиномов (находит действительные корни полиномов методом Штурма). На сайте документация по API, но скажу прямо VPS слабенький и 200 000 полиномов. . .	Расчёт переходных процессов в цепи постоянного тока igorrr37 16.01.2026 / * Дана цепь постоянного тока с R, L, C, k(ключ), U, E, J. Программа составляет систему уравнений по 1 и 2 законам Кирхгофа, решает её и находит: токи, напряжения и их 1 и 2 производные при t = 0;. . .	Восстановить юзерскрипты Greasemonkey из бэкапа браузера damix 15.01.2026 Если восстановить из бэкапа профиль Firefox после переустановки винды, то список юзерскриптов в Greasemonkey будет пустым. Но восстановить их можно так. Для этого понадобится консольная утилита. . .	Сукцессия микоризы: основная теория в виде двух уравнений. anaschu 11.01.2026 https:/ / rutube. ru/ video/ 7a537f578d808e67a3c6fd818a44a5c4/
WordPad для Windows 11 Jel 10.01.2026 WordPad для Windows 11 — это приложение, которое восстанавливает классический текстовый редактор WordPad в операционной системе Windows 11. После того как Microsoft исключила WordPad из. . .	Classic Notepad for Windows 11 Jel 10.01.2026 Old Classic Notepad for Windows 11 Приложение для Windows 11, позволяющее пользователям вернуть классическую версию текстового редактора «Блокнот» из Windows 10. Программа предоставляет более. . .	Почему дизайн решает? Neotwalker 09.01.2026 В современном мире, где конкуренция за внимание потребителя достигла пика, дизайн становится мощным инструментом для успеха бренда. Это не просто красивый внешний вид продукта или сайта — это. . .	Модель микоризы: классовый агентный подход 3 anaschu 06.01.2026 aa0a7f55b50dd51c5ec569d2d10c54f6/ O1rJuneU_ls https:/ / vkvideo. ru/ video-115721503_456239114

Передать лямбду в шаблонную функцию как аргумент

Решение