Type lié pour deux types non liés

Question

Est-il possible d'avoir une restriction sur deux types non liés dans Scala? Par exemple,

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

Merci

Answer 1

Si votre A et B est totalement indépendant (par exemple, pas de méthode commune que vous avez besoin, sinon vous pourriez simplement utiliser type de structure), cela signifie que lorsque vous l'utilisez En tant que paramètre de méthode, vous avez toujours besoin de quel type il est réellement pour les utiliser.

Dans ce cas, Either[A, B] est exactement ce dont vous avez besoin. Il indique qu'un objet doit être un de A ou B, et vous pouvez utiliser la correspondance de modèle ou une autre méthode dans la classe Sither pour les vérifier.

Par exemple:

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 

Vous pouvez intéressé par cet article, ce qui explique ce qui est soit très clairement.