为什么你不能在 scala 中创建一个没有 getter 的 setter？

Question

我在Scala: can't write setter without getter? 中发现没有getter 就无法创建setter：

对赋值的解释 一个简单的变量 x = e 取决于 x的定义。如果 x 表示一个 可变变量，然后赋值 将 x 的当前值更改为 评估结果 表达式 e. e 的类型是 期望符合 x 的类型。 如果 x 是无参数函数 在某些模板中定义，并且相同 模板包含一个 setter 函数 x_= 作为成员，然后赋值 x = e 被解释为调用 该 setter 函数的 x_=(e)。 类似地，分配 f.x = e 到 无参数函数 x 是 解释为调用 f.x_=(e ）。赋值 f(args) = e 与 左侧的功能应用程序 ‘=’ 操作符被解释为 f.update(args, e ) ，即调用 由 f 定义的更新函数。

因此，不允许没有 getter 的 setter 是一个设计决定。但为什么？ 是更难实施还是根本不可能做到？

我确实有一个有效的用例，将它用作（有些复杂的）设置器，不使用这种语法糖会破坏项目中任何地方的相同语法。

Answer 1

您可以尝试这样从您的 API 中排除访问者：

scala> class C { def c_=(i: Int) = println(i) ; private def c: Int = ??? }
defined class C

scala> val c = new C
c: C = C@289fdb08

scala> c.c = 42
<console>:14: error: method c in class C cannot be accessed in C
val $ires0 = c.c
               ^
<console>:12: error: method c in class C cannot be accessed in C
       c.c = 42
         ^

scala> def f = { c.c = 42 ; 0 }
<console>:12: error: method c in class C cannot be accessed in C
       def f = { c.c = 42 ; 0 }
                   ^

在第一个错误中，REPL 正在尝试使用访问器报告值。

这种成对的访问器和修改器的概念被称为通用访问原则，因此被访问的成员看起来像一个属性。

表达式c.c 必须在进一步去糖之前进行类型检查。否则，转换（对c.c_= 的调用）必须是纯语法的。

例如，提供扩展方法c_= 的隐式转换可能会发挥作用。