特定类型的范围概念

Question

是否有已经定义的概念用于指定特定类型的范围，在 C++20 中或范围-TS?

类似于：

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);
  };

允许，for example:

void print(const RangeOf<char> auto& char_seq) { /* ... */ }

Answer 1

没有。

拼写该特定概念的方式是：

template <typename R, typename V>
concept RangeOf = range<R> && same_as<range_value_t<R>, V>;

但事实证明，您可能还需要检查许多密切相关的内容。您可能实际上想要查看 reference 类型而不是 value_type。也许是：

template <typename R, typename V>
concept RangeOf = range<R> && same_as<range_reference_t<R>, V>;

原因是：你认为vector<char>&是char的范围还是char&的范围？可以说，它更像是后者，而且是后者推动了更多的使用。但是前者并不是错的，它也很有用，只是方式不同而已。

那你得说说你要same_as还是convertible_to。在某些算法中，您希望将其限制为前者，而在某些算法中，后者就足够好了。对我来说，这是想要概念模板参数的动机之一，因此：

template <typename R, template <typename> concept C>
concept RangeOf = range<R> && C<range_value_t<R>>;

这样我就可以很容易地写RangeOf<same_as<char>>或RangeOf<convertible_to<char>>，这取决于我真正想要什么。

所有这些都是说，很难知道我们想要什么 RangeOf，这就是为什么不存在这样的东西。但是每个有用的特定东西都非常容易编写，因此缺少这样的东西对用户来说并不是特别大的负担。

特定类型的范围概念

Range concept for a specific type

c++

range

c++-concepts

c++20