Здравствуйте, Evgeny.Panasyuk, Вы писали:

EP>Здравствуйте, jazzer, Вы писали:

_>>>Подскажите, по каким правилам это валидный код?
J>>

J>>[func.require]
J>>Define INVOKE (f, t1, t2, ..., tN, R) as INVOKE (f, t1, t2, ..., tN) implicitly converted to R.

EP>Implicit вроде не подходит.

Должен подходить [basic.fundamental]:

Any expression can be explicitly converted to type cv void

А то, о чем ты говоришь — это относится лишь к поведению operator(), а не к самой возможности инстанцирования std::function с другим типом возврата (а вопрос был, как я понимаю, именно в этом).

You will always get what you always got
  If you always do  what you always did