C++ STL : Traits

fff_421

于 2021-03-24 09:23:20 发布

阅读量274

点赞数

CC 4.0 BY-SA版权

分类专栏： C++ 文章标签： c++ stl

本文链接：https://blog.youkuaiyun.com/studyyyyyyyyyy/article/details/115160545

本文介绍了C++ STL中的Traits概念，包括value_type、difference_type、reference_type、pointer_type和iterator_category。Traits用于萃取迭代器的各种特性，如数据类型、距离表示和迭代器类别。文章详细讨论了如何处理不同类型的迭代器，特别是对于原生指针和const指针的情况，并提到了迭代器的五种类型。此外，文章提及自定义迭代器可以继承std::iterator以遵循STL架构。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

1 traits 概念引入

迭代器所致对象的类型 : value_type

Promble : temeplate参数推导机制可以推导出函数参数,但是不能推导出函数返回值

使用声明内嵌的方法解决

template<class T>
struct MyIter
{
    typedef T value_type;//传进来T是value_type,用T*表示迭代器
    T* ptr;
    MyIter(T* p = 0) : ptr(p){}
    T& operator*() const
    {
        return *ptr;
    }
};
template<class I>// I == Myiter<int>
typename I::value_type func(I iter)//类中的value_type类型
{
    return *iter;
}
MyIter<int> iter(new int (8));//调用Myiter(T* p)
cout << func(iter);

Problem: 但是不是每一个迭代器都是class类型,原生指针就不行了(int *),但是STL应该可以接受原生指针做迭代器

使用template偏特化(partial specialization) 见template.md

template<class T>
struct MyIter
{
    typedef T value_type;//传进来T是value_type,用T*表示迭代器
    T* ptr;
    MyIter(T* p = 0) : ptr(p){}
    T& operator*() const
    {