Function array-element-type

Syntax:

Arguments and Values:

array—an array.

typespec—a type specifier.

Description:

17.3.0 3 Returns a type specifier which represents the actual array element type of the array, which is the set of objects that such an array can hold. Barmar points out that this is redundant. after upgrading.(Because of array upgrading, this type specifier can in some cases denote a supertype of the expressed array element type of the array.) \term{type} requested by the user when \param{array} was created.

Examples:

 (array-element-type (make-array 4)) → T
 (array-element-type (make-array 12 :element-type '(unsigned-byte 8))) 
→ implementation-dependent
 (array-element-type (make-array 12 :element-type '(unsigned-byte 5)))
→ implementation-dependent

 (array-element-type (make-array 5 :element-type '(mod 5)))

Affected By:

The implementation.

Exceptional Situations:

Should signal an error of type type-error if its argument is not an array.

See Also:

array, make-array, subtypep, upgraded-array-element-type

Notes:

None.