我有一个相当技术性的问题，涉及接收器参数上下文中的覆盖等效项（JLS 8.4.2 ）的定义。
\n\n编辑：发布这个问题后，有关接收器参数的评论中有很多混乱。this许多人似乎认为在下面的代码中命名参数是非法的，因此误解了这个问题。如果您不了解此功能，请参阅https://docs.oracle.com/javase/specs/jls/se9/html/jls-8.html#jls-8.4.1 。也许更容易理解的解释可以在这里找到：http://blog.joda.org/2015/12/explicit-receiver-parameters.html。这个问题技术性很强，针对的是经验丰富的 Java 开发人员，他们熟悉接收器参数并了解 Java 语言规范 (JLS)。
术语覆盖等效定义如下：
\n\n\n\n\n如果满足以下任一条件，则方法的签名
\n\nm1是方法签名的子签名m2：\n
\n\n- \n
m2m1具有与, 或相同的签名- 的签名与的签名的擦除（ \xc2\xa74.6
\nm1）相同。m2两个方法签名
\nm1和m2是重写等效的，当且仅当m1是 的子签名m2或者m2是 的子签名m1。
因此，如果我理解正确的话，下面的类中的两个方法不是重写等效的，尽管直观上我期望它们是：
\n\nclass A {\n void foo(A this) { /* ... */ }\n void foo() { /* ... */ }\n}\n尽管如此，显然我不能在同一个类中声明这两个方法，当我尝试这样做时，编译器理所当然地抱怨foo()已经定义了。
我的问题由两部分组成：
\n\n好吧，我找到了答案，我将其留在这里，希望有一天它可以帮助别人。
\n\n我的两部分问题的答案是：
\n\n不，原始帖子中的两种方法是覆盖等效的。
定义的相关部分是JLS 8.4.2的第一句：
\n\n\n两个方法或构造函数
\nM和，如果它们具有相同的名称、相同的类型参数（如果有）（\xc2\xa78.4.4），则N具有相同的签名，并且，在将 的形式参数类型调整为 的类型参数之后，相同的形式参数类型。NM
我已经阅读了该部分，但我假设接收器参数虽然特殊，但也应被视为（一种特殊类型的）形式参数。因此，我假设接收器参数隐式包含在句子“ （...）在调整形式参数类型（...）之后”（强调我的）。然而，事实并非如此。接收器参数也不是形式参数；相反，接收参数和形式参数的定义是互斥的。因此，接收者参数不是上面引用中定义的方法签名的一部分。由于覆盖等效的定义使用方法签名的定义，这也意味着我原来的帖子中的两个方法实际上是 override-equivalent 的（因为它们确实具有相同的签名！）。
\n\n澄清接收器参数确实不是形式参数的相关部分稍后出现在JLS 8.4.2节中：
\n\n\n\n\n接收者参数是实例方法或内部类构造函数的可选语法设备。对于实例方法，接收者参数表示调用该方法的对象。对于内部类的构造函数，接收者参数表示新构造对象的直接封闭实例。无论哪种方式，接收者参数的存在只是为了允许在源代码中表示所表示的对象的类型，以便可以对类型进行注释。接收者参数不是形式参数；更准确地说，它不是任何类型变量的声明 ( \xc2\xa74.12.3 )，它永远不会绑定到在方法调用表达式或限定类实例创建表达式中作为参数传递的任何值，并且它没有任何效果无论在运行时。
\n
（强调我的）
\n\n接收者参数不是形式参数的声明在一大堆文本中有点丢失。
\n| 归档时间： |
|
| 查看次数： |
402 次 |
| 最近记录： |