std::ranges::subrange
的推导指引
来自cppreference.com
定义于头文件 <ranges>
|
||
template< std::input_or_output_iterator I, std::sentinel_for<I> S > subrange(I, S) -> subrange<I, S>; |
(1) | (C++20 起) |
template< std::input_or_output_iterator I, std::sentinel_for<I> S > subrange(I, S, /*make-unsigned-like-t*/<std::iter_difference_t<I>>) -> |
(2) | (C++20 起) |
template< ranges::borrowed_range<R> > subrange(R&&) -> |
(3) | (C++20 起) |
template< ranges::borrowed_range<R> > subrange(R&&, /*make-unsigned-like-t*/<ranges::range_difference_t<R>>) -> |
(4) | (C++20 起) |
为 std::ranges::subrange 提供这些推导指引。
1) 从迭代器与哨位类型推导模板实参。若 std::sized_sentinel_for<S, I> 得以满足则
subrange
为有大小,如默认模板实参所确定。2) 在指定范围大小时从迭代器与哨位类型推导模板实参。
subrange
始终为有大小。3) 从范围类型推导模板实参。若能从范围或其迭代器与哨位获得大小则
subrange
有大小。4) 在指定范围大小时从范围类型推导模板实参。
subrange
始终为有大小。仅用于阐释的别名模板 make-unsigned-like-t
将每个整数式类型映射到其对应的无符号版本。
注解
在构造 subrange
对象时,
- 对于 (1,2) ,若迭代器-哨位对不代表合法范围则行为未定义,
- 对于 (2,4) ,若给定的大小不等于范围大小则行为未定义。
示例
本节未完成 原因:暂无示例 |
缺陷报告
下列更改行为的缺陷报告追溯地应用于以前出版的 C++ 标准。
DR | 应用于 | 出版时的行为 | 正确行为 |
---|---|---|---|
LWG 3404 | C++20 | 提供了无意义的来自 pair 式类型的推导指引 | 已移除 |