Основные способы использования технологии requires в программировании:

1. Создание концептов. 1 Например, с помощью requires можно проверить наличие полей и методов в типе. 1
2. Проверка типов внутри requires. 1 Для этого используется специальный синтаксис: объект берётся в фигурные скобки, ставится стрелка и после неё пишется концепт, которому должен удовлетворять тип. 1
3. Использование requires в функциях C++. 3 В этом случае requires ставится между списком параметров шаблона и типом возвращаемой функции. 3 Например, так можно определить, что любой параметр шаблона должен удовлетворять требованиям определённого концепта. 3
4. Вложенные requires. 1 Вложенные requires-выражения (уже без фигурных скобок) проверяются не на компилируемость, а на равенство true или false. 1 Если такое выражение окажется false, то и объёмлющее выражение немедленно окажется false (и дальнейший анализ компилируемости прерывается). 1