Можете пояснить плз,почему данный код не компулируется? template <typename T> void

Question

Можете пояснить плз,почему данный код не компулируется? template <typename T> void

invoke(std::function<void(T)> f, T val)
{
f(val);
}
int main()
{
auto printer = [](int x){ std::cout << x; };
::invoke(printer, 42);
}

#c #embedded #programming #russian

0

31.07.2021

10 ответов

20 просмотров

Constantine Drozdov

В любом случае, это плохой стиль кодирования. До концептов надо писать template <typename Callable, typename Val> void invoke(Callable const& callable, Val&& val) { callable(std::forward<Val>(val)); } с концептами - поставить соответствующее ограничение на параметр класс std::function это класс типа TypeErasure, он не должен встречаться в сигнатурах шаблонов функций

0

31.07.2021

Denial ... Автор вопроса

Constantine Drozdov
В любом случае, это плохой стиль кодирования. До к...

Это понял,спасибо

0

31.07.2021

Denial ... Автор вопроса

Constantine Drozdov
лень разбирать детали, но достаточно подавить попы...

Что значит дедукция из function?

0

31.07.2021

Constantine Drozdov

Denial ...
Что значит дедукция из function?

Как я понимаю, была попытка вывести тип T из std::function<void(T)> и она провалилась

0

31.07.2021

Kelbon

компилятор пытается понять какой тип T ты хочешь подставить, но тут нетривиально он сидит в function, ему нужно детектить ещё и тип function, для неё нет deduction guide(не написан), он ломается и говорит да пшёл ты знаешь куда

0

31.07.2021

Constantine Drozdov

Denial ...
Что значит дедукция из function?

оригинальный пример: std::function printer = [](int x){ std::cout << x; }; //OK std::function printer = [](int const& x){ std::cout << x; }; //ошибка: не понимаю, printer<int> или printer<int const&>

0

31.07.2021

Constantine Drozdov

Kelbon
компилятор пытается понять какой тип T ты хочешь п...

ты фигню пишешь, там есть гайд

0

31.07.2021

Kelbon

Constantine Drozdov
ты фигню пишешь, там есть гайд

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

0

31.07.2021