한국정보과학회:학술대회논문집 (Proceedings of the Korean Information Science Society Conference)
- 한국정보과학회 1999년도 가을 학술발표논문집 Vol.26 No.2 (1)
- /
- Pages.436-438
- /
- 1999
- /
- 1598-5164(pISSN)
다형적 객체 타입 기술을 위한 메커니즘
A Mechanism for the Expression of Polymorphic Object Type
초록
객체지향 프로그래밍에서 다형성이란 객체가 하나 이상의 객체 타입을 가질 수 있다는 것을 말한다. 이처럼 객체가 하나 이상의 타입을 가지게 되면 다양한 문맥에서 객체를 사용할 수 있게 되어 재사용성을 달성 할 수 있게 된다. 그러나 이러한 객체의 다형성은 정적인 타입 검사를 어렵게 하여 실행시 타입 오류를 유발할 가능성을 높이는 원인으로 작용한다. 본 논문에서는 객체 타입을 기술하기 위한 문맥에서 당일 타입만을 기술했던 것이 제약에서 벗어나 여러 타입의 조합으로 다형적 타입을 기술할 수 있게 함으로써 문맥에 맞는 객체 타입을 기술할 수 있도록 하는 메커니즘을 제안한다. 그리고 이 메커니즘이 어떻게 사용될 수 있는가에 대한 예제들도 함께 소개한다.
키워드