语义分析3-(变量类型检查)