Differences

This shows you the differences between two versions of the page.

--- api:transforms:zh [2023/12/01 07:09]
hfsr [Transforms(变换)]
+++ api:transforms:zh [2023/12/01 07:51]
hfsr [方法]
@@ Line 4: / Line 4: @@
 ===== Transforms(变换) API =====
-* **Transforms工作于_序列_之上**
+* **Transforms工作于序列之上**
+  所有transform方法都预期在序列上迭代，参见https://www.lua.org/manual/5.2/manual.html#3.4.6。
+\\
+* **first 与 last**
+  此API中所有的`first`和`last`参数均与`string`方法（例如`string.sub`）中的`first`与`last`参数工作方式一致。也就是可以接收负值，负值为从后向前数。`first`（当选择时）默认相当于 1，而 `last` 默认相当于 -1。
+\\
+* **判断函数（predicate）**
+  译者注：此处的predicate通用的译名是“谓词”，指根据条件返回布尔值的函数。但译者认为这是相当糟糕的译名，不利于理解。因此译为“判断函数”。
+  所有接收判断函数的transform方法均使用以下的判断函数定义：
+\\
+  *  `predicate(element: value, index: number, tbl: table): number, number`
+  此判断函数会在`tbl`的每个索引值上依次调用。`element`为`tbl[index]`的值。
+  通常而言，判断函数将会忽略`index`与`tbl`，仅处理`element`。但一些判断函数可能会需要检查`tbl`中在`index`之前或之后的值。
+**应注意**，传递给判断函数的`tbl`实际上只是传递给transform api的原始表的一个**视图（view）**。此处的**视图**不是原生的序列，而是只有`tbl`中[`first`, `last`]范围内的值。
+\\
+  换言之，判断函数处理“一组元素”，并返回代表所满足条件的值。
-    所有的transform方法都预期在序列上迭代，参见https://www.lua.org/manual/5.2/manual.html#3.4.6
+    * **元素组**
+    "元素组"一词代指下列之一：
-* **first 与 last**
+    A)传递给判断函数的单个`element`。与`tbl[index]`的值为同一个。
+    或者
-    此API所有的 `first` 与 `last` 参数均与`string`方法（例如`string.sub`）中的 `first` 与 `last` 参数工作方式一致。因此可以接收负值，负值为从后向前数。`first`（当选择时）默认相当于 1，而 `last` 默认相当于 -1。
+    B)`tbl`中自`index`起的元素序列。判断函数可能会从`index`处开始迭代，数量为其需要检查的元素数，直到`#tbl`为止。
+\\
-* **判断函数（predicate，谓词）**
+    * **返回值**
+    返回值的可能情况：
-    译者注：此处的predicate通用的译名是“谓词”，指根据条件返回布尔值的函数。但译者认为这是相当糟糕的译名，不利于理解。因此译为“判断函数”。
+    参数1：若为`false` 或 `nil`，代表这组元素不满足判断函数的条件。若为`index`，代表满足条件。函数应当直接返回给定函数的索引号，也就是元素组的起始元素索引号。
+    参数2：满足判断函数的元素组大小，或`nil`。
-    所有接收判断函数的transform方法均使用以下定义：
+    一些tranform方法可能会将第二个参数指定为可选，例如`transforms.first()`。
+\\
-  *  `predicate(element: value, index: number, tbl: table): number, number`
+    一些transform方法可能会指定其他类型的判断函数，例如表或字符串。这些判断函数的用法特定于对应的方法，且在此处详细列出的方法中定义。
-  此判断函数会在 `tbl`的每个索引上依次调用。 `element` 为 `tbl[index]` 中的值。通常而言，判断函数将会忽略 `index` 与 `tbl`，仅处理`element`。但一些判断函数可能会需要检查`tbl`中在`index`之前或之后的值。**（重要！）**应注意，传递给判断函数的`tbl`实际上只是传递给transform api的原始表的一个_**视图（view）**_。此处的_**视图（view）**_不是原生的序列，而是只会返回`tbl`中 [`first`, `last`] 范围内的值。
-  换言之，判断函数处理一个“元素组”，并返回代表满足的条件的值。
-    * **元素组**
-    "元素组"一词代指下列之一：
-    A)传递给判断函数的单个`element`。与`tbl[index]`的值为同一个。
-    或者
-    B)`tbl`中自`index`起的元素序列。判断函数可能会从`index`处开始迭代，数量为其需要检查的元素数，直到 `#tbl` 为止。
-    * **返回值**
-    返回值的可能情况：
-    参数1：若为`false` 或 `nil`，代表元素组不满足判断函数的条件。
-    若为`index`，代表满足条件。函数应当直接返回给定函数的索引号，也就是元素组的起始元素索引号。
-    参数2：满足判断函数的元素组大小，或`nil`。
-     一些tranform方法可能会将第二个参数指定为可选，例如`transforms.first()`。
-    一些transform方法可能会指定其他可用的判断数据类型，例如表或字符串。这些判断函数的用法特定于对应的方法，且在此处详细列出的方法中定义。
 ==== 方法 ====
 * `transforms.sub(tbl: table, first: number, last: number or nil): table`
+  与`string.sub`作用类似，返回`tbl`从`first`到`last`的子表。
-  与 `string.sub` 作用类似，返回`tbl`从`first`到`last`的子表。
+\\
+* `transforms.first(tbl: table, predicate: function or table, first: number or nil, last: number or nil): number, number`
-* `transforms.first(tbl: table, predicate: function or table, first: number or nil, last: number or nil): number, number`
+  返回`tbl`中（范围在`first`与`last`索引值之间，包含首尾）满足`predicate`的首个元素的索引值。第二个返回值为连续匹配的元素最后一个的索引值。一般而言会返回两个同样的值，即匹配的连续元素为1个。`predicate`可以返回第二个返回值（可选），代表匹配的连续元素序列长度。
+\\
-  返回`tbl`中（范围在`first`与`last`索引之间，包含首尾）满足`predicate`的首个元素的索引。第二个返回值为最后一个连续匹配的元素索引。一般而言会返回两个同样的值，即匹配的连续元素为1个。`predicate`可以返回第二个返回值（可选），代表匹配的连续元素序列长度。
+  当`predicate`为表时，`transforms.first()`将会返回`tbl`中首个满足条件的子表的首尾索引值，这种情况下的匹配指匹配`predicate`表中的任一元素。
+\\
-  当`predicate`为表时，`transforms.first()`将会返回`tbl`中首个满足条件的子表的首尾索引值，这种情况下的匹配指匹配`predicate`表中的任一元素。
   样例：
@@ Line 94: / Line 78: @@
 ```
 * `transforms.partition(tbl: table, partioner: function, first: number or nil, last: number or nil): table of tables`
+  返回一个子表的列表，子表来自`tbl`，由`partioner`生成，来源范围为从`first`到`last`。`partioner`为判断函数，定义见前文。
-  返回一个子表的列表，子表来自`tbl`，由`partioner`生成，范围为从`first`到`last`。`partioner`为判断函数，定义见前文。
+\\
+  传递给`partitioner`的`index`参数将会跳过子表的范围，即此参数会增加`n`，`n`即为分区大小。
-  传递给`partitioner`的`index`参数将会跳过范围，即此参数会增加`n`，`n`即为分区大小。
+\\
+  此方法的`partitioner`判断函数必须同时返回匹配的元素组的开始与结束索引。请再次参见前文的`predicate`相关信息。
-  此方法的`partitioner`判断函数必须同时返回匹配的元素组的开始与结束索引。请再次参见前文的`predicate`相关信息。
+\\
+* `transforms.begins(tbl: table, sub: table, first: number or nil, last: number or nil)`
-* `transforms.begins(tbl: table, sub: table, first: number or nil, last: number or nil)`
+  若`tbl`从`first`到`last`的子表能完全组成`v`（自首个元素对齐），则返回`true`。`first`与`last`元素可以正确处理负数。上文描述也就是说：
+  `v[1] == tbl[first + 0]`
-  若`tbl`从`first`到`last`的子表完全组成了`sub`（自首个元素对齐），则返回`true`。`first`与`last`元素可以正确处理负数。上面的表达也就是说：
+  `v[2] == tbl[first + 1]`
+  ...
-  `v[1] == tbl[first + 0]`
+  `v[#v] == tbl[first + #v - 1]`
+\\
-  `v[2] == tbl[first + 1]`
+  此处的`first + #v - 1`在`tbl`的`[first, last]`范围内。
+\\
-  ...
+* `transforms.foreach(tbl: table, adapter: function, first: number or nil, last: number or nil)`
+  返回`tbl`中从`first`到`last`的每个元素的修改版本。若`adapter`的结果出现`nil`则会被忽略，不会被加入结果。
-  `v[#v] == tbl[first + #v - 1]`
+  `adapter`函数遵循判断函数的格式，除了返回值处理方面。
+  * **Adapter函数返回值**
+  简单的情况是返回单个值，例如`tx.foreach({'a', 'b', 'c'}, string.upper)`将会返回`{'A', 'B', 'C'}`。
-  此处的`first + #v - 1`在`tbl`的`[first, last]`范围内。.
+  adapter函数可以通过返回`nil`来跳过某个值。例如，`tx.foreach({'1', 'foobar', '2'}, function(n) return tonumber(n) end)`将会返回`{1, 2}`。
+  `adapter`函数可以返回第二个值，此值会被用作结果的下个序号。例如`tx.foreach({'1','foobar','3'},function(n,i) return tonumber(n), tostring(i) end)`将会返回`{["1"]=1, ["3"]=3}`
-* `transforms.foreach(tbl: table, adapter: function, first: number or nil, last: number or nil)`
-  返回`tbl`中从`first`到`last`的每个元素的修改版本。若`adapter`的结果出现`nil`则会被忽略，不会被加入结果。
-  `adapter`函数遵循判断函数的格式，除了返回值处理方面
-  * **Adapter函数返回值**
-  简单的情况是返回单个值，例如`tx.foreach({'a', 'b', 'c'}, string.upper)`将会返回`{'A', 'B', 'C'}`。
-  adapter函数可以通过返回`nil`来跳过某个值。例如，`tx.foreach({'1', 'foobar', '2'}, function(n) return tonumber(n) end)`将会返回`{1, 2}`。
-  `adapter`函数可以返回第二个值，此值会被用于序号（返回结果键值）。例如`tx.foreach({'1','foobar','3'},function(n,i) return tonumber(n), tostring(i) end)`将会返回`{["1"]=1, ["3"]=3}`