【问题标题】:Does passing containers by value invalidate iterators?按值传递容器会使迭代器无效吗?
【发布时间】:2012-04-24 05:00:25
【问题描述】:

下面是一些示例代码:

#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&amp; t),则输出符合预期。我假设因为我正在使用容器的副本,从技术上讲,我在向量上推回的迭代器与我在 main 中创建的向量不同。它是否正确? 我注意到的一件事是 print(f(v)); 按预期打印 1 2 3 但是一旦我将它分配给 itervec 第一个迭代器就变成了垃圾,这一切都依赖于实现吗?

【问题讨论】:

    标签: c++ iterator containers


    【解决方案1】:

    是的,迭代器是迭代器仅对函数 f 中的局部对象 v 有效,并且在 f 的末尾,v 超出范围并且是销毁,迭代器无效。

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

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

    【讨论】:

      【解决方案2】:

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

      如果您获得了一个引用,mainprint 都在访问同一个对象。由于该对象在函数退出后仍然存在,因此迭代器不会失效。

      【讨论】:

        猜你喜欢
        • 2022-12-31
        • 2012-04-26
        • 1970-01-01
        • 2012-08-09
        • 1970-01-01
        • 1970-01-01
        • 1970-01-01
        • 1970-01-01
        • 1970-01-01
        相关资源
        最近更新 更多