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

_>>Это естественно без проблем записывается и через enable_if, но гораздо менее удобно. )
V>ИМХО, enable_if более "чиста" с т.з. системы типов.
V>Т.е. мы сразу вычеркиваем неподходящее тело ф-ии целиком, а не пытаемся "отключить" невалидную часть тела ф-ии. Потому что этот фокус режет глаз... С другой стороны, ХЗ, может дело привычки...

Думаю, что тут зависит от того, какую часть тела функции занимает вариативная часть. Если имеется существенная невариативная часть, то if constexpr позволит избежать лишней копипасты.

Кстати, в библиотеки алгоритмов D static if частенько используется для оптимизации. Типа есть универсальная версия алгоритма для диапазона с последовательным доступом и местами её ускорение, если переданный диапазон поддерживает произвольный доступ.