Scala - đôi bên cùng có những đặc điểm độc quyền

Question

Có cách nào để xác định một tập hợp các lựa chọn thay thế của một loại phổ biến:

trait Mutability 
trait Mutable extends Mutability 
trait Immutable extends Mutability 

và có trình biên dịch ngăn cản cái gì đó như:

object Hat extends Mutable with Immutable 

Tôi tin rằng tôi có thể lực lượng một số lỗi biên dịch bằng cách có một phổ biến, mâu thuẫn thành viên nhưng được thông báo lỗi là một chút xiên:

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 

Có cách nào trực tiếp hơn để thể hiện ràng buộc này và không cho phép ai đó làm việc xung quanh nó bằng cách lấy gợi ý được cung cấp bởi trình biên dịch (ghi đè 'xung đột' trong Hat)?

Thanks cho bất kỳ những hiểu biết

Answer 1

Tôi nghĩ rằng điều này có thể làm việc

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

trait MutabilityLevel[A <: Mutability] 

class Foo extends MutabilityLevel[Immutable.type] 

này (ab?) Sử dụng thực tế là bạn không thể mở rộng cùng một đặc điểm hai lần với tham số khác nhau

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] 

Tuy nhiên ..

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