7

这是一些示例代码：

#include <iostream>
#include <vector>

template <typename T>
std::vector<typename T::iterator> f(T t)
{
        std::vector<typename T::iterator> v;
        for (auto i = t.begin(); i != t.end(); ++i)
        {
                v.push_back(i);
        }
        return v;
}

template <typename T>
void print(const std::vector<T>& v)
{
        for (auto i = v.begin(); i != v.end(); ++i)
        {
                std::cout << **i << ' ';
        }
        std::cout << std::endl;
}

int main()
{
        std::vector<int> v{1, 2, 3};
        print(f(v));
        std::vector<std::vector<int>::iterator> itervec = f(v);
        print(itervec);
}

在ideone上，输出是：

1 2 3 
163487776 2 3

问题

如果我按预期更改f(T t)输出f(T& t)。我假设因为我正在使用容器的副本，从技术上讲，我在向量上推回的迭代器与我在 main 中创建的向量不同。它是否正确？我注意到的一件事是按预期print(f(v));打印1 2 3，但是一旦我将它分配给itervec第一个迭代器就变成垃圾，这是否全部依赖于实现？

4

2 回答 2

8

是的，迭代器是只对函数中的本地对象有效的迭代器，并且在v函数f的末尾f，v超出范围并被销毁，并且迭代器是无效的。

您必须通过引用（或指针或其他）传递向量，以便您存储的迭代器是调用者传入的原始对象的迭代器，而不是存储在局部变量中的临时副本。

您看到的行为是未定义的，因此它恰好正确地打印了前三个和后两个。

于 2012-04-11T20:41:51.400 回答
3

是的，因为您正在接收一个临时文件并返回该临时文件的迭代器。函数退出后，临时被清理，使迭代器无效。

但是，如果您同时获得了引用main并且print正在访问同一个对象。由于此对象在函数退出后仍然存在，因此迭代器不会失效。

于 2012-04-11T20:41:15.970 回答