java - Java调用方法时可以省略 'this'吗？

Question

我有一个关于 Java (6/7/8) 语法的愚蠢问题 - 这两个方法调用片段是否总是等价？

1. 用这个

   this.myMethod(4);
   

2. 没有这个

   myMethod(4);
   

注意:当然问题是关于参数的每个数字、类型和组合

较弱的陈述:给定程序 P，我能否仅通过删除 this. 来创建程序 P'在每个方法调用之前？

我考虑了本地类、匿名类、内部类和各种继承，但没有发现任何矛盾。所以我相信这两个片段实际上是一样的。不幸的是，我无法找到任何合适的证据(例如来自官方语法)。

你能用反证法证明我错了，或者给我一些构造等价性证明的线索吗？非常感谢。

编辑:等价性被证明是错误的(见下面的评论)较弱的陈述呢？

Answer 1

Java Language Specification州

• If the form is MethodName - that is, just an Identifier - then:
  • Otherwise, let T be the enclosing type declaration of which the method is a member, and let n be an integer such that T is the n'th lexically enclosing type declaration of the class whose declaration immediately contains the method invocation. The target reference is the n'th lexically enclosing instance of this.

和

When used as a primary expression, the keyword this denotes a value that is a reference to the object for which the instance method or default method was invoked (§15.12), or to the object being constructed

和

• If the form is Primary . [TypeArguments] Identifier involved, then:
  • Otherwise, the Primary expression is evaluated and the result is used as the target reference.

Primary 这里指的是this.*.

在这两种情况下，该方法将被解析为相同的方法。鉴于所有这些信息，没有可以从可编译程序 P 创建的可编译程序 P'。