派生オブジェクトのテンプレートは基本タイプのテンプレートのサブクラス

Question

'apple'が 'fruit'のサブクラスである場合、List<apple>はList<fruit>のサブクラスです。

Answer 1

番号List<apple>およびList<fruit>は関連していません。これらの両方のクラスは完全に異なる実装を持つことができ、一方を他方に変換する方法はありません。例えば、List<>テンプレートは、List<T>テンプレートとはまったく異なる構造を持つappleに対して何らかの方法で特殊化することができます。

実装が互換性があっても、List<apple>をList<fruit>として扱うことは悪い考えです。その後、リンゴを含むと考えられていたリストにすべての種類の果物を入れ始めるからです。このentry in the C++ FAQ Liteも参照してください。

Answer 2

質問はちょっと混乱しますが、私の最初の回答は少なくとも普通のプログラミング言語ではではありません。です。 の任意の変形もBの同じ変化のサブクラスであることを意味するものではないBをサブクラス。

Answer 3

いいえ！ Mutable容器はちょうどそのようには機能しません - 実際にはOOPの魅力的な側面です。

List<fruit>には、List<apple>にバナナを挿入することはできません。 Liskovの原則に違反して、あなたがサブクラス化していないことが証明されます。

変更不可能なのコンテナは実際には期待通りに機能します（共分散は技術の用語です）。

面白いことに、この魅力的な法則を印刷したことはありませんでした（の世界ではのオブジェクトはあなたがSquare IS-A Rectangleと言うことはできませんが... 不変オブジェクト、はです！） - 私はちょうど経験と観察を通して私自身でそれを思いついた。私はこの文脈で使用する学術的なリファレンスが好きです。だれかがそれを引き出すことができれば;-)

Answer 4

Javaでは、はList<Fruit>のサブクラスではありません。それらは両方ともタイプListです。

これを示すいくつかのJavaコードがあります。

import java.util.LinkedList; 
import java.util.List; 

class Fruit { } 

class Apple extends Fruit { } 

public class Main { 

    public static void main(String[] args) { 
     Fruit fruit = new Fruit(); 
     Apple apple = new Apple(); 
     List<Fruit> fruitList = new LinkedList<Fruit>(); 
     List<Apple> appleList = new LinkedList<Apple>(); 

     System.out.println(fruit.getClass().getSuperclass()); 
     System.out.println(apple.getClass().getSuperclass()); 
     System.out.println(fruitList.getClass().getSuperclass()); 
     System.out.println(appleList.getClass().getSuperclass()); 
    } 

} 

出力：

class java.lang.Object 
class Fruit 
class java.util.AbstractSequentialList 
class java.util.AbstractSequentialList 

Answer 5

は、言語に依存します - C＃4.0で、あなたがIList<object>にIList<something>をキャストすることができるようになりますが、あなたがのためのC＃3.0