Find centralized, trusted content and collaborate around the technologies you use most.
Teams
Q&A for work
Connect and share knowledge within a single location that is structured and easy to search.
Rascal Lib中是否有一个函数可以获取字符串的字节长度?
有点类似于 IO 中的 getFileLength() 函数。
我需要它来设置位置值的偏移量。
是的!http://tutor.rascal-mpl.org/Rascal/Rascal.html#/Rascal/Libraries/Prelude/String/size/size.html
size 函数完全符合您的需要:
. 大小(“是”)== 3