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

[Anonymous]

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

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

void func(std::function cb);

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

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

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

void func(std::function cb);
void func(std::function cb);

Компилятор будет жаловаться, что не может определить разницу между этими двумя функциями.


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