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>>。
所有这一切都是说，很难知道我们真正想要的东西是什么，这就是为什么不存在这样的东西。但每个有用的具体内容都很容易编写，因此缺少这样的内容对用户来说并不是一个特别大的负担。
这篇关于特定类型的范围概念的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持编程学习网！
沃梦达教程
本文标题为：特定类型的范围概念
基础教程推荐
猜你喜欢
- 如何通过C程序打开命令提示符Cmd 2022-12-09
- 如何在 C++ 中初始化静态常量成员? 2022-01-01
- 在 C++ 中计算滚动/移动平均值 2021-01-01
- 常量变量在标题中不起作用 2021-01-01
- 如何检查GTK+3.0中的小部件类型？ 2022-11-30
- 我有静态或动态 boost 库吗? 2021-01-01
- 如何将 std::pair 的排序 std::list 转换为 std::map 2022-01-01
- 静态库、静态链接动态库和动态链接动态库的 .lib 文件里面是什么? 2021-01-01
- C++结构和函数声明。为什么它不能编译？ 2022-11-07
- 这个宏可以转换成函数吗? 2022-01-01
