Результат выражения, конвертируемый тип, который удовлетворяет концепции ⇐ C++

[Anonymous]

В выражении требований (прощение, если моя терминология неверна) В каждом требовании существует выражение и, необязательно, ограничение типа. Последнее должно быть концепцией. Например: < /p>

Код: Выделить всё

template
concept HasBar = requires( T t ) { { t.bar } -> std::convertible_to; };

аналогично std :: convertible_to , можно составить концепцию, называемую decays_to или что -то в этом роде.
Что такое Тогда самый простой и чистый способ требовать, чтобы выражение приводило к тому, что конвертируемое к / разъедините в концепцию (ну, какой-то тип, который удовлетворяет концепции), такую ​​как std :: ploate_point < / code>, std :: Integral , myConcept и т. Д.? Должен ли можно сделать полупрофликты этих концепций? Нравится:

Код: Выделить всё

ConvertibleToFloatingPoint

, decaystofloatingpoint , decaystomyconcept и т. Д.

Подробнее здесь: https://stackoverflow.com/questions/794 ... -a-concept