一連の子オブジェクトを画面に表示するライブラリを作成しています。子オブジェクトは抽象であり、このライブラリのユーザーがこの抽象クラスから独自の子を派生させることを目的としています。
public abstract class Child : IRenderable {}
public interface IParent<T> where T : Child
{
IEnumerable<T> Children { get; }
}
複雑なのは、作業する IParent のリストがなく、代わりにたくさんの IRenderables があることです。ライブラリのユーザーは、次のようなものを書くことが期待されています。
public class Car : IRenderable { }
public class Cow : IRenderable, IParent<Calf> { }
public class Calf : Child { }
// note this is just an example to get the idea
public static class App
{
public static void main()
{
MyLibraryNameSpace.App app = new MyLibraryNameSpace.App();
app.AddRenderable(new Car()); // app holds a list of IRenderables
app.AddRenderable(new Cow());
app.Draw(); // app draws the IRenderables
}
}
Draw() では、ライブラリは IRenderable も IParent であるかどうかをキャストして確認する必要があります。しかし、私はふくらはぎを知らないので、牛を何にキャストすればよいかわかりません。
// In Draw()
foreach(var renderable in Renderables)
{
if((parent = renderable as IParent<???>) != null) // what to do?
{
foreach(var child in parent.Children)
{
// do something to child here.
}
}
}
どうすればこの問題を克服できますか? これは、共分散ジェネリックと関係がありますか? (私は共分散の概念に精通していません)?