【发布时间】:2013-05-12 14:55:17
【问题描述】:
我有这样的代码:
vector <int> v;
for (int i=0; i<5; i++)
v.push_back(i);
v.erase(find(v.rbegin(), v.rend(),2).base());
此代码在第一次检测到 2 后从向量 v 中删除第一个元素(在向量中剩余:0 1 2 4)。 .base() 在这里做什么?
【问题讨论】:
我有这样的代码:
vector <int> v;
for (int i=0; i<5; i++)
v.push_back(i);
v.erase(find(v.rbegin(), v.rend(),2).base());
此代码在第一次检测到 2 后从向量 v 中删除第一个元素(在向量中剩余:0 1 2 4)。 .base() 在这里做什么?
【问题讨论】:
base() 返回底层基础迭代器。
基迭代器引用元素旁边的元素
reverse_iterator当前指向。那是std::reverse_iterator(it).base() == std::next(it).
您可以了解更多关于reverse_iteratorhere的信息。
【讨论】:
std::reverse_iterator(it).base() == std::next(it) 是对的!
base() 将反向迭代器转换为相应的正向迭代器。然而,尽管它很简单,但这种对应并不像一件可能的事情那么简单。
当反向迭代器指向一个元素时,它会取消对前一个元素的引用,因此它物理上指向的元素和它逻辑上指向的元素是不同的。在下图中,i 是正向迭代器,ri 是从i 构造的反向迭代器:
i, *i
|
- 0 1 2 3 4 -
| |
*ri ri
所以如果ri 逻辑上指向元素2,它物理上指向元素3。因此,当转换为前向迭代器时,生成的迭代器将指向元素 3,这是在您的示例中被删除的元素。
以下小程序演示了上述行为:
#include <iostream>
#include <vector>
#include <iterator>
#include <algorithm>
int main(int argc, char *argv[])
{
std::vector<int> v { 0, 1, 2, 3, 4 };
auto i = find(begin(v), end(v), 2);
std::cout << *i << std::endl; // PRINTS 2
std::reverse_iterator<decltype(i)> ri(i);
std::cout << *ri << std::endl; // PRINTS 1
}
这是live example。
【讨论】: