什么是“字符串与诠释”应该是什么意思？

> val foo: PartialFunction[String, Unit] = { case i: String => } 
foo: PartialFunction[String,Unit] = <function1> 

> val bar: PartialFunction[Int, Unit] = { case i: Int => } 
bar: PartialFunction[Int,Unit] = <function1> 

> foo orElse bar 
PartialFunction[String with Int,Unit] = <function1>

什么是String with Int?。我不认为这是可能的。什么是“字符串与诠释”应该是什么意思？

> (foo orElse bar)(new String with Int) 
error: illegal inheritance from final class String 
    (foo orElse bar)(new String with Int) 
        ^
error: class Int needs to be a trait to be mixed in 
    (foo orElse bar)(new String with Int) 
           ^

是不是应该是PartialFunction[Nothing,Unit]？

来源

2014-11-22 Paul Draper

什么是字符串与INT？

这是一个交集类型。即此类型的值必须同时为Int和String。

我不认为这是可能的。

是的，这是一种无人居住的类型。但是，一般情况下，如果将Int和String替换为某些类型A和B，则会得到PartialFunction[A with B, Unit]，编译器对此没有特殊情况。

来源

2014-11-22 17:56:00

那么，它会* *让你传入null，用合适的演员。这没有多大帮助，但它确实在技术上有用。 – 2014-11-22 17:57:41

啊，我会预料到'A with B'只有在'B'是一个特质时才有效。 – 2014-11-22 18:02:01

我只用Scala 2.9.2测试过，因为这是我得心应手的。不确定新版本的行为是否有所不同。 – 2014-11-22 18:03:41

嗯，正如前面所说的，它是一个复合型，它适用于任何两种（类，性状），如下面的代码：

class B 
class C extends B 
class D extends C 

val bf: PartialFunction[B, Unit] = {case b: B => println("some b") } 
val cf: PartialFunction[C, Unit] = {case c: C => println("some c") } 
val g = bf orElse cf 

g(new D) // some b

这只是有时在缺乏意识一些情况。这些链接可能证明是有用的：

http://www.scala-lang.org/old/node/110

http://www.scala-lang.org/files/archive/spec/2.11/03-types.html#compound-types

来源

2014-11-22 18:56:27 ale64bit

什么是“字符串与诠释”应该是什么意思？

回答

相关问题