所以我有这个字符串:
{"scores":{"1":["John",60],"2":["Jude",60],"3":["Max",60],"4":["Kyle",60],"5":["Smith",60],"6":["Mark",50],"7":["Luke",40],"8":["Anne",30],"9":["Bruce",20],"10":["kazuo",10]}}
那里有许多带有引号的整数,我想摆脱它们。我怎么做?我已经试过了:
print(string.gsub(string, '/"(\d)"/', "%1"));
但它不起作用。:(