А можно ссылку на стандарт где это прописано?

Есть мнение, что std::bind, std::transform всё же некорректно использовать с non-addresable function. И проблема здесь вовсе не в std::bind или std::transform, а в том, что мы не можем передать первый аргумент, поскольку это требует взять его адрес в процессе передачи по ссылке

0

14.12.2020

Vlad

Ofee Oficsu
Есть мнение, что std::bind, std::transform всё же ...

он сразу пишет, что в std::invoke(std::boolalpha, std::cout); we are attempting to form a pointer to std::boolalpha но я не нахожу этому подтверждений std::invoke определен через INVOKE, который определен и для случая, когда передается не указатель на функцию, то есть function-to-pointer преобразование не требуется. есть еще косвенный аргумент, который полагается на качество реализации, что std::is_pointer_v<decltype(f)> == false. что касается std::bind, то там за несколько шагов дело доходит до function object type, и function-to-pointer преобразование действительно требуется, поэтому я не прав и передавать ему неадресуемые функции нельзя

0

14.12.2020

Vlad

Vlad
он сразу пишет, что в std::invoke(std::boolalpha, ...

есть, правда, dcl.meaning#dcl.fct-5, из-за которого std::invoke должен будет принимать указатель, если передать ему именно функцию

0

14.12.2020

Alexander Karaev

Vlad
есть, правда, dcl.meaning#dcl.fct-5, из-за которог...

так это ведь логично - если мы передаём некий f в аргумент, то это уже не какая-то из перегрузок, а вполне конкретная функция иначе говоря, не существует способа передать функцию через аргументы, кроме как через указатель на неё (функторы не считаются)

0

14.12.2020

Ofee Oficsu

Vlad
он сразу пишет, что в std::invoke(std::boolalpha, ...

В [func.invoke] определена точная сигнатура std::invoke, первый аргумент принимается по forwarding-reference. Полагаю, чтобы принять аргумент таким образом (т.е. по ссылке), аргумент должен быть адресуемым, а стандартные функции в основной своей массе таковыми не являются. Так что проблема не в самом invoke, а в способе передать ему аргумент Аналогичная ситуация с std::bind Они оба будут корректно работать в соответствии со всеми требованиями, если мы сумеем сформировать ссылку на функцию. А в общем случае для стандартных функций мы этого сделать не можем

0

14.12.2020

Ofee Oficsu · Accepted Answer

Ofee Oficsu

Вот здесь: Unless F is designated an addressable function, the behavior of a C++ program is unspecified (possibly ill-formed) if it explicitly or implicitly attempts to form a pointer to F

0

13.12.2020

170 похожих чатов

А можно ссылку на стандарт где это прописано?

13 ответов

Похожие вопросы