奥德斯基对“账单！*&^%~代码！”是认真的吗？

Question

在他的《scala 编程》一书中（第 5 章第 5.9 节第 93 页） Odersky

在同一页的脚注中提到了这个表达式“bills !*&^%~ code!”：

“现在你应该能够弄清楚，给定这段代码，Scala 编译器将

调用(bills.!*&^%~(code)).!()."

这对我来说有点神秘，有人可以解释一下这里发生了什么吗？

Answer 1

奥德斯基的意思是，可能会有这样的有效代码。例如，下面的代码：

class BadCode(whose: String, source: String) {
  def ! = println(whose+", what the hell do you mean by '"+source+"'???")
}

class Programmer(who: String) {
  def !*&^%~(source: String) = new BadCode(who, source)
}

val bills = new Programmer("Bill")
val code = "def !*&^%~(source: String) = new BadCode(who, source)"
bills !*&^%~ code!

只需将其复制并粘贴到 REPL 上即可。

Answer 2

对于调用采用单个参数或具有空参数列表的方法，句点是可选的。

使用此功能时，方法名称后面的空格后面的下一个块被假定为单个参数。

因此，

(bills.!*&^%~(code)).!()。

与账单相同

！*&^%~ 代码！

第二个感叹号对第一个方法调用的返回值调用一个方法。

Answer 3

我不确定这本书是否提供了方法签名，但我认为这只是对 Scala 语法糖的评论，因此它假设您输入：

bill add monkey

其中有一个对象帐单，其中有一个方法 add ，该方法接受一个参数，然后它会自动将其解释为：

bill.add(monkey)

由于 Scala 有点生疏，我不完全确定它如何分割代码！进入 (code).!() ，除了 ! 的灰色单元格模糊地发痒。运算符用于触发参与者，在编译器术语中，该参与者可能被解释为对象上的隐式 .!() 方法。

Answer 4

可选的“.()”与方法调用（如上面 Wysawyg 所解释的）的组合以及使用（几乎）您喜欢的任何字符来命名方法的能力，使得在 Scala 中编写看起来像运算符重载的方法成为可能。您甚至可以发明自己的运算符。

例如，我有一个处理 3D 计算机图形的程序。我有自己的类 Vector 来表示 3D 矢量：

class Vector(val x: Double, val y: Double, val z: Double) {
    def +(v: Vector) = new Vector(x + v.x, y + v.y, z + v.z)

    // ...etc.
}

我还定义了一个方法 ** （上面未显示）来计算 两个向量的叉积。您可以像 Scala 中那样创建自己的运算符，这非常方便，没有多少其他编程语言具有这种灵活性。