如何在Forth中创建数组？浮点数、字符串存储等进阶问题

我明白你在学习Forth时遇到的这些困惑——毕竟Forth的拼接式思维和C这类命令式语言差异很大，反复琢磨确实能帮你吃透它的优势。针对你提到的几个问题，我来逐一拆解：

一、浮点数的存储：无需转整数，直接用浮点数单元 #

Forth里的cell是针对整数（通常是机器字长，比如32或64位）的单位，但浮点数有专门的fcell（浮点数单元）来对应。你不需要把浮点数转成整数存储，直接用fcells来分配内存就行。举个例子：

\ 创建一个能存5个浮点数的数组
create float-array 5 fcells allot

\ 存入浮点数（假设你的Forth支持浮点数扩展，比如ANS Forth的FLOAT wordset）
3.14 float-array 0 fcells + f!  \ 把3.14存在第0个位置
2.71 float-array 1 fcells + f!  \ 把2.71存在第1个位置

\ 读取浮点数
float-array 0 fcells + f@ f.  \ 输出3.14

注意不同Forth系统对浮点数的支持可能略有差异，但核心思路就是用fcell作为浮点数的内存单位，用f!存、f@取，和整数的!/@对应。

二、字符串的数组存储：用指针数组+独立字符串存储 #

你说得没错，Forth里的字符串通常是“长度+数据”的结构（或者有些实现是指针+长度），所以直接用cell数组存的话，每个字符串需要占1-2个cell（存指针和长度）。但这其实是合理的——字符串本身的内容肯定要存在独立的内存区域，数组里存的是指向这些字符串的引用。

举个实现例子：

\ 先定义几个字符串（用s" 定义的字符串会存在字典里，或者你也可以用allot动态分配）
: str1 s" Hello" ;
: str2 s" World" ;
: str3 s" Forth" ;

\ 创建一个能存3个字符串的数组（每个字符串用2个cell：指针+长度）
create str-array 3 2 * cells allot

\ 存入字符串：把字符串的地址和长度分别存在对应的cell里
str1 str-array 0 2 cells + !  \ 存str1的指针
str1 count str-array 0 cells + !  \ 存str1的长度

\ 读取并输出字符串
str-array 0 cells + @  \ 取长度
str-array 0 2 cells + @  \ 取指针
type  \ 输出字符串

当然，你也可以封装成更易用的单词，比如store-str和fetch-str，这样就不用每次手动算偏移了。

三、高层抽象：封装自定义数组单词提升可读性 #

Forth的哲学就是“自己造轮子”，但为了代码可读，你完全可以封装一套通用的数组操作单词，不用每次都手动算内存偏移。比如针对整数数组，你可以写：

\ 定义一个整数数组的创建单词
: int-array ( n -- addr )
    cells allot  \ 分配n个cell的内存，返回起始地址
;

\ 存整数到数组的指定索引
: int-store ( n idx addr -- )
    cells * + !  \ 计算偏移：idx*cell大小 + 数组地址，然后存n
;

\ 从数组指定索引取整数
: int-fetch ( idx addr -- n )
    cells * + @  \ 计算偏移，取数
;

\ 使用示例
create my-array 10 int-array  \ 创建10个整数的数组
42 3 my-array int-store       \ 把42存在索引3的位置
3 my-array int-fetch .        \ 输出42

同样的思路，你可以给浮点数数组、字符串数组都封装一套这样的操作单词，用的时候就像用“高级数组”一样，代码可读性会大大提升。很多成熟的Forth程序库也都是这么做的——底层还是直接操作内存，但上层封装成易用的抽象。

其实Forth的优势就在这里：它没有给你强加固定的数组实现，但给了你足够灵活的工具去打造适合自己需求的抽象，这比C里固定的数组结构要灵活得多，尤其是在嵌入式或者资源受限的场景下。

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