14
타입 테스트는 언제 가능합니까?
고유 한 유형 안전성을 가진 언어를 가정하면 (예 : JavaScript가 아님) : a를 받아들이는 방법이 주어지면 SuperType대부분의 경우 유형 테스트를 수행하여 작업을 선택하려는 유혹을받을 수 있습니다. public void DoSomethingTo(SuperType o) { if (o isa SubTypeA) { o.doSomethingA() } else { o.doSomethingB(); } } 항상 그렇지는 않지만 일반적으로 하나의 재정의 가능한 …
53
type-systems