7.10 Концепции C++ ¶

Концепции C++ значительно улучшают поддержку обобщенного программирования. В частности, они позволяют указать ограничения для шаблонов. Ограничения используются для расширения обычных возможностей перегрузки и частичной специализации языка, позволяя обобщенным структурам данных и алгоритмам «уточняться» на основе их свойств, а не имен типов.

Следующие ключевые слова зарезервированы для концепций.

assumes

Заявляет выражение как предположение и, по возможности, проверяет, что предположение выполняется. Например, assume(n > 0).

axiom

Вводит определение аксиомы. Аксиомы вводят требования к значениям.

forall

Вводит универсально квантифицированный объект в аксиоме. Например, forall (int n) n + 0 == n).

concept

Вводит определение концепции. Концепции — это наборы синтаксических и семантических требований к типам и их значениям.

requires

Вводит ограничения для шаблонов или требования к члену функции шаблона класса.

Передняя часть также предоставляет ряд внутренних механизмов, которые могут использоваться для упрощения написания типовых свойств. Обратите внимание, что некоторые из этих свойств, вероятно, будут удалены в будущем.

__is_same (type1, type2)

Бинарное типовое свойство: true когда аргументы типов одинаковы.