Is there an already defined concept for specifying a range of a specific type, in C++20 or in the ranges-TS?
Something like:
template < class T, class InnerType >
concept RangeOf =
requires(T&& t) {
requires std::same_as<
std::remove_cvref_t<decltype(*std::ranges::begin(t))>,
InnerType
>;
std::ranges::end(t);
};
To allow, for example:
void print(const RangeOf<char> auto& char_seq) { /* ... */ }
No there isn't.
The way to spell that particular concept would be:
template <typename R, typename V>
concept RangeOf = range<R> && same_as<range_value_t<R>, V>;
But then it turns out there's a bunch of very closely related things you might want to check as well. You might actually want to look at the reference type rather than the value_type. Perhaps that's:
template <typename R, typename V>
concept RangeOf = range<R> && same_as<range_reference_t<R>, V>;
The reason is: do you consider vector<char>& to be a range of char or a range of char&? Arguably, it's more like the latter, and it's the latter that drives a lot more usage. But it's not like the former is wrong, it's useful too, just in a different way.
Then you have to talk about whether you want same_as or convertible_to. There are some algorithms in which you would want to restrict to the former, and some in which the latter to good enough. This, to me, is one of the motivating reasons for wanting concept template parameters, so that:
template <typename R, template <typename> concept C>
concept RangeOf = range<R> && C<range_value_t<R>>;
So that I can easily write RangeOf<same_as<char>> or RangeOf<convertible_to<char>>, depending on what I actually want.
All of which is to say, it's hard to know what actual thing we would want for RangeOf, which is why no such thing exists. But each specific thing that would be useful is very easy to write, so the lack of such a thing isn't a especially large burden on the user.