std::ranges::subrange 的推导指引

来自cppreference.com
< cpp‎ | ranges‎ | subrange
 
 
 
std::ranges::subrange
成员函数
观察器
迭代器操作
推导指引
非成员函数
(C++20)
辅助类型
(C++20)
 
定义于头文件 <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>>) ->

    subrange<I, S, ranges::subrange_kind::sized>;
(2) (C++20 起)
template< ranges::borrowed_range<R> >

subrange(R&&) ->
    subrange<ranges::iterator_t<R>, ranges::sentinel_t<R>,
             (ranges::sized_range<R> ||
              std::sized_sentinel_for<ranges::iterator_t<R>,
              ranges::sentinel_t<R>>) ?

             ranges::subrange_kind::sized : ranges::subrange_kind::unsized>;
(3) (C++20 起)
template< ranges::borrowed_range<R> >

subrange(R&&, /*make-unsigned-like-t*/<ranges::range_difference_t<R>>) ->
    subrange<ranges::iterator_t<R>, ranges::sentinel_t<R>,

             ranges::subrange_kind::sized>;
(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 式类型的推导指引 已移除