[转载] C++ STL中判断list为空,size()==0和empty()有什么区别

关于两个的区别,首先size()==0为bool表达式,empty()为函数调用,这一点很明显。查看源代码,

    bool empty() const { return _M_node->_M_next == _M_node; }  

    size_type size() const {  
      size_type __result = 0;  
      distance(begin(), end(), __result);  
      return __result;  
    }  

 

可以看出empty直接检查标记节点,而size是通过求首尾迭代器的距离来获取元素个数的。

查看的源代码来自http://www.sgi.com/tech/stl/download.html

 

 

 Effective STL中文版:50条有效使用STL的经验

对任一容器c ,下面的代码
if (c.size() == 0)…

本质上与
if (c.empty())…

是等价的。既然如此,你或许会疑惑为什么要偏向于某一种形式,尤其是考虑到empty 通常被
实现为内联函数(inline function ),并且它所做的仅仅是返回 size 是否为0。

你应该使用empty 形式,理由很简单:empty 对所有的标准容器都是常数时间操作,而对一些list 实现,size 耗费线性时间。

到底是什么使list 这么讨厌呢?为什么它不也提供常数时间的size 呢?答案在于list 所独有的链接(splice)操作。考虑如下代码:
list<int> list1;
list<int> list2;

list1.splice( //把list2中从第一个含5 的节点
    list1.end(), list2,  //到最后一个含10的所有节点
    find(list2.begin(), list2.end(), 5), //移动到list1的末尾
    find(list2.rbegin(), list2.rend(), 10).base()
 //关于base() 调用的信息,见第28条
);

这段代码只有当list2 中在含5 的节点之后有含10的节点时才工作。假定这不是一个问题,而把注意力集中在下面这个问题上:链接后的list1 中有多少个元素?很明显,链接后的list1 中的元素个数是它链接前的元素个数加上链接过来的元素个数。但有多少个元素被链接过来了
呢?应该与find(list2.begin(), list2.end(), 5)和find(list2.rbegin(), list2.rend(), 10). base() 所定义的区间中的元素个数一样多。好,那究竟是多少个呢?如果不遍历该区间来数一数,你是没法知道的。问题就在这里。

假定由你来负责实现list。list 不仅是容器,而且是标准容器,它将会被广泛使用。你自然会希望自己的实现尽量高效。你发现用户通常希望知道 list 中有多少个元素,所以你想使 size 成为常数时间操作。因此,你希望设计list,使它总知道自己含有多少个元素。

同时,你知道在所有的标准容器中,只有list 具有把元素从一处链接到另一处而不需要拷贝任何数据的能力。你推断,许多 list 的客户之所以选择它,是因为它提供了高效的链接操作。他们知道把一个区间从一个list 链接到另一个list 可以通过常数时间来完成。你很清楚他们知道这一点,所以你当然想满足他们的期望,使splice成为常数时间的成员函数。

这将使你左右为难。如果 size 是常数时间操作,那么 list 的每个成员函数都必须更新它们所操作的链表的大小(size ),当然也包括 splice。可是 splice更新它所改变的链表的大小的唯一方式是计算所链接的元素的个数,而这会使 splice不具有你所希望的常数时间操作性能。如果你不要求splice更新它所改变的链表的大小,则splice可以成为常数时间操作,可是这时size 会成为线性时间操作。通常,它需要遍历自己的整个数据结构来看一看自己含有多少个元素。不管你怎么看,某些方面——list 或splice——必须做出让步。其中的一个可以成为常数时间操作,但不可能二者都是。

不同的链表实现通过不同的方式解决这一冲突,具体方式取决于作者选择把 size 还是splice实现得最为高效。如果你使用的list 实现恰好是把splice的常数时间操作放在第一位的,那么你使用empty 而不是size 会更好些,因为empty 操作总是花费常数时间。即使现在你使用的list 实现不是这种方式,将来你也可能会发现自己在使用这样的实现。比如,你可能把自己的代码移植到不同的平台上,该平台上的 STL 采用了不同的实现;又如,你可能决定切换到当前平台上的不同的STL 实现。

不管发生了什么,调用empty 而不是检查size==0 是否成立总是没错的。所以,如果你想知道容器中是否含有零个元素,请调用empty。

 
 
 

 

转载于:https://www.cnblogs.com/pjl1119/p/8892318.html

  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
STL(Standard Template Library)是C++的一个标准库,其包含了许多常用的数据结构和算法。其list是一种常用的数据结构,它是一个双向链表,可以实现快速的插入和删除操作。 下面是C++STL list的简单实现: ```cpp template <typename T> class List { private: struct Node { T data; Node* prev; Node* next; Node(const T& d = T(), Node* p = nullptr, Node* n = nullptr) : data(d), prev(p), next(n) {} }; Node* head; Node* tail; int size; public: List() : head(nullptr), tail(nullptr), size(0) {} List(const List& other) : head(nullptr), tail(nullptr), size(0) { for (const auto& item : other) { push_back(item); } } ~List() { clear(); } List& operator=(const List& other) { if (this != &other) { List tmp(other); swap(tmp); } return *this; } void push_back(const T& item) { Node* new_node = new Node(item, tail, nullptr); if (tail) { tail->next = new_node; } else { head = new_node; } tail = new_node; ++size; } void push_front(const T& item) { Node* new_node = new Node(item, nullptr, head); if (head) { head->prev = new_node; } else { tail = new_node; } head = new_node; ++size; } void pop_back() { if (tail) { Node* tmp = tail; tail = tail->prev; if (tail) { tail->next = nullptr; } else { head = nullptr; } delete tmp; --size; } } void pop_front() { if (head) { Node* tmp = head; head = head->next; if (head) { head->prev = nullptr; } else { tail = nullptr; } delete tmp; --size; } } T& front() { return head->data; } T& back() { return tail->data; } bool empty() const { return size == 0; } int size() const { return size; } void clear() { while (!empty()) { pop_back(); } } class iterator { private: Node* ptr; public: iterator(Node* p = nullptr) : ptr(p) {} iterator(const iterator& other) : ptr(other.ptr) {} iterator& operator++() { ptr = ptr->next; return *this; } iterator operator++(int) { iterator tmp(*this); ptr = ptr->next; return tmp; } iterator& operator--() { ptr = ptr->prev; return *this; } iterator operator--(int) { iterator tmp(*this); ptr = ptr->prev; return tmp; } T& operator*() const { return ptr->data; } T* operator->() const { return &(ptr->data); } bool operator==(const iterator& other) const { return ptr == other.ptr; } bool operator!=(const iterator& other) const { return ptr != other.ptr; } }; iterator begin() const { return iterator(head); } iterator end() const { return iterator(nullptr); } iterator rbegin() const { return iterator(tail); } iterator rend() const { return iterator(nullptr); } void swap(List& other) { std::swap(head, other.head); std::swap(tail, other.tail); std::swap(size, other.size); } }; ``` 上述代码List定义了一个私有结构体Node,它表示双向链表的每个节点。Node包含了数据成员data、指向前一个节点的指针prev和指向后一个节点的指针next。List还包含了头指针head、尾指针tail和大小size等数据成员。 List类提供了许多操作,包括push_back、push_front、pop_back、pop_front、front、back、empty、size、clear等。其,push_back和push_front分别表示在双向链表的末尾和开头插入一个元素,pop_back和pop_front分别表示删除双向链表的末尾和开头的元素,front和back分别表示获取双向链表的第一个和最后一个元素,empty表示判断双向链表是否为空size表示获取双向链表元素的个数,clear表示清空双向链表的所有元素。 List类还定义了一个迭代器iterator,它可以用于遍历双向链表的所有元素。迭代器包含了一个指向Node的指针ptr,它可以指向双向链表的任意一个节点。迭代器提供了许多操作,包括++、--、*、->、==、!=等。其,++和--分别表示迭代器向前和向后移动一个位置,*表示获取迭代器所指向节点的数据成员data,->表示获取迭代器所指向节点的数据成员data的指针,==和!=分别表示判断两个迭代器是否相等和不相等。 List还提供了一些其他操作,比如拷贝构造函数、析构函数、赋值运算符、begin、end、rbegin、rend和swap等。其,拷贝构造函数用于复制另一个List对象,析构函数用于释放所有节点的内存,赋值运算符用于将一个List对象赋值给另一个List对象,begin和end分别返回指向双向链表第一个元素和最后一个元素的迭代器,rbegin和rend分别返回指向双向链表最后一个元素和第一个元素的迭代器,swap用于交换两个List对象的所有数据成员。
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值