>ただ、それを実装に落とすとどうしても、オブジェクトAはどのサブクラス・サブタイプを
>インスタンス化すべきかを知らないといけないことになる。
>その依存(どのクラスをインスタンスかすべきか)をなくすのがDIだ。

お勉強でなぞなぞやってるんじゃないから、なくした場合の成果をまず書くべきだろう。
オブジェクト指向に取り付かれている人は、よく「美しく実装できる」とか、現場が本来求めていない帰結に達するときがあるので、着地点のアピールはきちんとした方が良い。

で、前半部分だが、オブジェクト指向にしたから出てきた問題なんじゃないの?

すまんが、俺理論で作ったら行き詰まったので俺理論・改を考案した!以上の意味には取れなかった。