执行以 _ 结尾的方法！在Scala中有特殊含义吗？

Question

以 _! 结尾的方法（例如 delete_! 或 i_is_!）是否有特殊含义？它们“只是名字”吗？他们遵循一些惯例吗？甚至还有bulkDelete_!!。 （如果有影响的话，具体上下文是“Lift”。）

Answer 1

我不确定在 Lift 中使用 _! 和 _!! 的约定是什么，但这里有一些背景知识。

任何字母数字标识符都可以添加 _ 和符号列表，并且仍然被解析为单个标识符。例如：（

scala> class Example_!@%*!
defined class Example_$bang$at$percent$times$bang

事实上，如果用反引号括起来，您几乎可以将任何内容解析为标识符——例如，如果 Java 类使用 Scala 保留字，您就可以这样做。或者如果您希望标识符中包含空格.)

然而，编译器仅识别一种特殊的符号结尾。如果有一个看起来像 getter 的方法，那么 getter_= 将被解释为 setter。 （您是否真的使用它作为setter取决于您；无论如何，它都会具有setter的语义。）因此，

scala> class Q { def q = "Hi"; def q_=(s: String) { println(s.reverse) } }
defined class Q

scala> val q = new Q
q: Q = Q@b5c12e

scala> q.q
res0: java.lang.String = Hi

scala> q.q = "Could use this to set something"
gnihtemos tes ot siht esu dluoC

此外，编译器会颠倒中调用者和被调用者的顺序任何以 : 结尾的方法。这在列表中最常见：newElement::existingList 实际上是对 existingList.::(newElement) 的调用。因此，例如：

scala> object Caps { def to_:(s: String) = s.toUpperCase }
defined module Caps

scala> "Example" to_: Caps
res40: java.lang.String = EXAMPLE

_ + 符号的任何其他用法都是约定。

Answer 2

没有什么特殊含义！在 Scala 名称中。在基于 Lisp 的语言家族中，!通常用于指示函数有副作用，这看起来是这里的约定。

Answer 3

奇怪的是，到目前为止没有提到（虽然与你的问题不是特别相关）是unary_！这是经过特殊处理的。

scala> class A { def unary_! = 5 }
defined class A

scala> !(new A)
res0: Int = 5