類型綁定爲兩個不相關的類型

Question

是否有可能對Scala中兩個不相關的類型有限制？ 例如，

trait A 
trait B 
def m(T <: A or B) ???? 

感謝

Answer 1

如果您A和B是完全不相關的（例如，你所需要的，否則，你可以只使用結構類型不常用的方法），這意味着當你使用它作爲方法參數，您仍然需要實際使用的類型。

在這種情況下，Either[A, B]正是您所需要的。它表示一個對象必須是A或B中的一個，並且您可以在任一類中使用模式匹配或其他方法來檢查它們。

例如：

class MyClassA { 
    def methodA() = println("I'm A") 
} 

class MyClassB { 
    def methodB() = println("I'm B") 
} 

def m(a: Either[MyClassA, MyClassB]) { 
    a match { 
    case Left(a) => a.methodA() 
    case Right(b) => b.methodB() 
    } 
} 

m(Left(new MyClassA)) // OK 
m(Right(new MyClassB)) // OK 
m(Left(new MyClassB)) // Failed, a Left must be a MyClassB instance 

你可能有興趣在此article，這說明了什麼或者是很清楚。