12
правок
Изменения
м
<source lang=Cpp> auto concept LessThanComparable<typename T> {
<source lang=Cpp> template<LessThanComparable T> const T& min(const T &x, const T &y) {
<source lang=Cpp> template<typename T> requires LessThanComparable<T> const T& min(const T &x, const T &y) {
→concepts
Это описание свойств типа, необходимых для работы в шаблоне. Компилятор на основе этих данных может производить дополнительные оптимизации, а программист может указывать, что ему нужно от типа, который дают шаблону. В сущности, это нововведение лишь даёт мизерный прирост к скорости и делает более понятными некоторые сообщения компилятора об ошибках.
requires SomeConcept<T>;
bool operator<(T, T);
}</source>
* Ключевое слово auto указывает, что проверять на совместимость с концептом надо любые типы. Всё, что подошло по условию, концептом поддерживается.
Применить его можно так:
return (y < x) ? y : x;
}</source>
Или так:
return (y < x) ? y : x;
}</source>
Последний способ лучше тем, что позволяет указать для типа несколько требований одновременно без необходимости создавать новый концепт, содержащий их все. К слову, концепты можно и наследовать, хотя это и аналогично применению requires.
