Для стандарта 2011 года работали над концепциями C ++, и в конечном итоге они были исключены из этого стандарта, потому что они не были «достаточно выпечены». Продолжается работа над концепциями C ++, которые могут привести их к следующему стандарту. Однако может случиться так, что некоторые люди будут работать над предложением следующего стандарта, которое похоже на шаблонные ограничения D. Происходит это или нет, еще неизвестно. Насколько я знаю, такого предложения по стандарту 2011 года не было, поэтому у него не было никаких шансов превратить его в этот стандарт независимо от его достоинств, но что будет или не будет в следующем стандарте, совершенно неизвестно. в этот момент.
Я не знаю ни одной главной причины, по которой что-то похожее на ограничения шаблона D не могло быть реализовано для C ++, хотя, учитывая, что C ++, как правило, более ограничен в том, что он может делать во время компиляции, может быть сложнее заставить их работать так же, как хорошо, как они делают в D (хотя введение подобных вещей, constexpr
безусловно, помогает).
Так что, на самом деле, я думаю, что короткий ответ заключается в том, что нет технической причины, по которой что-то похожее на ограничения шаблона D не могло быть в C ++.
Вопрос заключается в том, будет ли такое предложение сделано для следующего стандарта и как оно будет сопоставляться с любыми аналогичными предложениями (например, предложениями, касающимися концепций). Предполагая, что может быть сделано приемлемое предложение, я вполне ожидаю, что что-то похожее на концепции или шаблонные ограничения D превратит его в следующий стандарт просто потому, что у него много желания. Вопрос в том, может ли кто-нибудь выдвинуть предложение, которое является достаточно твердым и «достаточно выпеченным», чтобы быть приемлемым.