我正在用C实现一些复杂的数据结构，以支持各种操作。该数据结构使用许多其他动态结构（图形，AVL树，链接列表），所有内容都在使用动态内存。
当执行某些操作时，例如插入我的数据结构，显然我必须分配内存，有时会分配很多内存（因此结构会增长）。在执行某些操作的过程中，这可能导致内存不足（malloc（）返回NULL）。现在，我不想终止程序，而是让操作的调用者知道该操作失败，并让调用者继续执行。
我的问题是，当操作由于内存分配失败而在执行过程中失败时，我想撤消自调用该操作以来所做的一切，撤消数据结构中的那些更改，就好像从未调用此操作（因此请在执行操作之前将数据结构还原为状态）。我需要这样做是因为即使操作失败，我也希望数据结构处于有效且可用的状态，因此我可以继续使用它。
由于数据结构相当先进，因此我正在寻找有关在调用操作之前将动态数据结构恢复为其状态的常规方法，提示和技巧。也许您有处理此类问题的经验，听说过此问题，或者可以建议一些有关此问题或相关源代码的书籍/文章。
编辑：一个简单的例子将从C ++设置为<>。根据STL文档，即使抛出异常，set :: insert也能很好地工作，因此即使set（可能是红黑树）的基础数据结构非常先进，它也可以以某种方式还原set :: insert执行期间所做的更改。 。
来自cplusplus.com的引用：“如果要插入单个元素，则在发生异常的情况下容器中不会有任何更改（强烈保证）。否则，保证容器以有效状态结束（基本保证）。”
我正在对映射文件进行许多小的随机写入。我想确保一致性，所以有时我会使用msync，但我不想跟踪我所做的每一个小写入。msync在当前的 Linux 内核实现中，使用整个文件是否会带来性能损失？例如，如果文件是 100GB，但我总共只做了 10MB 的更改？内核是否循环遍历提供的范围内的每个页面msync以查找要刷新的脏页面，或者这些页面是否保存在某种链接列表/其他结构中？