iterator_typedef 概念参考

检查类型是否具有迭代器所需的所有类型定义 更多...

#include <concepts.hpp>

概念定义

template<typename T>
concept iterator_typedef = requires() {
    typename iterator_traits<T>::iterator_category;
    typename iterator_traits<T>::value_type;
    typename iterator_traits<T>::difference_type;
    typename iterator_traits<T>::pointer;
    typename iterator_traits<T>::reference;
}

详细描述

检查类型是否具有迭代器所需的所有类型定义

模板参数

T

要检查的类型

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