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()); 
    } 
    } 
} 

감사합니다.

편집 : 내 예제가 매개 변수 다형성을 구체적으로 나타내지 않는 경우 하나를 제공 하시겠습니까? 고맙습니다.

Answer 1

"매개 변수형 다형성"은 Java의 "Generics"에 대한 또 다른 용어입니다. 아이디어는 간단합니다. 유형이 특정 클래스에서 사용될 것이라고 명시되어 있습니다. 이에 대한 명확한 예는 java.util 패키지의 모든 컬렉션에 있습니다.

Java에서 제네릭의 모든 뉘앙스를 배우려면 Angelika Langer의 FAQ을 강력히 권장하며 모든 사양을 탐색합니다.

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

모음은 동물 개체를 유지하기 위해 지정됩니다 : 당신의 코드에서

,이 라인을 사용하여 제네릭의 예입니다.

Answer 2

정확하게. 파라 메트릭 다형성은 일반적으로 generics/templates를 참조합니다. 위키

: 파라 다형 함수 또는 데이터 유형을 사용

은 동일하게 그 종류에 의존하지 않고, 일반적으로 그렇게 값을 처리 할 수있는 기록 될 수있다.

Answer 3

위키 백과 : 프로그래밍 언어와 유형 이론에서

은, 파라 메트릭 다형성은 여전히 ​​전체 정적 유형 안전을 유지하면서, 언어 표현력 만들 수있는 방법입니다. 파라 메트릭 다형성을 사용하면 함수 또는 데이터 유형을 유형에 의존하지 않고 값을 동일하게 처리 할 수 ​​있도록 총칭 할 수 있습니다. 이러한 함수 및 데이터 유형을 각각 제네릭 함수 및 제네릭 데이터 유형이라고하며 제네릭 프로그래밍의 기초를 형성합니다.

그래서 훌륭한 예제는 표준 Java 라이브러리 모음입니다.

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

그것은 T 실제로 어떤 유형에 대한 걱정없이, 다른 T 년대에 필적 유형 T의 객체의 목록을 가지고 목록을 정렬 할 수 있습니다 : 예를 들어

, Collections.sort는 다음과 같이 선언 .

는 아형 다형성 다르다 : 아형 다형성 sortList가 어떤 종류 취할 수 있다는 점을들 수있다 - ArrayList하는 LinkedList 등