Command line 如何在单个分配C（SAC）中访问argv/argc？

argv

是字符串的SAC数组还是传统的C字符串数组

文档中有，但我不知道如何使用SAC的API。

SAC也没有（实际上更糟）：SAC在

命令行

模块中提供

argv（）

，返回一个包含所有参数的字符串：

$ cat args.sac
use StdIO: all;
use Array: all;
use CommandLine: all;

int main() {
    printf("%s\n", argv());

    return(0);
}
$ sac2c -o args args.sac
$ ./args a b c
./args a b c

在版本（1.0）中，可以使用argv（1）函数

$ cat args.sac
use StdIO: all;
use Array: all;
use CommandLine: all;

int main() {
    printf("Test: %s\n", argv(1));

    return(0);
}
$./args hello
$ Test: hello