#string

[[Python]] 常见的字符串操作，不过里面的许多函数已经移植到 [[str]].