result-type должен быть спецификатором типа. object будет конвертирован в «эквивалентный» объект заданного типа. Если преобразование не может быть осуществлено, будет сигнализирована ошибка. В частности, (coerce x ’nil) всегда сигнализирует ошибку. Если object уже принадлежит заданному типу, это проверяется предикатом typep, тогда данный объект будет возвращён. В целом, невозможно преобразовать любой объект в объект любого другого типа. Допускаются только следующие преобразования.

• Любой тип последовательности может быть преобразован в другой тип последовательности. Новый тип последовательности будет содержать все объекты из старой последовательности (если это невозможно, тогда возникнет ошибка). Если result-type задан как array, тогда будет использоваться (array t). Также может использоваться специализированный тип такой, как string или (vector (complex short-float)); конечно, результат в зависимости от реализации может быть более общим типом. Элементы новой последовательности будут равны eql соответствующим элементам старой последовательности. Если последовательность уже принадлежит заданному типу, она может быть просто возвращена без копирования. В таком случае (coerce ) отличается от (concatenate ), так как последняя требует копирования аргумента последовательность.

  (coerce ’(a b c) ’vector) ⇒ #(a b c)
  

  coerce должен сигнализировать ошибку, если новая тип новой последовательности определеяет некоторое количество элементов, а длина старой последовательности от него отличается.

  Если result-type является строкой (string), тогда под ним понимается (vector character), и под simple-string понимается (simple-array character (*)).

• Любое некомплексное число может быть приведено к short-float, single-float, double-float или long-float. Если тип указан с плавающей точкой и объект не является числом с плавающей точкой, тогда объект преобразовывается в single-float.

  (coerce 0 ’short-float) ⇒ 0.0S0
  (coerce 3.5L0 ’float) ⇒ 3.5L0
  (coerce 7/2 ’float) ⇒ 3.5
  

• Любое число может быть приведено к комплексному. Если число ещё не является комплексным, тогда мнимая часть будет равна нулю, который будет преобразован в тип, соответствующий типу действительной части. (Если полученная действительная часть является рациональным числом, тогда результат немедленно будет преобразован из комплексного обратно в рациональный.)

  (coerce 4.5s0 ’complex) ⇒ #C(4.5S0 0.0S0)
  (coerce 7/2 ’complex) ⇒ 7/2
  (coerce #C(7/2 0) ’(complex double-float))
      ⇒ #C(3.5D0 0.0D0)
  

• Любой объект может быть приведён к типу t.
  (coerce x ’t) ≡ (identity x) ≡ x
  

• Символ или лямбда-выражение может быть преобразовано к функции. Символ приводится к типу function, как если бы к нему была применена функция symbol-function. Если символ не связан (fboundp symbol -> false), или символ связан с макросом или оператором, сигнализируется ошибка. Список x, чей car является символом lambda приводится к функции, как если бы было вычислено выражение (eval ‘#’,x), или (eval (list ’function x)).

Приведение чисел с плавающей точкой к рациональным и рациональных целым не предоставляется в связи с проблемами округления. Для этого могут использоваться функции rational, rationalize, floor, ceiling, truncate и round. Также не предоставляется приведение букв к целым числам. В этих целях можно использовать char-code или char-int.