谁知道怎么进行数据类型改变？
比如我json或获取到了两个变量
a1='3'，a2='2'
注意两个变量都是字符串。
那我要怎么写才能计算a1-a2的结果？
找了很久找不到数据类型转换，字符串也无法进行减法。