是的,初始化的时候一共只用一次。
我感觉是push和pop太频繁了,初步的一个想法就是不要一个字符一个字符的处理,看在哪些情况下可以跳过一些内容。我改了 whitespace 的逻辑,在缩进那段区域直接用 back-to-indentation 跳过去,但是好像效果不是很好。
在考虑遇到 symbol 的时候直接跳过去。
是的,初始化的时候一共只用一次。
我感觉是push和pop太频繁了,初步的一个想法就是不要一个字符一个字符的处理,看在哪些情况下可以跳过一些内容。我改了 whitespace 的逻辑,在缩进那段区域直接用 back-to-indentation 跳过去,但是好像效果不是很好。
在考虑遇到 symbol 的时候直接跳过去。