解释器如何使用 DSL？

Question

我正在为我的领域特定语言使用解释器，而不是编译器（尽管性能）。不过，我很难理解一些概念：

假设我有一个用于游戏的 DSL（XML 风格），以便开发人员可以轻松地构建对象：

<building>
  <name> hotel </name>
  <capacity> 10 </capacity> 
</building>

DSL 脚本被解析，然后会发生什么？

它是否执行现有方法来创建新建筑物？据我了解，它不会简单地将 DSL 转换为较低级别的语言（因为这需要编译）。

有人可以描述解释器将如何处理生成的解析树吗？

感谢您的帮助。

Answer 1

很大程度上取决于您的具体应用细节。例如，name 和 capacity 是必需的吗？我将给出一个相当笼统的答案，这可能有点矫枉过正。

假设：

1. 所有嵌套属性都是可选的
2. 有许多嵌套属性，可能具有不同的深度

这带来了 2 个想法：将您的解释器构建为递归下降解析器，并为您的对象使用某种构建器。在您的具体示例中，您将有一个 BuildingBuilder 看起来像（在 Java 中）：

public class BuildingBuilder {
  public BuildingBuilder() { ... }
  public BuildingBuilder setName(String name) { ... return this; }
  public BuildingBuilder setCapacity(int capacity) { ... return this; }
  ...
  public Building build() { ... }
}

现在，当您的解析器遇到 building 元素时，使用 BuildingBuilder 构建建筑物。然后将该对象添加到 DSL 适用的任何上下文 (city.addBuilding(building))。

请注意，如果name 和capacity 是详尽无遗的并且始终是必需的，您可以通过直接传递这两个参数来创建建筑物。您还可以构建建筑物并直接设置属性，而不是使用构建器（当您有许多属性并且所述属性既不可变又可选时，构建器模式很好）。

如果这是在非面向对象的上下文中，您最终将实现某种 buildBuilding 函数，该函数采用当前上下文和构建元素的内部 xml。实际上，您正在手动构建一个递归下降解析器，其中包含一个 xml 库，提供对单个元素的实际解析。

无论您如何实现它，您都可能会喜欢在 DSL 中的 xml 元素和解释器中的方法/对象之间进行直接语义映射。