Type BASE-CHAR
型base-charは、standard-charの アップグレードされた配列の要素の型として定義されています。 実装者は、型characterのサブタイプの型について、 標準以外のものを追加することができます。 その追加する型は、型base-charがスーパータイプになっていても、 いなくてもどちらでも構いません。 また実装者は、型base-charと型characterを 同じ型として定義することもできます。
基本文字(base characters)は、次のように区別されます。
standard-charは、型base-charの中に含まれます。base-charのオブジェクトだけが、基本文字列の構成要素になれます。base-charの文字数の上限は無く、サイズは実装依存です。 文字数の下限はstandard-charの文字数である96です。ある文字がbase-charであるかどうかは、 文字列を表現する実装方法に依存しますが、 その他の実装の特性や、ホストオペレーティングシステムには依存しません。
例えば、ある実装では全ての文字列を16bitの文字として表現しているとします。 また別の実装では、8bitエンコーディングと16bitエンコーディングの 2種類の文字列を扱うシステムであるとします。 最初の実装では、型base-charと型characterは同じに実装されます。 なぜなら文字の種類が一つしか無いからです。 2つ目の実装では、base-charは8bitの文字を格納できるようにするかもしれません。 このような実装では、型base-charは型characterのサブタイプとなります。
型standard-charは、型base-charのサブタイプとなります。