サブタイプを作成して型制限を実現する

Question

私はScalaには新しく、その中に個人プロジェクトをコーディングすることを学んでいます。

私はこの問題を抱えていて、周りを見回してもあまり役に立ちませんでした。だから -

私はService1がどの機能が可能で誤っているかを定義するようにコードを制限したいと思います。 例： Service1はオブジェクトA、C、E、Gを合成することができ、他の機能が提供されている場合はエラーを表示します。

他のクラスを変更せずにService1の定義だけでこれをプログラムで制限できますか？

私の質問がはっきりしていることを願っています。

ありがとうございます。

Answer 1

Featureが間違っているときにscalacにエラーを表示させ、Service1以外を変更することはできません。コンパイラはそのインターフェイスに基づいてService1.containsFeatureへの呼び出しを受け入れるか拒否しますが、そのインターフェイスは既にServiceに定義されており、のいずれかを受け入れます。 を受け入れます。

他のコードについて変更することができる場合は、いくつかの方法があります。たとえば、すべてを変更できる場合：

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

abstract class Service[Allowed <: Feature] { 
    def containsFeatures(x: Allowed*): Unit 
} 

object Service1 extends Service[S1Feature] { 
    def containsFeatures(x: S1Feature*): Unit = println("ok") 
} 

object Service2 extends Service[S2Feature] { 
    def containsFeatures(x: S2Feature*): Unit = println("ok") 
} 

sealed trait Feature 
sealed trait S1Feature extends Feature 
sealed trait S2Feature extends Feature 

case object A extends S1Feature 
case object B extends S2Feature 
case object C extends S1Feature 
case object D extends S2Feature 
case object E extends S1Feature 
case object F extends S2Feature 
case object G extends S1Feature 

// Exiting paste mode, now interpreting. 

scala> Service1.containsFeatures(A,B,C) 
<console>:16: error: type mismatch; 
found : B.type 
required: S1Feature 
     Service1.containsFeatures(A,B,C) 
           ^

scala> Service1.containsFeatures(A,C,G) 
ok