自动类型推导