サービスとユーザの問題

2021-09-22

ここ1, 2週間ほど考え込んでいる.

設定

表現したいこと

考察

  1. (A)がAInterfaceを実装するとして、(B)がBInterfaceを実装するとする。
  2. ナイーブにAInterfaceのあるメソッドが(引数に)BInterfaceを要求すると、リスコフの置換原則に反する。
  3. (ここまで考えたところで、そもそも、ここでやりたいことはポリモーフィズムでは無いので、それはそうかとか思い始める)
  4. BInterfaceを実装するすべてのクラスの交差型とかなら、部分的には解決しそう?