Spécialiste Types Sealed génériques

Question

En Scala, je voudrais être en mesure de définir un type générique de nœuds d'arbre de syntaxe abstraite un peu comme ce

sealed abstract class AST[T <: AST[T]] { 
    def child : List[T] ; 
} 

case class LeafAST[T <: AST[T]](x : Int) extends AST[T] { 
    def child = Nil 
} 

case class BranchAST[T <: AST[T]](left : T, right : T) extends AST[T] { 
    def child = left :: right :: Nil 
} 

Maintenant, je peux écrire du code générique comme celui-ci

def countLeaves[T <: AST[T]](x : AST[T]) : Int = x match { 
    case LeafAST(x) => 1 
    case BranchAST(left, right) => countLeaves[T](left) + countLeaves[T](right) 
} 

Maintenant, mon premier problème est que le mot-clé sealed semble n'avoir aucun effet. Si je omets un cas de l'expression de correspondance, il n'y a pas d'erreur. Pourquoi et comment puis-je écrire ce que je veux? (J'ai d'autres problèmes - par exemple, comment spécialiser AST--, mais je vais juste coller à un problème par poste.)

Answer 1

Il n'y a pas d'erreur - il ya un avertissement. Par exemple:

scala> :paste 
// Entering paste mode (ctrl-D to finish) 

sealed abstract class AST[T <: AST[T]] { 
    def child : List[T] ; 
} 

case class LeafAST[T <: AST[T]](x : Int) extends AST[T] { 
    def child = Nil 
} 

case class BranchAST[T <: AST[T]](left : T, right : T) extends AST[T] { 
    def child = left :: right :: Nil 
} 

// Exiting paste mode, now interpreting. 

defined class AST 
defined class LeafAST 
defined class BranchAST 

scala> def countLeaves[T <: AST[T]](x : AST[T]) : Int = x match { 
    |  case LeafAST(x) => 1 
    | } 
<console>:10: warning: match is not exhaustive! 
missing combination  BranchAST 

     def countLeaves[T <: AST[T]](x : AST[T]) : Int = x match { 
                 ^
countLeaves: [T <: AST[T]](x: AST[T])Int 

Vous pouvez le transformer en une erreur avec le drapeau -Xfatal-warnings.