进行字符串处理,将一个字符串中的一部分复制出来,复制长度已知,例如:
$a=”HelloWorldHalloWerldHellaWotld”
将World后的HalloWerld复制出来,长度为10
百度了很多办法,应该是使用$a.copyto()
可是搜索到的参考资料里都没有参数的详细说明
进行字符串处理,将一个字符串中的一部分复制出来,复制长度已知,例如:
$a=”HelloWorldHalloWerldHellaWotld”
将World后的HalloWerld复制出来,长度为10
百度了很多办法,应该是使用$a.copyto()
可是搜索到的参考资料里都没有参数的详细说明