变量类型推断