为什么在Scala中不推荐使用List的+运算符？

Question

为什么在Scala中不推荐使用List的+运算符？

http://www.scala-lang.org/docu/files/api/scala/List.html#%2B%28B%29

Answer 1

好问题,所以我在Odersky等人的书中查阅了它.它说下面的内容(希望这里不引用版权侵权;-)):

为什么不附加到列表？

类List不提供追加操作,因为追加到列表所花费的时间与列表的大小呈线性增长,而前置则::需要恒定的时间.如果你想通过附加元素来建立一个列表,你的选择是先添加它们,然后当你完成调用时reverse; 或者使用a ListBuffer,提供追加操作的可变列表,以及完成呼叫时toList.

据我了解FP,前缀列表比附加更常见,至少在纯函数式语言中是这样.我只能假设Scala的设计者添加了+运算符,以方便Java开发人员,他们习惯于使用它add(),然后对它有了第二个想法.

Answer 2

它于2008年5月在修订版15071中被弃用,消息如下:

弃用所有有问题的+方法,并删除那些从未出现在版本中的方法.

我希望这是为了避免使用StringAdd#+的歧义.比较下面2.7.6和2.8.0 Beta之间的区别:

Welcome to Scala version 2.7.6.final (Java HotSpot(TM) 64-Bit Server VM, Java 1.6.0_15).
Type in expressions to have them evaluated.
Type :help for more information.

scala> List(1) + 2
warning: there were deprecation warnings; re-run with -deprecation for details
res0: List[Int] = List(1, 2)

scala> List(1) + "2"
warning: there were deprecation warnings; re-run with -deprecation for details
res1: List[Any] = List(1, 2)

在2.8中,该方法已被删除,您得到:

Welcome to Scala version 2.8.0.Beta1-RC8 (Java HotSpot(TM) 64-Bit Server VM, Java 1.6.0_15).
Type in expressions to have them evaluated.
Type :help for more information.

scala> List(1) + 2
<console>:5: error: type mismatch;
 found   : Int(2)
 required: String
       List(1) + 2
                 ^

scala> List(1) + "2"
res1: java.lang.String = List(1)2

UPDATE

在scala用户列表中,Martin Odersky指出:

要找出List#+的真正坏处,请考虑您希望以下内容产生的内容:

列表(1,2,3)+"是正确的结果"

？

oxbow_lakes补充道 - 我花了一段时间来解开这个神秘的评论,但我认为重点是它会违反+运营商隐含的类型的可交换性.也就是说,类型a + b应该与类型相同b + a

更新 Martin Odersky的澄清:

你会期待什么？

列表(1,2,3)+"是正确的结果"

生产？我希望有一个字符串:"List(1,2,3)是正确的结果".

使用2.7样式List.+,您可以获得List [Any],List(1,2,3,"是正确的结果").

我认为这是一个不好的惊喜.总之,对于在元素类型中具有协变性的集合,应该永远不会有+方法.集合和映射是非变量的,这就是为什么它们可以有+方法.这一切都相当精致和凌乱.如果我们不尝试复制Java的+用于字符串连接,我们会更好.但是当Scala得到设计时,我们的想法就是保留Java的所有表达式语法,包括String +.现在改变它已经太晚了.

Answer 3

它不是可交换的,在列表上尤其不是最理想的.此外,可变和不可变集合之间的行为也不同.在Scala 2.8上,您有以下内容:

element +: sequence   // prepend
sequence :+ element   // append
sequenece ++ sequence // concatenate

可变/不可变的东西还没有完全解决.一堆方法作为第一步被弃用,但是在没有弃用期的情况下不能更改或彻底删除它们.