更好的内存管理

Better memory management in bison

本文关键字：管理内存更好更新时间：2023-10-16

Bison默认使用union来存储语义类型值。由于union除了指针、原语、数组和普通的旧数据之外不支持其他字段，所以我最终使用了指向shared_ptrs的原始指针，我必须手动释放它们…

虽然它工作，它是丑陋的，容易出错，我想用更好的东西来代替它。这里建议我可以使用YYSTYPE宏来提供我自己的语义类型，这将取代联合。但是建议的替换对我来说太啰嗦了。

是否有一些例子或参考页或任何其他建议，将帮助我写更安全的野牛解析器?我不考虑切换到其他解析器生成器。

我使用的一种技术是#define YYSTYPE std::shared_ptr<Object>，其中Object是一个抽象基类，具有虚拟析构函数和大量虚拟函数，用于完成对象的所有不同子类所需的所有事情。这有一些讨厌的"代码气味"，因为你有效地将对象指针向下转换为派生类指针。

只是使用原始指针并确保正确清理并不难-每个动作都需要确保它清理由它直接使用的规则分配的所有指针(通过显式调用delete或通过将它们复制到$$以便拥有它们)，但由于动作通常很小(它们大多只是调用其他函数)，这并不太难。然后，您只需使用%destructor声明来确保正确清除错误后丢弃的内容。