标签： rascal
Rascal Lib中是否有一个函数可以获取String的字节长度？
与IO中的getFileLength（）函数有点类似。
我需要它来设置位置值的偏移量。
答案 0 :(得分：0)
是的！ http://tutor.rascal-mpl.org/Rascal/Rascal.html#/Rascal/Libraries/Prelude/String/size/size.html
尺寸功能正是您所需要的：
。大小（＆＃34;是＆＃34;）== 3