我正在阅读Bjarne Stroustrup的“使用C编程原则和实践”,我需要澄清一下我在第25.5.3节中找到的令人惊讶的一点.作者声称,如果我们想迭代一个std :: vector,那么使用一个循环变量
for (vector<int>::size_type i = 0; i < v.size(); ++i)
比使用vector类的迭代器更不安全：
for (vector<int>::iterator p = v.begin(); p != v.end(); ++p)
因为,是一个无符号类型,我可能会溢出.他声明使用迭代器的循环没有这样的限制.我有点困惑,因为我了解到size_type保证足够大以表示最大可能的向量,因此size_type类型的变量永远不会在这样的循环中溢出.
编辑
更具体地说,他提出了一个使用类型为int的循环变量的示例,然后在最后他说：
“size_type保证是无符号的,所以第一个(无符号整数)形式比上面的int版本多一个位.这可能很重要,但它仍然只给出一个范围的位数(迭代次数加倍)可以做到的.使用迭代器的循环没有这样的限制.“
不是vector< T> :: size()返回一个向量< T> :: size_type？我没有看到任何限制.
解决方法
嗯,是的,你引用的段落确实暗示或暗示size_type可能有问题.但我不认为这是作者的意图.
注意前一段说的(重新：第二版)
So,technically,most of the loops in this book have been sloppy […]. To avoid this problem we can use the @H_301_26@size_type provided by @H_301_26@vector,iterators,or a range-@H_301_26@for-statement:
在本段中,size_type是针对本书前几节中使用的可能有问题的int循环的解决方案.它被提及作为一个安全的替代方案与迭代器或范围的循环版本.
当有人试图使用std :: size_t来计算或索引非基于数组的容器的元素时,确实存在潜在的溢出(或范围不足)问题,例如std :: list,std :: deque,std :: map等,而不是使用容器自己的size_type.但这是一个略有不同的故事,即使它是相关的.
