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

_>>Объяснение не убедительное.
R>Так я и не ставил себе целью тебя переуждать.

R>Да какие там инварианты. Лоховство чистой воды.
Я тоже не собираюсь никого убеждать. Я к тому что абстракции с концептами не являются решением, а в той реализации что будет скорей всего приведут только к дополнительному геморою.

R>Кстати, указатель на функцию далеко не всегда является компайл-тайм значением и хуже поддаётся оптимизации.
Никто не запрещает им быть compile time значениями.