타입 EXTENDED-CHAR — 확장 문자
타입 EXTENDED-CHAR — 확장 문자
기본 문자(base character)를 넘어서는 문자를 다뤄야 하는 상황이 있죠. 예를 들어 한글, 일본어처럼 기본 문자 집합에 없는 문자들요. 그런 문자를 나타내는 타입이 EXTENDED-CHAR(확장 문자)입니다.
슈퍼타입
extended-char, character, t
본문 (Description)
확장 문자(extended-char) 타입은 다음 타입과 동치(equivalent) 입니다.
(and character (not base-char))
즉 "character이면서 base-char가 아닌" 문자가 곧 확장 문자예요. 다시 말해 base-char와 extended-char는 character 타입을 서로 겹치지 않게 나누는 두 조각이라는 점이 여기서도 드러나죠.
Notes
한 가지 주의할 점이 있어요. 어떤 구현에서는 모든 문자가 base-char 타입일 수도 있습니다. 그런 구현에서는 extended-char 타입이 원소를 하나도 갖지 않을 수 있어요 (empty type). 이는 구현에 따라 확장 문자가 아예 존재하지 않을 수 있다는 뜻입니다.
더 알아보기 (Learn more)
- 원문: Type EXTENDED-CHAR
- 시스템 클래스 CHARACTER: System Class CHARACTER
- base-char: Type BASE-CHAR