VM虚拟机编译原理实现变量类型判断