Scala - sich gegenseitig ausschließende Merkmale

Question

Gibt es eine Möglichkeit, eine Sammlung von Alternativen eines gemeinsamen Typ zu definieren:

trait Mutability 
trait Mutable extends Mutability 
trait Immutable extends Mutability 

und haben den Compiler schließt so etwas wie:

object Hat extends Mutable with Immutable 

Ich glaube, ich kann Kraft einige Compiler-Fehler, eine gemeinsame, in Konflikt Element durch, jedoch die Fehlermeldung ist ein bisschen schräg:

trait Mutability 
trait Mutable extends Mutability { protected val conflict = true } 
trait Immutable extends Mutability { protected val conflict = true } 

object Hat extends Mutable with Immutable 

<console>:10: error: object Hat inherits conflicting members: 
value conflict in class Immutable$class of type Boolean and 
value conflict in class Mutable$class of type Boolean 
(Note: this can be resolved by declaring an override in object Hat.) 
    object Hat extends Immutable with Mutable 

Gibt es eine direktere Möglichkeit, diese Einschränkung auszudrücken und es nicht jemandem zu erlauben, damit umzugehen, indem man den Hinweis des Compilers nimmt (Override 'Konflikt' in Hat)?

Dank für irgendwelche Einsichten

Answer 1

Ich denke, das

sealed trait Mutability 
case object Immutable extends Mutability 
case object Mutable extends Mutability 

trait MutabilityLevel[A <: Mutability] 

class Foo extends MutabilityLevel[Immutable.type] 

funktionieren könnte

Diese (ab?) Nutzt die Tatsache, dass Sie das gleiche Merkmal nicht verlängern kann zweimal mit unterschiedlicher Parametrierung

scala> class Foo extends MutabilityLevel[Immutable.type] with MutabilityLevel[Mutable.type] 
<console>:11: error: illegal inheritance; 
self-type Foo does not conform to MutabilityLevel[Immutable.type]'s selftype MutabilityLevel[Immutable.type] 
     class Foo extends MutabilityLevel[Immutable.type] with MutabilityLevel[Mutable.type] 
         ^
<console>:11: error: illegal inheritance; 
self-type Foo does not conform to MutabilityLevel[Mutable.type]'s selftype MutabilityLevel[Mutable.type] 
     class Foo extends MutabilityLevel[Immutable.type] with MutabilityLevel[Mutable.type] 

Jedoch

scala> class Foo extends MutabilityLevel[Mutability] 
defined class Foo