0

我正在尝试用 C++ 创建一个简单的动态语言解释器。我希望能够声明动态类型的数组，但我不确定如何将它们存储在 C++ 中的某个对象中。

在 Ruby/Python 中，我可以存储任何我想要的东西，但是在 C++ 中这样做的有效方法是什么？

（另外，如果有人有一个简单的开源词法分析器/解析器/解释器的链接，用于像 Ruby 这样的动态语言，我会很感激一个链接）。

4

3 回答 3

1

您将不得不根据您的语言语义推出一些自定义解决方案。例如，您可以使用boost::any来存储任何对象，但您将无法执行名称查找等操作。一些汇编程序的知识在这里很有用，因为您基本上是在模仿它。大多数人做的事情是这样的

struct Object {
    boost::any cppobject;
    std::unordered_map<std::string, std::function<void(boost::any&, std::vector<boost::any>&)> funcs;
};

std::vector<Object> stuff;

当，在你的假设语言中，你有类似的东西

stuff[0].hi();

然后你可以把它转换成类似的东西

std::vector<boost::any> args;
// fill args
stuff.at(0).funcs["hi"](stuff.at(0).cppobject, args);
// now args holds the result

很可能进一步优化这个方案，但不能进一步推广它，因为它已经是最通用的了。

于 2012-12-01T09:14:36.387 回答
0

使用联合或动态分配通用基本类型的对象（并通过 dynamic_cast 或等效构造适当地向下转换它们）的替代方法是boost::variant，它允许您编写如下代码：

typedef boost::variant<int, float, char, std::string> LangType;
std::vector<LangType> langObjects;

如果您的设计允许这样的实现，那么它的优点是编译时安全，并且避免了使用堆、虚函数和多态向下转换所带来的任何惩罚。

于 2012-12-01T09:14:13.890 回答
0

动态语言存储通用对象的方式是通过指针，你可以在 C++ 中做同样的事情。存储指向您在 C++ 类中定义的通用“对象”的指针，这是一种有效的方法。

于 2012-12-01T09:04:54.287 回答