无异常输入迭代器，无异常前向迭代器，无异常哨兵，无异常输入范围，无异常前向范围

template< class I > concept no-throw-input-iterator = std::input_iterator<I> && std::is_lvalue_reference_v<std::iter_reference_t<I>> && std::same_as<std::remove_cvref_t<std::iter_reference_t<I>>, std::iter_value_t<I>>;	(1)	(仅供说明*)
template< class I > concept no-throw-forward-iterator = no-throw-input-iterator<I> && std::forward_iterator<I> && no-throw-sentinel-for<I, I>;	(2)	(仅供说明*)
template< class S, class I > concept no-throw-sentinel-for = std::sentinel_for<S, I>;	(3)	(仅供说明*)
template< class R > concept no-throw-input-range = ranges::range<R> && no-throw-input-iterator<ranges::iterator_t<R>> && no-throw-sentinel-for<ranges::sentinel_t<R>, ranges::iterator_t<R>>;	(4)	(仅供说明*)
template< class R > concept no-throw-forward-range = no-throw-input-range<R> && no-throw-forward-iterator<ranges::iterator_t<R>>;	(5)	(仅供说明*)

这些仅供说明的概念指定从算法对迭代器、哨兵和范围所需的操作中不会抛出异常。

1) 无异常输入迭代器 概念要求解引用迭代器产生左值，例如 contiguous_iterator 和 LegacyForwardIterator。

与所有标准概念一样，此处列出的每个概念只有在它包含的所有概念都被建模时才被建模。

1) 类型 I 仅当从递增、复制构造、移动构造、复制赋值、移动赋值或通过有效迭代器进行间接访问时没有抛出异常，才符合 no-throw-input-iterator 模型。

3) 类型 S 和 I 仅当从复制构造、移动构造、复制赋值、移动赋值或在 I 和 S 类型的有效值之间进行比较时没有抛出异常，才符合 no-throw-sentinel-for 模型。

4) 类型 R 仅当从对类型 R 的对象调用 ranges::begin 和 ranges::end 时没有抛出异常，才符合 no-throw-input-range 模型。

这些概念允许在迭代器和哨兵上进行一些操作抛出异常，例如在无效值上进行操作。

input_iterator (C++20)	指定一个类型是输入迭代器，也就是说，它的引用值可以被读取，并且它可以被预增和后增。 (概念) [edit]
forward_iterator (C++20)	指定一个 `input_iterator` 是一个前向迭代器，支持相等比较和多遍遍历。 (概念) [edit]
sentinel_for (C++20)	指定一个类型是 `input_or_output_iterator` 类型的哨兵。 (概念) [edit]
ranges::input_range (C++20)	指定一个范围，其迭代器类型满足 `input_iterator`。 (概念) [edit]
ranges::forward_range (C++20)	指定一个范围，其迭代器类型满足 `forward_iterator`。 (概念) [edit]