Range concept for a specific type(特定类型的范围概念)
本文介绍了特定类型的范围概念的处理方法，对大家解决问题具有一定的参考价值，需要的朋友们下面随着小编来一起学习吧！
问题描述
是否已定义概念，用于在C++20或Range-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) { /* ... */ }
推荐答案
没有。
该特定概念的拼写方式为：
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>>。
所有这一切都是说，很难知道我们真正想要的东西是什么，这就是为什么不存在这样的东西。但每个有用的具体内容都很容易编写，因此缺少这样的内容对用户来说并不是一个特别大的负担。
这篇关于特定类型的范围概念的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持编程学习网！
织梦狗教程
本文标题为：特定类型的范围概念
基础教程推荐
猜你喜欢
- 为什么 typeid.name() 使用 GCC 返回奇怪的字符以及如 2022-09-16
- 我应该对 C++ 中的成员变量和函数参数使用相同的名称吗? 2021-01-01
- 通过引用传递 C++ 迭代器有什么问题? 2022-01-01
- 初始化列表*参数*评估顺序 2021-01-01
- GDB 显示调用堆栈上函数地址的当前编译二进制文 2022-09-05
- 为什么派生模板类不能访问基模板类的标识符? 2021-01-01
- 非静态 const 成员，不能使用默认赋值运算符 2022-10-09
- 为什么 RegOpenKeyEx() 在 Vista 64 位上返回错误代码 2021-01-01
- CString 到 char* 2021-01-01
- 如果我为无符号变量分配负值会发生什么? 2022-01-01
