typescript类型推论