在C++解释器中动态分配变量的最佳方式

Best way of dynamically assigning variables in a C++ interpreter

本文关键字：最佳方式变量动态分配 C++ 解释器更新时间：2023-10-16

我目前正在开发一个使用伪c++语法创建的解释器。我正在寻找存储解释器创建的变量的最佳方式。

目前，我正在使用动态数组来存储指向这些变量的指针，但肯定有更好的方法吗？也许是某种内联汇编代码来控制内存块？

我不太关心可移植性，因为我愿意为每个主要的操作系统重写这些代码。我只是在寻找一种方法来创建一个内存块，而不会将其锁定到单个类型。对于我目前的测试，我在Windows上使用MingW编译器。

任何想法都将不胜感激。

我认为这在很大程度上取决于你的语言如何工作——你在解释器中能做什么。假设这是一个真正的解释器，并且没有任何预编译步骤，那么通常会有两种分配——堆栈和堆分配。如果您支持在堆栈上分配东西，那么您应该在解释器中将其实现为堆栈。

使用vector<char>作为堆栈缓冲区。跟踪输入的每个作用域，在堆栈上放置一个标记。当遇到堆栈分配的变量时，增加堆栈以容纳新的本地变量。如果需要，请使用放置new初始化对象。

将它添加到某种字典中，使变量名与内存空间相匹配，这样代码就知道在给定上下文的情况下在哪里可以找到名称。实际上就像一个符号表，只在运行时保存。

一旦遇到作用域结束，您将弹出所有本地分配的符号的堆栈，并在必要时调用析构函数。同时从符号表中删除所有条目，因为它们不再在作用域中。通过这种方式，可以完全避免为堆中未使用的对象分配堆。

您不需要内联汇编代码就可以做到这一点。可以使用vector<char>作为缓冲区，并使用放置new在其中构造对象。请注意，使用此技术可以进入手动分配管理的领域，这会带来许多问题，比如处理碎片。

我找到的最简单的解决方案是std::map<std::string, Variant>。该字符串存储变量名，Variant是boost::variant<all-interpreter-types>的typedef。这允许代码像globals["foo"]=1;一样简单（将解释器变量foo设置为int, 1）。

当然，您可以编写自己的代码来做大致相同的事情，但您必须担心内存问题。