playbook/docs/tsl/syntax/13_matrix_and_collections.md

Matrix And Collections

文档类型：语法主线 是否可直接用于生成代码：是 是否含已验证可执行示例：是 是否含已验证反例：否 遇到不确定时跳转到：14_resultset_and_filters.md、26_matrix_deep_dive.md、27_fmarray.md

手册位置：第 13 篇，共 32 篇。上一篇：12_pitfalls.md。下一篇：14_resultset_and_filters.md。

这一篇收拢 array(...) 的扩展用法：顺序数组、字符串键表、嵌套数组，以及已经在当前解释器下单独验证过的矩阵样比较。

这一篇解决什么问题

回答“array(...) 在 TSL 里除了最普通的一维数组，还能怎样组织数据；哪些矩阵样写法已经稳定验证过”。

必须记住的规则

• array(...) 既可以写顺序数组，也可以写字符串键表。
• 顺序数组下标从 0 开始；字符串仍然从 1 开始。
• array(...) 可以继续嵌套，形成二维或矩阵样数据。
• 当前解释器接受矩阵链式比较 ::>、::<、::<>、::==、::>=、::<=。
• 当前这篇只收已经单独验证过的数组 / 键表 / 矩阵样主干，不把结果集过滤和 TS-SQL 混进来。

已验证语法

顺序数组与字符串键表：

代码块身份：已验证可执行示例

arr := array(10, 20, 30);
hash := array("Code": "0001", "Price": 12.3);
WriteLn("ARR0=", arr[0]);
WriteLn("ARR1=", arr[1]);
WriteLn("HASH=", hash["Code"]);

已验证运行结果对应关系：

• arr[0] = 10
• arr[1] = 20
• hash["Code"] = "0001"

嵌套数组：

代码块身份：已验证可执行示例

[r1, r2] := array((1, 2), (3, 4));
WriteLn(r1[0]);
WriteLn(r1[1]);
WriteLn(r2[0]);
WriteLn(r2[1]);

已验证运行结果：

• 依次输出 1、2、3、4
• 说明 array((1, 2), (3, 4)) 这种嵌套数组写法可以稳定通过，并可按普通数组继续读取

矩阵链式比较：

代码块身份：已验证可执行示例

program test;
begin
    r := array(1, 2, -1) ::< array(2, 1, 0) ::< array(3, 2, 1);
    WriteLn(r[0]);
    WriteLn(r[1]);
    WriteLn(r[2]);
    s := array(1, 2, -1) ::< 2 ::< array(3, 2, 1);
    WriteLn(s[0]);
    WriteLn(s[1]);
    WriteLn(s[2]);
end.

已验证运行结果：

• array(1, 2, -1) ::< array(2, 1, 0) ::< array(3, 2, 1) 的三个元素依次输出 1、0、1
• array(1, 2, -1) ::< 2 ::< array(3, 2, 1) 的三个元素依次输出 1、0、0
• 说明矩阵链式比较会按元素位置分别得到结果数组，并且可以和标量混用

暂不在本页展开的部分

• 专门的结果集过滤函数
• TS-SQL 查询与写回
• 更大范围的矩阵函数族

这些内容会继续收拢到后面的进阶专题，而不是再外跳到旧目录。

跳转指引

• 回看基础值与索引：见 04_values_and_literals.md
• 回看表达式层比较：见 07_expressions_and_operators.md
• 进入结果集过滤：见 14_resultset_and_filters.md
• 进入集合运算专题：见 25_set_operations.md
• 进入矩阵深水专题：见 26_matrix_deep_dive.md
• 进入 FMArray：见 27_fmarray.md