Без использования опции -Wpedantic
компилятор с поддержкой c++11 разрешает использовать в лямбда-выражениях значение по умолчанию.
Для такого выражения можно использовать тип std::function
с указанием типов всех параметров, в том числе и тех, что указаны по умолчанию.
Однако, используя автоматический вывод типов с указанием ключевого слова auto, лямбда выражение получает специфичный тип, например, main()::<lambda(int)>
, где значения в круглых скобках - типы параметров, передаваемых в это выражение. И эти значения указываются всегда вне зависимости от того, есть ли у них значение по умолчанию (что в общем-то и логично).
Ниже привожу пример кода.
#include <functional>
#include <iostream>
void f1(std::function<int()> lambda)
{
if (lambda)
{
std::cout << lambda() << std::endl;
}
}
void f2(std::function<int(int)> lambda)
{
if (lambda)
{
std::cout << lambda(1) << std::endl;
}
}
int main()
{
auto lambda1 = [](int a = 3) -> int
{
return a;
};
f1(lambda1);
f2(lambda1);
std::function<int()> lambda2 = []()
{
return 1;
};
std::function<int(int)> lambda3 = [](int a)
{
return a;
};
f1(lambda2);
//f2(lambda2); // Очевидно несоответствие типов
//f1(lambda3); // Очевидно несоответствие типов
f2(lambda3);
}
В примере кода тип main()::<lambda(int)>
приводится к std::function<int()>
. Мне не хватает знаний для понимания, почему компилятор не ругается на несоответствие типов. Прошу помощи в объяснении.
И связанные вопросы.
Могу ли я явно указать тип, подобный тому, что выводится автоматически?
Могу ли я указать компилятору, чтобы он запрещал подобное приведение типов?