概念定义

template<typename Iterator>
concept bidirectional_iterator = forward_iterator<Iterator> && requires(Iterator it) {
    { --it } -> same_as<Iterator&>;
    { it-- } -> same_as<Iterator>;
}

详细描述

检查类型是否为双向迭代器

模板参数

Iterator 迭代器类型

在前向迭代器基础上增加递减操作支持。

在文件 concepts.hpp 第 343 行定义.