public AST term(ArrayList<String> ctx) {
if (this.lexer.skip(Token.Type.LAMBDA)) {
String id = this.lexer.token(Token.Type.LCID);
this.lexer.match(Token.Type.DOT);
ctx.add(0,id);
AST term = this.term(ctx); //搜索term
Identifier newid = new Identifier(id,ctx.indexOf(id));
ctx.remove(ctx.lastIndexOf(id));
return new Abstraction(newid, term);
}
else {
return this.application(ctx);
}
}
我想用递归的方法实现某些功能,但是不想让方法修改传进来的list的属性
也就是说,增加元素只是在这个方法之中起作用,在其他方法中无效,请问怎么做到呢?
那个remove是我后来写上去的,但是有些情况下有bug,因为lastIndexOf不一定正好能搜索到本方法中添加的元素。
谢谢大佬们!