Question

以下是一些示例代码：

#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，第一个迭代器就变成了垃圾，这是否依赖于所有实现？

Answer 1

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

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

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

Answer 2

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

如果您通过了引用，main和print正在访问同一个对象。由于此对象在函数退出后仍然存在，因此迭代器不会失效。

按值传递容器会使迭代器失效吗？

2 个答案: