如何在Gforth中通过CLI传入文件名实现文件复制？

问题背景 #

需要通过以下命令在Gforth中完成fileA到fileB的复制操作：

gforth script.fs -- fileA fileB

其中--是必填项，用于防止Gforth将文件名当作额外的Forth代码加载。官方文档示例采用硬编码文件名的方式实现复制，但自行编写的代码始终无法正确捕获命令行传入的文件名，频繁出现内存错误或其他异常。

错误原因分析 #

之前的实现存在几个核心问题：

• 命令行参数处理逻辑混乱：arg词的返回规则是( arg# -- c-addr u )（传入参数序号，返回参数的内存地址和长度），但旧代码中对arg的调用顺序、参数传递逻辑错误，导致内存写入越界。
• 字符串长度计算错误：自定义的str-len词遍历逻辑有误，会非法访问内存区域，触发内存错误。
• 文件打开标志不符合规范：使用s" r"作为打开模式不符合Gforth的内置规则，应使用r/o、w/o这类标准文件访问标志。
• count词误用：count需要处理以空字符结尾的合法字符串，但未初始化的文件名缓冲区并非合法的空终止字符串，直接调用会引发不可预测的行为。

正确实现代码 #

\ 定义缓冲区大小
256 Constant filename-buf-size  \ 文件名缓冲区最大长度
4096 Constant io-buf-size       \ 文件读写块缓冲区大小

\ 分配内存缓冲区
Create src-filename filename-buf-size allot
Create dest-filename filename-buf-size allot
Create io-buf io-buf-size allot

\ 存储文件描述符的变量
Variable src-fd
Variable dest-fd

\ 安全读取命令行参数到指定缓冲区：参数序号 -> 缓冲区地址 缓冲区大小
: get-arg ( n addr u -- )
    arg swap rot  \ 调整参数顺序，获取目标参数的地址和长度
    2dup min      \ 取参数实际长度与缓冲区大小的最小值，避免溢出
    move          \ 将参数内容复制到缓冲区
    \ 给缓冲区末尾添加空终止符（可选，便于调试时查看文件名）
    over + c@ 0= if drop else over + 0 c! then ;

\ 打开源文件（只读模式）
: open-src
    src-filename filename-buf-size r/o open-file throw src-fd ! ;

\ 打开目标文件（写入/创建模式，覆盖已有文件）
: open-dest
    dest-filename filename-buf-size w/o create-file throw dest-fd ! ;

\ 按块复制文件内容
: copy-content
    begin
        src-fd @ io-buf io-buf-size read-file throw
    while
        io-buf swap dest-fd @ write-file throw
    repeat ;

\ 关闭文件描述符
: close-files
    src-fd @ close-file throw
    dest-fd @ close-file throw ;

\ 主执行逻辑
: main
    \ 读取命令行参数：序号1对应源文件，序号2对应目标文件
    1 src-filename filename-buf-size get-arg
    2 dest-filename filename-buf-size get-arg
    open-src
    open-dest
    copy-content
    close-files ;

main

关键说明 #

1. 参数安全处理：get-arg词严格遵循arg的返回规则，通过min限制复制长度，彻底避免缓冲区溢出问题。
2. 标准文件操作：使用Gforth内置的r/o（只读）、w/o create-file（写入/创建）标志，确保文件操作符合规范。
3. 高效读写：采用read-file和write-file按块读写，比按行读写效率更高，同时支持非文本文件的复制。
4. 错误捕获：所有文件操作后调用throw，确保错误能被及时抛出，便于调试定位问题。

使用方法 #

将上述代码保存为copy.fs，执行以下命令完成文件复制：

gforth copy.fs -- source.txt target.txt

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