Почему С++ не различает параметры std::function и std::function()>? ⇐ C++

[Anonymous]

Недавно я обнаружил, что следующий код компилируется нормально

Код: Выделить всё

void func(std::function cb);

func([]() -> asio::awaitable {
...
co_return;
});

Это наводит меня на мысль, что C++ неправильно различает std::function и std::function аргументы типа.
На самом деле следующий код не компилируется:

Код: Выделить всё

#include 
#include 

namespace asio = boost::asio;
void func(std::function cb)
{}
void func(std::function cb)
{}

int main()
{
func([]() -> asio::awaitable {
co_return;
});
}

Компилятор будет жаловаться, что вызов перегруженной функции func(main()::) неоднозначен.


Подробнее здесь: https://stackoverflow.com/questions/791 ... nctionasio