如何在Forth语言中实现向量或动态数组？

对于刚接触Forth的开发者，用变量存储长度、容量+按需扩容的思路完全可行，核心是做好内存管理和越界检查。下面是一个极简但可运行的实现，附带关键细节说明：

核心结构定义 #

动态数组需要三个核心状态变量，分别记录内存地址、已用长度和已分配容量：

variable arr-base     \ 数组内存起始地址
variable arr-length   \ 当前已存储的元素数量
variable arr-capacity \ 已分配的最大元素容量

基础操作实现 #

1. 初始化数组 #

指定初始容量（比如默认4），分配内存并初始化状态：

: init-array ( n -- )  \ 输入初始容量，完成数组初始化
    dup arr-capacity !  \ 保存初始容量
    0 arr-length !     \ 初始长度设为0
    cells allocate throw arr-base !  \ 分配内存（cells转换为字节数）
;

2. 自动扩容逻辑 #

当元素数量达到容量时，将内存翻倍扩容（平衡性能与空间利用率）：

: resize-array ( -- )
    arr-capacity @ 2*       \ 计算新容量（原容量的2倍）
    dup arr-capacity !      \ 更新容量变量
    arr-base @              \ 获取旧内存地址
    swap cells reallocate throw  \ 重新分配内存
    arr-base !              \ 更新新的内存地址
;

3. 添加元素（自动处理扩容） #

添加前检查是否需要扩容，确保不会写入已分配空间之外：

: array-append ( x -- )  \ 输入要添加的元素，追加到数组末尾
    arr-length @ arr-capacity @ = if  \ 长度等于容量时触发扩容
        resize-array
    then
    arr-base @ arr-length @ cells +  \ 计算元素存储地址
    !  \ 写入元素
    arr-length @ 1+ arr-length !     \ 长度加1
;

4. 访问元素（带越界检查） #

读取元素前先验证索引合法性，避免越界访问：

: array-at ( n -- x )  \ 输入索引，返回对应元素
    dup arr-length @ >= if  \ 索引超出已用长度时报错
        ." 数组索引越界" abort
    then
    arr-base @ swap cells + @  \ 计算地址并读取元素
;

5. 释放内存 #

使用完数组后释放内存，避免泄漏：

: free-array ( -- )
    arr-base @ free throw  \ 释放内存
    0 arr-base ! 0 arr-length ! 0 arr-capacity !  \ 重置状态
;

使用示例 #

4 init-array  \ 初始化容量为4的数组
1 array-append
2 array-append
3 array-append
4 array-append
5 array-append  \ 此时触发扩容，容量变为8

0 array-at .  \ 输出：1
4 array-at .  \ 输出：5

free-array  \ 释放内存

关键注意事项 #

• 越界防护：array-append通过容量检查避免写越界，array-at通过长度检查避免读越界，完全覆盖你担心的问题。
• 内存单位：Forth中cells对应机器字长（比如32位系统是4字节，64位是8字节），确保内存分配和地址计算的正确性。
• 多数组扩展：如果需要同时使用多个动态数组，可以把三个变量封装成一个结构体（用一个cell数组存储），通过指针操作，避免全局变量冲突。

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