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

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

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