Javaのパラメトリック多形性（例）

Question

パラメトリック多形性は、さまざまなデータ（型）にわたって一様なアクションを可能にする技術です。私の知識は正しいですか？

この例はパラメトリック多形ですか？ Animal.talkは、特定の動物タイプ（猫や犬）にもかかわらず呼び出すことができるので、それは信じています。

public interface Animal 
{ 
    public String talk(); 
} 

public class Cat implements Animal 
{ 
    public String talk() 
    { 
    return "Cat says Meow!"; 
    } 
} 

public class Dog implements Animal 
{ 
    public String talk() 
    { 
    return "Dog says Woof! Woof!"; 
    } 
} 

import java.util.*; 

public class PolymorphismExample 
{ 
    public static void main(String[] args) 
    { 
    Collection<Animal> animals = new ArrayList<Animal>(); 
    animals.add(new Cat()); 
    animals.add(new Dog()); 
    for (Animal a : animals) 
    { 
     System.out.println(a.talk()); 
    } 
    } 
} 

よろしくお願いいたします。

編集：私の例がパラメトリック多形性を特に示していない場合は、1つを入力してください。ありがとうございました。

Answer 1

「パラメトリック多態性」は、Javaの「ジェネリックス」の別の用語です。考え方は単純です：タイプのが特定のクラスで使用されることを明示している場合、その明確な例はjava.utilパッケージのすべてのコレクションにあります。

Javaでジェネリックのニュアンスを学ぶために、私はAngelika LangerのFAQを強くお勧めします。あなたのコードで

、この行は、ジェネリック医薬品の使用例である：

Collection<Animal> animals = new ArrayList<Animal>(); 

コレクションは動物である任意のオブジェクトを保持するために指定されています。

Answer 2

正確に。パラメトリック多形性は、一般にジェネリック/テンプレートを指す。ウィキペディアから

：それは彼らの種類によらず同じ値を処理できるように、パラメトリック多型を用い

、関数またはデータ・タイプは、一般的に書き込むことができます。

Answer 3

ウィキペディア：プログラミング言語と型理論で

は、パラメトリック多型は、まだ完全な静的な型の安全性を維持しながら、言語より表現にする方法です。パラメトリック多型を使用すると、関数またはデータ型は、その型に依存することなく値を同じように処理できるように、汎用的に記述できます。このような関数およびデータ型は、汎用関数および汎用データ型とそれぞれ呼ばれ、汎用プログラミングの基礎を形成する。

これは、標準的なJavaライブラリコレクションです。

例えば、Collections.sortは次のように宣言されている：それは他のT年代に匹敵するタイプTのオブジェクトのリストを取り、どのようなタイプTを心配することなく、リストを並べ替えることができます

public static <T extends Comparable<? super T>> void sort(List<T> list) 

は実際にあります。

これは、サブタイプの多型と異なっている：サブタイプの多型はsortがListの任意の並べ替え取ることができるという事実によって例示される - ArrayList、LinkedListなど