Dépendance en traits héritage

Question

Dans Scala, comment puis-je ajouter un trait de conteneur (comme Traversable [Contenu]) à un autre qui étend le récipient (et a ainsi limité la visibilité de son contenu?

Par exemple, le code ci-dessous tente de définir un WithIter trait pour un conteneur nécessitant Traversable (bien sûr, j'ai en fait d'autres choses dans le conteneur)

import scala.collection._ 

trait Container { 
    type Value 
} 

trait WithIter extends Container with immutable.Traversable[Container#Value] 

class Instance extends WithIter { 
    type Value = Int 
    def foreach[U](f : (Value) => (U)) : Unit = {} 
} 

compilateur (scalac 2.8.0.Beta1-de RC8) trouve une erreur.

error: class Instance needs to be abstract, since method foreach in trait GenericTraversableTemplate of type [U](f: (Container#Value) => U)Unit is not defined

Y a-t-il un moyen simple?

Answer 1

class Instance extends WithIter { 
    type Value = Int 
    def foreach[U](f : (Container#Value) => (U)) : Unit = {} 
} 

Si vous ne spécifiez pas OuterClass# en parlant d'une classe interne, puis this. (c.-à-spécifique par exemple) seront pris en charge.

Answer 2

Pourquoi utilisez-vous un type abstrait? Les génériques sont simples:

import scala.collection._ 

trait Container[T] {} 

trait WithIter[T] extends Container[T] with immutable.Traversable[T] 

class Instance extends WithIter[Int] { 
    def foreach[U](f : (Int) => (U)) : Unit = {println(f(1))} 
} 


new Instance().foreach((x : Int) => x + 1)