强类型语言变量和数据类型的理解