如何高效为字节数组创建16/32/64位类型化数组视图？

Common Lisp的displaced array要求元素类型与原数组兼容，字节数组（unsigned-byte 8）和16/32/64位整数数组类型不满足兼容性要求，因此会抛出错误。以下是几种性能接近原生数组的替代方案，均基于底层内存操作，避免CLOS的性能开销：

1. SBCL 原生扩展方案（推荐） #

利用SBCL的sb-sys和sb-alien模块直接操作内存指针，创建类型化的内存视图：

;; 初始化原始字节数组
(defvar *r* (make-array 64 :element-type '(unsigned-byte 8)
                           :initial-contents (loop for i below 64 collecting i)))

;; 获取字节数组的内存地址指针
(defvar *r-sap* (sb-sys:vector-sap *r*))

;; 创建16位无符号整数视图（32个元素）
(defvar *r16* (sb-alien:make-alien (sb-alien:array (unsigned 16) 32) :sap *r-sap*))

;; 创建32位无符号整数视图（16个元素）
(defvar *r32* (sb-alien:make-alien (sb-alien:array (unsigned 32) 16) :sap *r-sap*))

;; 创建64位无符号整数视图（8个元素）
(defvar *r64* (sb-alien:make-alien (sb-alien:array (unsigned 64) 8) :sap *r-sap*))

;; 访问视图元素（依赖系统原生字节序）
(sb-alien:deref *r16* 0) ; 小端系统返回#x0100，大端系统返回#x0001
(sb-alien:deref *r32* 0)
(sb-alien:deref *r64* 0)

;; 不再使用时释放alien资源
(sb-alien:free-alien *r16*)
(sb-alien:free-alien *r32*)
(sb-alien:free-alien *r64*)

性能说明：直接对内存地址进行解引用，访问速度与原生数组几乎一致，无额外封装开销。

2. Clozure CL 原生扩展方案 #

Clozure CL提供了更简洁的类型化数组转换API：

;; 初始化原始字节数组
(defvar *r* (make-array 64 :element-type '(unsigned-byte 8)
                           :initial-contents (loop for i below 64 collecting i)))

;; 获取数组内存指针
(defvar *r-ptr* (ccl:make-pointer (ccl:array-address *r*)))

;; 创建16位视图
(defvar *r16* (ccl:ptr-to-typed-array *r-ptr* '(unsigned-byte 16) 32))

;; 直接用aref访问，与普通数组用法一致
(aref *r16* 0)

3. 跨实现通用FFI方案（依赖C标准库） #

如果需要跨CL实现兼容，可以通过FFI调用C的内存操作逻辑，将字节数组指针转换为对应类型的数组：

;; 以SBCL为例，其他实现需调整FFI语法
(sb-alien:define-alien-routine memcpy void
  (dest (* void))
  (src (* void))
  (size sb-alien:unsigned-int))

;; 初始化字节数组
(defvar *r* (make-array 64 :element-type '(unsigned-byte 8)
                           :initial-contents (loop for i below 64 collecting i)))

;; 创建对应类型的数组，用memcpy映射内存
(defvar *r16* (make-array 32 :element-type '(unsigned-byte 16)))
(memcpy (sb-sys:vector-sap *r16*) (sb-sys:vector-sap *r*) 64)

;; 访问元素
(aref *r16* 0)

注意：此方案会创建内存副本，性能略低于前两种零拷贝方案，仅适合需要跨实现兼容的场景。

字节序处理提示 #

上述方案均依赖系统原生字节序，若需要固定字节序（如大端），需手动进行位运算转换，例如：

;; 小转大端16位整数
(defun le-to-be16 (le-value)
  (logior (ash (logand le-value #xFF) 8)
          (ash le-value -8)))

;; 访问时转换
(le-to-be16 (sb-alien:deref *r16* 0))

内容的提问来源于stack exchange，提问作者BitTickler