Нельзя ли ссылаться на std:: function <void (Args...)> по стандарту?

Все цитаты из N3797.

4/3 [conv]

Выражение е возможно неявно преобразованный к типу T тогда и только тогда, когда декларация T t = e; хорошо сформирована, для некоторой изобретенной временной переменной т

Это означает, что выражение не может быть неявно преобразовано в void, поскольку void t=e является незаконным для всех выражений e. Это даже верно, если e является выражением типа void, например void(3).

Таким образом, выражение типа void не может быть неявно преобразовано в void.

Это приводит нас к:

20.9.2/2 Требования [func.require]

Define ВЫЗОВ (f, t1, t2,..., tN, R) в виде ВЫЗОВ (f, t1, t2,..., tN) неявно преобразованный в р.

Короче говоря, INVOKE(f, t1, t2, ..., tN, R) никогда не действует, если R равно void, поскольку ничто (включая void) не может быть неявно преобразовано в void.

В результате этого все std::function<void(Args...)> имеют свойство !*this и поэтому не могут быть вызваны как единственные конструкторы, не имеющие !*this в качестве постусловия (или не копировать такое состояние из другого function того же типа) требуют Callable одного из параметров.

20.9.11.2/7 Шаблон класса функция [Func.wrap.func]

Требуется: F должен быть CopyConstructible, е должны быть Подтверждаемыми ( 20.9.11.2 ) для типов аргументов ArgTypes и тип возврата р, Конструктор копирования и деструктор не должны исключать исключения.

20.9.11.2/2 Шаблон класса функция [Func.wrap.func]

Вызываемый объект е типа F является подлежащий выкупу для типов аргументов ArgTypes и тип возврата р если выражение Sion ВЫЗОВ (f, declval()..., R), рассматриваемый как неоцениваемый операнд (пункт 5), хорошо сформированный ( 20.9.2).

Как показано выше, для std::function<void(Args...)> нет выражений Callable.

Если каким-то образом найденный std::function<void(Args...)>, где был найден, вызывается operator():

вызов [func.wrap.func.inv]

Эффекты: ВЫЗОВ (f, std:: forward (args)..., R) ( 20.9.2), где е является целевым ject ( 20.9.1 ) *это.

как INVOKE(f, std::forward<ArgTypes>(args)..., void) плохо сформирован для всех аргументов и f.

Является ли эта линия рассуждения звуком?

ОТВЕТЫ

Ответ 1

Да, ваш анализ правильный; Я пришел к тому же выводу здесь.

По словам Даниэля Крюглера, этот вопрос должен появиться в списке дефектов библиотеки после следующей рассылки:

Соответствующая проблема с библиотекой уже отправлена, но не но видимый в списке проблем.

Надеемся, что когда это станет видимым, мы также получим окончательный ответ на то, можно ли построить std::function с сигнатурой, возвращающей void, передавая вызываемый код с возвращаемой сигнатурой не-void (Использование` std:: function < void (...) > `для вызова функции non-void).

Обновление: это было введено как LWG 2420, которое было разрешено в отношении типа возврата void с особым корпусом static_cast результат вызываемой функции void. Это означает, что вызываемым возвращаемым не void может быть цель std::function<void(...)>. LWG2420 был применен в качестве поправки после публикации к С++ 14; Между тем, все компиляторы, которые я знаю, эффективно применяют это поведение как расширение в режиме С++ 11.