容器在使用前销毁/修改时的 C++ 警告(通过引用元素或迭代器使用)

Question

我将从我最近遇到的一个问题开始——我有一个 vector ，我把它作为迭代器，我存储了迭代器(开始、结束)，然后容器超出了范围，因此被销毁了。我不记得有任何编译器警告。这是一个艰难的调试，因为只有当我在非常大的数据集上运行它时，我才会遇到段错误。在容器修改(放大/缩小)/销毁后使用迭代器/对容器项的任何引用时，有没有办法产生编译器错误/警告？我错过了什么吗？我认为它与 const 限定符同样重要，因为没有人希望引用困惑容器中的项目，对吧？

我不得不记忆起上面的情况，因为现在我有另一个作业——创建一个特定的容器。我必须返回一个代理引用，而不是对某个项目的引用，即某个内存位置，因为在分配给代理引用后，容器的一部分必须写入磁盘。但仅供引用，这可能并不重要，它同样可以作为这个问题的正常引用。我想将此返回代理引用(或返回迭代器的任何方法)的方法标记为“锁定”，这意味着容器在引用/迭代器的生命周期内将有效地表现为 常数。 (虽然一个不同的 const，允许修改单个项目，但禁止修改容器让我们说宏属性，例如通过 operator[] 返回一个非 const 引用在这个“macro-const”对象上将是允许)

我如何在 C++ 中执行此操作？这个概念是否存在于其他语言中？或者可能为什么它不起作用？正如我之前所说，我认为这个概念足够通用，因为首先数据结构是任何程序的构建 block ，其次因为没有人希望引用困惑容器中的项目。

Answer 1

Is there a way to have compiler errors/warning while using an iterator/any reference to a container item after container modification (enlarges/shrinks)/destruction?

是的。它被称为静态分析器。如果您使用的是 llvm，则 clang static analyzer可以帮助您找到释放内存后的一些用途。其他编译器也有类似的工具。它们还可以告诉您其他有用的信息，例如何时可以在不初始化的情况下使用变量，以及类似的信息。

I want to mark this method returning the proxy reference (or any method returning an iterator) as "locking" which would mean that the container during the lifetime of the reference/iterator would behave effectively as const. (Though a different const, allowing modification of individual items, but forbidding modification of container let's say macro properties,

我不知道有什么方法可以让编译器在容器被修改时给你错误或警告。但是可以使用 semaphores 来锁定对资源的访问。或 mutexes .这将阻止其他代码在您使用容器时修改容器。您还可以编写容器修改方法，以便在资源锁定时调用它们时抛出异常。