Java DOM/AST - 为什么 MethodInvocation 是一个表达式？

Question

在 Java DOM/AST (http://help.eclipse.org/indigo/topic/org.eclipse.jdt.doc.isv/reference/api/org/eclipse/jdt/core/dom/package-tree.html) 中，为什么 Initializer 包含块，为什么 MethodInvocation 是表达式而不是语句？

我的意思是，给定代码

int a = Integer.parseInt("1");

ASTView 插件只显示 INITIALIZER > MethodInvocation
有没有真正具有 Block 元素的 Initializer？

另外，如果我有这样的方法

public void thisMethod(){
    System.out.println();
}

MethodInvocation 被包装到一个 ExpressionStatement 中。但是为什么 MethodInvocation 不是一个声明呢？一个简单的 System.out.println() 就是一个有效的“声明”。 Java DOM/AST 意义上的表达式缺乏代表自身的能力。

也许我只是没有完全理解表达式和语句之间的分离。

Answer 1

AST 树旨在反映编程语言的语法规则。

从语法上讲，初始化程序由一个块组成，其前面有一个可选的static 修饰符。因此，最自然的实现是拥有一个由Block 和修饰符（继承自BodyDeclaration）组成的Initializer 类。所以我不明白你为什么质疑它。

初始化器示例：

class Foo {
  static {
    System.out.println("static initializer");
    System.out.println("class Foo now initialized");
  }

  {
    System.out.println("instance initializer");
    System.out.println("an instance of Foo has been created");
  }
}

---

表达式和语句是两种不同的句法结构。有些地方只允许使用表达式或语句。但是有像方法调用这样的构造，它们是表达式语句，这意味着可以同时满足表达式和语句的角色。它们可以单独调用以产生副作用，也可以在需要值的地方调用。

但由于 Java 不允许多重继承，您无法创建继承自 Expression 和 Statement 的 AST 类 ExpressionStatement。因此，您需要一个像 Eclipse AST 中的解决方案，其中 ExpressionStatement 从一个继承并包装另一个。决定继承哪一个以及封装哪一个很容易：您可以创建一个Statement 实现（子类），它会删除它已封装的Expression 的结果，但您不能创建一个提供结果的Expression 实现对于Statement，它的接口不提供任何结果。这种实现的替代方法是使用接口。