公共接口 切片
从输入字符串中提取字符以返回一个新的字符串
版本：实验性
模块过程
私有元素函数 slice_string(string, first, last, stride) 结果(sliced_string)
通过以长度为 'stride' 的步幅提取输入 'string' 的 'first' 和 'last' 索引（均包含）之间的区域内的字符，返回一个新的字符串
参数
| 类型 | 意图 | 可选 | 属性 | 名称 | ||
|---|---|---|---|---|---|---|
| 类型(string_type), | 意图(in) | :: | string | |||
| 整数, | 意图(in), | 可选 | :: | first | ||
| 整数, | 意图(in), | 可选 | :: | last | ||
| 整数, | 意图(in), | 可选 | :: | stride |
返回值 类型(string_type)
私有纯函数 slice_char(string, first, last, stride) 结果(sliced_string)
通过以长度为 'stride' 的步幅提取输入 'string' 的 'first' 和 'last' 索引（均包含）之间的区域内的字符，返回一个新的字符串
参数
| 类型 | 意图 | 可选 | 属性 | 名称 | ||
|---|---|---|---|---|---|---|
| 字符(len=*), | 意图(in) | :: | string | |||
| 整数, | 意图(in), | 可选 | :: | first | ||
| 整数, | 意图(in), | 可选 | :: | last | ||
| 整数, | 意图(in), | 可选 | :: | stride |