Сообщение концепты как параметры шаблонов от 03.03.2024 22:38
Изменено 03.03.2024 22:41 rg45
концепты - параметры шаблонов
Постояно ловлю себя на мысли, что мне ужасно не хватает этой возможности — передать концепт параметром в какой-нибудь шаблон.
А прикиньте, как было бы классно:
А прикиньте, как было бы классно:
template <typename T, template <typename> concept C>
concept RangeOf = std::ranges::range<T> && C<std::ranges::range_value_t>;
void foo(RangeOf<std::convertible_to<double>> auto&& r) { /* . . . */ }
концепты - параметры шаблонов
Постояно ловлю себя на мысли, что мне ужасно не хватает этой возможности — передать концепт параметром в какой-нибудь шаблон.
А прикиньте, как было бы классно:
А прикиньте, как было бы классно:
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) { /* . . . */ }