typescript高级类型