super 不在操作员位置？

Question

在 Scala 中，当方法调用位于操作符位置时，调用方法是有语法糖的。例如(5).+(3)可以写成5 + 3。其规则是

class X {
  def x(i: Int) = i * 2
}
class Y extends X {
  override def x(i: Int) = super.x(i + 1)
}

当我将点留在 super 后面时，我会收到编译器错误。在这里，super 是对象，x 是方法，i + 1 是参数，因此我不明白为什么会出现错误。谁能解释一下吗？

Answer 1

我相信这是因为 super 关键字必须（但请参阅 huynhjl 的评论和下面的详细信息）后跟一个 . ，然后跟一个有效的成员标识符 -- < em>这似乎是语法产生规则。

考虑到 val expr = (super) 没有任何有用的含义，并且应该始终是无效的（在这方面，它与 this 完全不同，后者本身就是一个有效的表达式）。在语法级别要求 super.member 形式可能是有意为之，但这需要一些挖掘。根据规范的措辞（请参阅 huynhjl 的评论）和 per语法“摘要”规则。

class X {
  def x(): X = this
}
class Y extends X {
  // Still kaboom of course -- message is effectively the same
  // and indicates a grammar production has been violated.
  // Message: error: '.' expected but '}' found.
  override def x(): X = super
}

快乐编码。

---

更新（参考资料）：

来自 Scala 语言规范 2.8 讨论 第 6.5 节中的 super：

<块引用>

引用 super.m 以最不恰当的方式静态引用方法或类型 m
包含引用的最内层模板的超类型。它评估为
该模板的实际超类型中的成员等于 m 或
覆盖m。 静态引用的成员m必须是类型或方法
...
super 前缀后面可能跟有特征限定符 [T]，如 C.super[T].x 中所示。这
称为静态超级引用。在这种情况下，引用的是类型或方法
x 位于 C 的父特征中，其简单名称为 T。

摘自 Scala 语法摘要（A 章）：

stableId ::= id
           | Path ‘.’ id
           | [id ’.’] ‘super’ [ClassQualifier] ‘.’ id