2013-06-20 4 views
0

는 다음과 같은 성명이었다 ". 객체 지향 프로그래밍의 일반적인 유형의 사용은 컴파일 타임에 유형 검사를하는 데 도움이"일반 유형, 컴파일러와 동적 언어

사실입니까? 형식 검사 컴파일러가 향상되지 않고 개체 지향적 인 관계가 아니라 언어 유형 (weak typing 또는 strong-typing)과 관련되어 있기 때문에 false라고 생각합니다. 누군가이 진술이 왜 잘못되었는지 설명해주십시오.

답변

0

진술 내용은 true입니다. 제네릭 형식을 사용하면 개체를 인스턴스화 할 때 형식을 지정할 수 있으며 컴파일 타임에 해당 형식의 사용이 검사 될 수 있습니다. 클래스에 형식 매개 변수가 없으면 확인할 방법이 없습니다.

+0

하지만 동적 언어에서는 컴파일러가 없지만 인터프리터와 제네릭 유형 사용시 동일한 이점이 유지됩니까? 그리고 제네릭 타입 도움말의 검증/컴파일러 지원? 나를 위해, 장점은 의미 론적 수준, 프로그래밍 및 재사용의 이점에 있지만 컴파일러에는 없습니다. 이거 어떻게 생각하니? – tiagoriosrocha

+0

Ruby와 같은 동적 인 해석 언어에서는 런타임에 더 많은 비용을 들여 상응하는 검사가 수행됩니다. 당신은 많은 다른 타입들에 대해 작동하는 메소드를 작성할 수 있으며, 런타임에 호출 할 메소드가 결정됩니다. – stark