我希望按照以下方式拆分字符串:
String s = "dotimes [sum 1 2] [dotimes [sum 1 2] [sum 1 3]]"
结果:
{"dotimes", "[sum 1 2]", "[dotimes [sum 1 2] [sum 1 3]]"
我尝试使用这个正则表达式:
s.split("\\s(?=\\[)|(?<=\\])\\s")
但这将导致以下结果:
dotimes
[sum 1 2]
[dotimes
[sum 1 2]
[sum 1 3]]
有没有办法使用正则表达式按照我想要的方式拆分字符串?