如何实现字符串数组？

Question

我尝试实现一个单词，当在 Forth 中给定堆栈上的数字时，该单词会从数组生成字符串。

我的第一个天真的尝试是：

create myarray s" Alpha" , s" Beta" , s" Charlie" ,

这被接受了，但它没有按预期工作 - myarray @ type 产生不一致的输出（而不是我天真的期望它可能打印“Alpha”）。

在网上搜索时，我发现 Gforth 文档表明使用 s" 创建的字符串具有有限的生命周期，这意味着我的 ansatz 从一开始就注定会失败。另一方面，即使是常规对象的数组似乎也没有根据 Forth 中的数组<进行标准化Len 的 Forth 教程中的 /a> 部分

显然，这对 Forth 来说不是一个小问题。网络上有一些库实现了缺失的字符串功能：FFL (str 模块) 和 Bernd Paysan 的字符串函数。这是一个很好的起点，尽管从那里到字符串数组仍然需要工作。

那么，如何实现从给定数组返回字符串的单词呢？

Answer 1

为了寻址部分代码，s" 在堆栈上留下 addr u、地址和字符串长度。, 仅存储一个值，因此您不会以这种方式获得所需的结果，因为这会存储表示该字符串的两个堆栈项。完成后，您需要获取这两个值。 的。

也回来了，所以 2@ 就是你想要 看起来像这样：

create myarray s" Alpha" 2, s" Beta" 2, s" Charlie" 2,

\ Test
myarray 2@ type Alpha **ok**

获取数组的其他元素有点棘手当您输入 myarray 时，您将获得该字典条目中数据的起始地址，然后您可以使用 2@。获取前两个地址指向的内容（即“Alpha”的地址和长度）。如果您想要“Beta”，则需要下一对地址。所以你可以使用

myarray 2 cells + \ increment the address by two cells

来获取指向“Beta”等的地址。因此，为了访问“Beta”，您需要输入

myarray 2 cells + 2@ type Beta **ok**

我已经用 gforth 对此进行了测试，并且似乎一切正常，尽管我不确定如何严格测试持久性。

您的单词需要能够根据堆栈上的内容来递增地址。您可能想了解更多 create does> 内容。我可以提供一些建议，但我不想破坏发现的乐趣。

如果我跳过了太多关于这实际上意味着什么的细节，请直接说出来，我会再试一次。

---

也许这太粗糙了，但不久前我尝试过制作一种“字符串类型”。

: string                                    ( addr u "name" -- )
    create 2,                               \ add address and length to dict entry "name"
    does> dup cell+ @ swap @ ;              \ push addr u

\ Example
s" Some Words" string words **ok**
words type Some Words **ok**

它定义了一个带有您选择的名称的单词（在本例中为“单词”），在解释字符串时，该单词将推送字符串的长度和起始地址（在本例中为“某些单词”）。据我所知，当字符串处于这样的定义中时，它是持久的。

这并不能完全回答你的问题，但可能会有所帮助。

---

我对持久字符串进行了另一次尝试，这个字符串肯定在字典条目中分配内存，并且只要该单词存在，它就是安全的。之前，字符串“type”仅存储 s" 创建的地址和长度，只有在其他内容写入该内存区域之前，这才有用。现在，这会从 s" 复制字符串 将其创建到一个名为“name”的字典项中，并保证它的持续时间与“name”本身一样长。

: string                                    ( addr u "name" -- )
    create                                  \ create dict entry called "name"
    dup >r here >r                          \ keep copies of string length and start of "name"'s memory
    dup 2 cells + allot                     \ allot memory for the number of chars/bytes of the string plus 2
                                            \ for the new addr u
    r@ 2 cells +                            \ Get the address two cells from the start the space for "name"
    swap cmove                              \ copy the string at addr u into the alloted space for "name"

    \ Now "name" looks like this: "name" -blank1- -blank2- "the text of the string at addr u"
    \ blank1 should be the address of the start of the the text = addr2 and blank2 should be u

    r@ dup 2 cells + swap !                 \ get the address of blank1, copy it, increment by 2 to get addr2
                                            \ and then store that in blank1
    r> cell+ r> swap !                      \ get address of blank1, increment to get address of blank2, then get u and
                                            \ store it in blank2

    \ Now "name" looks like this: "name" addr2 u "the text of the string at addr u"

    does> dup @ swap cell+ @ ;              \ push addr2 u

---

为了好玩，我想我可以展示如果没有有用的格式，这毫无意义

: string-no-comments         ( addr u "name" -- )
    create dup >r here >r dup 2 cells + allot r@
    2 cells + swap cmove r@ dup 2 cells + swap !
    r> cell+ r> swap ! does> dup @ swap cell+ @ ;

Answer 2

首先。您必须为字符串分配永久存储。在 ciforth（我的 Forth）中，有单词 $，它在字典空间中执行此操作。

S" aap" $,

留下一个包含一个单元格计数的地址，后跟字符。
没有类似的标准单词，您必须自己编写。这是假设 ALLOCATE 不可用。
使用此功能，以下代码将字符串指针临时保存到堆栈中：

0 s" Alpha" $, s" Beta" $, s" Charlie" $,

然后您必须将指针存储在数组中，因此标记为 0，但需要额外的辅助字：

: ttt  BEGIN DUP WHILE , REPEAT DROP ;

然后

( CREATE string-array) ttt
HERE CONSTANT ttt-end

现在您可以按如下方式寻址字符串：

tt-end 2 CELLS -  ( @+ TYPE )

您可能想要添加辅助词。
这是丑陋的、麻烦的，也是最重要的标准方法。