的变量类型的对应