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

_>А что мешает вместо dispatch делать return_function, а у неё брать сигнатуру ?

То, что семейство функций — не первоклассный объект. Как ты из hf вернёшь f?

Даже если сделать первоклассный объект с семейством operator(), — ну, будет всё то же самое. Будет семейство сигнатур этого оператора.