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

_>Объяснение не убедительное.

Так я и не ставил себе целью тебя переуждать.

_>Концепты, как раз это очень просто. Но инварианты значительно полезнее для валидации кода.
_>Но я более чем уверен что в C++ концепты сделают максимально е6@%y*ыми неудобными

Да какие там инварианты. Лоховство чистой воды. Кстати, указатель на функцию далеко не всегда является компайл-тайм значением и хуже поддаётся оптимизации.