концепты как параметры шаблонов
От: rg45 СССР  
Дата: 03.03.24 22:38
Оценка: :)
Постояно ловлю себя на мысли, что мне ужасно не хватает этой возможности — передать концепт параметром в какой-нибудь шаблон.

А прикиньте, как было бы классно:

template <typename T, template <typename> concept C>
concept RangeOf = std::ranges::range<T> && C<std::ranges::range_value_t<T>>;

void foo(RangeOf<std::convertible_to<double>> auto&& r) { /* . . . */ }
--
Не можешь достичь желаемого — пожелай достигнутого.
Отредактировано 03.03.2024 22:54 rg45 . Предыдущая версия . Еще …
Отредактировано 03.03.2024 22:41 rg45 . Предыдущая версия .
 
Подождите ...
Wait...
Пока на собственное сообщение не было ответов, его можно удалить.