Movatterモバイル変換

Supertypes:

Description:

Thetype of anarray that is not displaced to anotherarray, has nofill pointer, and is notexpressly adjustable is asubtype oftype simple-array. The concept of asimple array exists to allow the implementation to use a specialized representation and to allow the user to declare that certain values will always besimple arrays.

Thetypes simple-vector,simple-string, andsimple-bit-vector aredisjoint subtypes oftype simple-array, for they respectively mean(simple-array t (*)), the union of all(simple-arrayc (*)) for anyc being asubtype oftype character, and(simple-array bit (*)).

Compound Type Specifier Kind:

Specializing.

Compound Type Specifier Syntax:

simple-array[{element-type |*} [dimension-spec]]

dimension-spec::= rank |* | ({dimension |*}*)

Compound Type Specifier Arguments:

dimension---avalid array dimension.

element-type---atype specifier.

rank---a non-negativefixnum.

Compound Type Specifier Description:

Thiscompound type specifier is treated exactly as the correspondingcompound type specifier fortype array would be treated, except that the set is further constrained to include onlysimple arrays.

Notes:

It isimplementation-dependent whetherdisplaced arrays,vectors withfill pointers, or arrays that areactually adjustable aresimple arrays.

(simple-array *) refers to allsimple arrays regardless of element type,(simple-arraytype-specifier) refers only to thosesimple arrays that can result from givingtype-specifier as the:element-type argument tomake-array.

The followingX3J13 cleanup issues,not part of the specification, apply to this section:

[8]ページ先頭