tuple_substr( : : String, Position1, Position2 : Substring)把字符串String中从Position1到Position2的字符剪切出存到Substring中。
String1 := 'abcdefghij'
String2 := '0123456'
*
tuple_substr (String1, 3, 5, SingleSubstring1) //'def'
SingleSubstring2 := String1{3:5} //'def'
*
tuple_substr (String1, [1,2,3], [3,6,3], MultipleIndices1) //['bcd', 'cdefg', 'd']
MultipleIndices2 := String1{[1,2,3]:[3,6,3]} //['bcd', 'cdefg', 'd']
*
tuple_substr ([String1,String2], 3, 5, MultipleInputStrings1) //['def', '345']
MultipleInputStrings2 := [String1,String2]{3:5} //['def', '345']
*
tuple_substr ([String1,String2], [5,0], [8,1], MultipleInputStringsAndIndices1) //['fghi', '01']
MultipleInputStringsAndIndices2 := [String1,String2]{[5,0]:[8,1]} //['fghi', '01']
*
tuple_substr ([String1,String2], 1, 0, EmptySubstring1) //['', '']
EmptySubstring2 := [String1,String2]{1:0} //['', '']
注:tuple_substr这个函数值适用于字符串数组,不能用于其他类型数组
例如;我使用are_center得到一个区域的坐标集合“row,column”,其中
row := [15465, 29258, 31079, 48178, 53557],这个数组不是字符串数组,但我想取出其中索引2-4的元素。
- 若用tuple_string (row, 'f', String)把row转化成字符串数组,再用tuple_substr (String, 2, 4, row_24) 会得到row_24 :=[465, 258, 079, 178, 557]
- 若用string := row[2:4] 会得到[31079, 48178, 53557]