类型转换是TS最好玩也是语言的灵魂,想玩好需要熟练各种手段和工具,下面一一介绍类型转换的一些常用手段。...keyof 操作 ---- keyof 见名知其意,就是获取对象所有的key,然后返回一个新的联合类型。...例如: type Point = { x: number; y: number }; type P = keyof Point; 扩展用途,将属性类型由number 修改成string: type SPoint...= {[K in P]:string} 如果一个类型由string、number索引签名,keyof 会返回这些类型代替。...type Arrayish = { [n: number]: unknown }; type A = keyof Arrayish; //A的类型是number type Mapish = { [k:
TypeScript宗旨 我觉得Typescript的宗旨是 任何一个 TypeScript 程序,在手动删去类型部分,将后缀改成 .js 后,都应能够正常运行。...Typescript是javascript的超集,是编译期行为,不引入额外开销,不改变运行时行为,始终与 ESMAScript 语言标准一致。...但是enum类型了引入了 JavaScript 没有的数据结构(编译成一个双向 map),入侵了运行时,与 TypeScript 宗旨不符。...用 字符串联合类型(‘enum1’ | ‘enum2’ | ‘enum3’)可以做到相同的事,且在调试时可读性更好。...enum2"; Test[Test["enum3"] = 4] = "enum3"; })(Test || (Test = {})); var test = Test.enum2; // 3 推荐联合类型
代码 : 3、字符串类型 TypeScript 中的 字符串类型 使用 " string " 表示 , 可以将字符串放在 双引号 "" 中 , 也可以放在 单引号 '' 中 ; 代码示例 : //...字符串类型 let str: string = "Tom" let str2: string = 'Jerry' // 控制台打印上述变量 console.log("str : " + str +...: 使用 数据类型后加上 [] 表示数组类型 , 如 : string[] 字符串数组类型 ; 使用 Array 表示数组类型 , 如 : Array 数字数组类型 ;...5、元组类型 TypeScript 中的 元组类型 可用于描述 已知 元素数量 和 元素类型 的数组 , 数组 中的元素类型可以不同 ; 代码示例 : // 元组类型 // 为元组赋值时 , 元素的数量和种类必须与声明的类型一一对应..., type : object" 10、未定义类型 TypeScript 中的 undefined 类型 表示一个未定义类型 , 声明了变量 没有定义其类型 也 没有为其赋值 , 默认就是该类型 ;
,不能赋值给任意类型,只能赋值给 any 或者 unknown。...true : false; 严格来说这三种也都不叫变量,因为它们不能被重新赋值。...TypeScript 的 type、infer、类型参数声明的变量都不能修改,想对类型做各种变换产生新的类型就需要重新构造。...如果允许父类型赋值给子类型,就叫做逆变。 如果允许子类型赋值给父类型,就叫做协变。...}; 索引签名不能构造成字符串字面量类型,因为它没有名字,而其他索引可以。
keyof 运算符是在 TypeScript 2.1 版本中引入的。这个关键字已经成为 TypeScript 中高级类型的基石,并在代码中经常使用。...= "name"; // 示例赋值 let anotherVariableName: keyof DemoClass; anotherVariableName = "age"; // 示例赋值...当我们为变量赋值时,TypeScript 会确保赋值的值是 DemoClass 的有效属性之一。...keyof T 返回的是字符串字面量类型的联合。字面量指的是赋值给常量变量的固定值。由于 K 是一个字符串字面量类型,我们使用 extends 关键字对 K 进行约束。...通过使用 keyof stringMapDemo,我们确保传递的 property 是一个字符串类型的键。 六、使用 KeyOf 条件映射类型 条件类型用于根据条件表达式在两个声明的类型之间进行选择。
“"unknown"”的参数不能赋给类型“"name" | "age"”的参数 K 不仅可以传成员,成员的字符串联合类型也是有效的 type Union = Person[keyof Person] /...X : Y ,若 T 能够赋值给 U ,那么类型是 X ,否则为 Y 。条件类型以条件表达式推断类型关系,选择其中一个分支。...T,并将它所有的属性设置为readonly,也就是说构造出的类型的属性不能被再次赋值。...T中剔除所有可以赋值给U的属性,然后构造一个类型。...T中提取所有可以赋值给U的类型,然后构造一个类型。
默认情况下 null 和 undefined是所有类型的子类型。开启--strictNullChecks 后,null 和 undefined只能赋值给 any和它们各自以及void。...number和bigint类型的值不能互相赋值。 其他类型 any。绕过编译阶段的检查,避免使用。 unknown 。是 any 类型对应的安全类型。...never 类型表示的是那些永不存在的值的类型,never类型是任何类型的子类型,也可以赋值给任何类型;然而,没有类型是 never的子类型或可以赋值给 never类型(除了never本身之外)。...P : any; 如果T能赋值给函数类型,则返回函数的返回类型。通过infer P来提取函数的返回类型。...也就是说,如果T不能赋值给U,则返回该值。如果有多个值不能赋值,则TT是联合类型。
name: string // 错误,`name`的类型与索引类型返回值的类型不匹配 } 当然,我们也可以将索引签名设置为只读,这样就可以防止给索引赋值 interface ReadonlyStringArray...假设 T 是一个类型,那么keyof T产生的类型就是 T 的属性名称字符串字面量类型构成的联合类型(联合类型比较简单,和交叉类型对立相似,这里就不做介绍了)。 「注意!...注意,如果 T 是带有字符串索引的类型,那么keyof T是 string或者number类型。...p : T; 在上面的条件语句中,infer P 表示待推断的函数参数,如果T能赋值给(param : infer p) => any,则结果是(param: infer P) => any类型中的参数...never : T; 以上语句的意思就是 如果 T 能赋值给 U 类型的话,那么就会返回 never 类型,否则返回 T,最终结果是将 T 中的某些属于 U 的类型移除掉 举个栗子: type T00
TypeScript 2.2 引入了一个新的 object 类型。它表示任何非基本类型。...它的键必须是对象,不能是基本类型值: interface WeakMap { delete(key: K): boolean; get(key: K):...Object]" obj.toString(); 字符串索引签名类型的点属性 在 TypeScript 2.2 之前,如果想访问带有字符串索引签名的类型的任意属性,就必须使用[]符号,但不允许使用.符号访问...在许多情况下,不再需要像这样令人不快的变通方法: // 笨拙的方式 (portNumbers as any).http = 80; 请注意,类型必须定义显式字符串索引签名,以便用.符号访问对任意属性都是类型正确的...给定适当的字符串索引签名,在这些情况下,就会获得更少的类型错误,并且不再需要使用类型注释注释点属性访问,这只是为了让编译器通过。
函数 如果变量被赋值为一个函数,变量的类型有两种写法。...但是,TypeScript 不允许动态添加属性,所以对象不能分步生成,必须生成时一次性声明所有属性。...也就是说,TypeScript 不允许使用type多次定义同一个类型。 (4)interface不能包含属性映射(mapping),type可以。...所以,最后一行的赋值语句不需要给出Type的具体类型。 此外,第二种写法还有一个差异之处。那就是它的类型参数定义在某个方法之中,其他属性和方法不能使用该类型参数。...的子类型,父类型不能赋值给子类型,所以会报错。
三、巧用 TypeScript 模板字面量类型 模板字面量类型(Template Literal Types)是 TypeScript 提供的一种强大工具,让你可以通过字符串字面量来创建更加表达性和易于管理的字符串类型...我们可以将多个字符串类型组合成一个新的字符串类型。...如果尝试将 invalidItem 赋值为 "green-small",TypeScript 会报错,因为 "green-small" 不在 ColoredSize 类型的定义范围内。...六、掌握 TypeScript 的 keyof 类型操作符 TypeScript 的 keyof 操作符用于创建一个对象类型的所有键的联合类型,这一特性能帮助你创建依赖于其他类型键的动态和灵活的类型定义...'id' 赋值,因为它是只读属性。
never : T; 如果类型T可赋值给类型null或类型undefined,则NonNullable类型为never类型;否则它将保留类型 T。...string和string[]都不能赋值给 null | undefined,这就是前两种类型选择string和string[]的原因。...预定义的有条件类型 TypeScript 2.8 在lib.d.ts里增加了一些预定义的有条件类型: Exclude -- 从T中剔除可以赋值给U的类型。...Exclude Exclude 从T中剔除可以赋值给U的类型。...,提取T中可以赋值给U的类型。
X : Y; 上面的类型意思是,若T 能够赋值给U,那么类型是 X,否则为 Y。...原理是令T'和U'分别为T和 U 的实例,并将所有类型参数替换为any,如果T'能赋值给 U',则将有条件的类型解析成 X,否则为Y。...,而 d 不能赋值给 Words 类型,所以 WD 为 false。...never : T; 以上语句的意思就是 如果 T 能赋值给 U 类型的话,那么就会返回 never 类型,否则返回 T,最终结果是将 T 中的某些属于 U 的类型移除掉,举个例子: type T00...T : never; 以上语句的意思就是 如果 T 能赋值给 U 类型的话,那么就会返回 T 类型,否则返回 never,最终结果是将 T 和 U 中共有的属性提取出来,举个例子: type T01
因此,如果多个扩展对象使用相同的键定义一个属性,那么结果对象中该属性的类型将是最后一次赋值的属性类型,因为它覆盖了先前赋值的属性: const obj1 = { prop: }; const obj2...就不知道将为 key 参数传递哪个值,所以它不能推断出prop函数的更具体的返回类型。...TypeScript 2.1 新增加 keyof 操作符。输入索引类型查询或 keyof,索引类型查询keyof T产生的类型是 T的属性名称。...Todo 类型,以获得其所有属性键的类型,该类型是字符串字面量类型的联合 type TodoKeys = keyof Todo; // "id" | "text" | "due" 当然,各位也可以手动写出联合类型...而且,它应该是特定于Todo类型的解决方案,而不是通用的解决方案。 索引类型查询 有了 keyof,咱们现在可以改进 prop 函数的类型注解。我们不再希望接受任意字符串作为 key 参数。
一、基础知识 在 JavaScript 中布尔类型的变量含有有限范围的值,即true和false。而在 TypeScript 中使用枚举,你也可以自定义相似的类型。...如果枚举中某个成员的值使用显式方式赋值,但后续成员未显示赋值, TypeScript 会基于当前成员的值加 1 作为后续成员的值,比如以下 Enum 枚举中的成员 C: enum Enum { A,...assert.equal(NoYes.Yes, 'Yes'); 对于纯字符串枚举,我们不能省略任何初始化程序。...7.3 keyof 和枚举 我们可以使用keyof类型运算符创建类型,其元素是枚举成员的 key。...7.3.1 使用 keyof 不使用 typeof 如果使用keyof不使用typeof,则会得到另一个不太有用的类型: type Keys = keyof HttpRequestKeyEnum;
如果枚举中某个成员的值使用显式方式赋值,但后续成员未显示赋值, TypeScript 会基于当前成员的值加 1 作为后续成员的值,比如以下 Enum 枚举中的成员 C: enum Enum { A,...assert.equal(NoYes.Yes, 'Yes'); 对于纯字符串枚举,我们不能省略任何初始化程序。...目前 TypeScript 只支持将数字和字符串作为枚举成员值。不允许使用其他值,比如 symbols。...7.3 keyof 和枚举 我们可以使用 keyof 类型运算符创建类型,其元素是枚举成员的 key。...7.3.1 使用 keyof 不使用 typeof 如果使用 keyof 不使用 typeof,则会得到另一个不太有用的类型: type Keys = keyof HttpRequestKeyEnum;
今天写创建文件夹的时候,怎么创建都不会,反复修改,确定错误是出在了string类型的变量上面。...的问题,发现加上也无济于事,fileurl_s_cy整体长度依旧是0 我可以使用std::stringfileurl_s_cy = “www/ccccc” 这种形式正常创建文件夹,但就是无法使用下标的赋值方式...解决方法如下: 声明的时候改为std::string fileurl_s_cy(len,’\0’); 这样就可以正常使用下标赋值,输出以及整体输出 怕忘记,记录与此。
现代JavaScript高级小册 深入浅出Dart 现代TypeScript高级小册 高级类型 映射类型(Mapped Types) 映射类型(Mapped Types)是 TypeScript 中一种强大的类型操作工具...infer关键字的作用是告诉 TypeScript 编译器在条件类型中推断一个待定的类型,并将其赋值给声明的类型变量。这使得我们可以在条件类型中使用这个推断出的类型进行进一步的类型操作。...需要注意的是,infer关键字只能在条件类型的右侧使用,用于声明一个待推断的类型变量,而不能在其他地方使用。此外,每个条件类型只能使用一次infer关键字,并且通常与泛型一起使用。...模板字面量类型(Template Literal Types) 模板字面量类型(Template Literal Types)是 TypeScript 4.1 引入的新特性,它允许我们在类型级别上操作字符串字面量类型...在上面的示例中,我们定义了一个模板字面量类型Greeting,它接受一个字符串类型参数T,并使用字符串模板将其包装在Hello,和!之间。
因此,如果多个扩展对象使用相同的键定义一个属性,那么结果对象中该属性的类型将是最后一次赋值的属性类型,因为它覆盖了先前赋值的属性: const obj1 = { prop: 42 }; const obj2...就不知道将为 key 参数传递哪个值,所以它不能推断出prop函数的更具体的返回类型。...TypeScript 2.1 新增加 keyof 操作符。输入索引类型查询或 keyof,索引类型查询keyof T产生的类型是 T 的属性名称。...Todo 类型,以获得其所有属性键的类型,该类型是字符串字面量类型的联合 type TodoKeys = keyof Todo; // "id" | "text" | "due" 当然,各位也可以手动写出联合类型...而且,它应该是特定于Todo类型的解决方案,而不是通用的解决方案。 索引类型查询 有了 keyof,咱们现在可以改进 prop 函数的类型注解。我们不再希望接受任意字符串作为 key 参数。
•数字•字符串•布尔类型•null•undefined•any•unknown•void•object•枚举•never 2、复合类型,包含多个单一类型的类型。...•数组类型•元组类型•字面量类型•接口类型 3、如果一个类型不能满足要求怎么办? •可空类型,默认任何类型都可以被赋值成 null 或 undefined。...:字符串和数字•函数类型接口•给类添加类型,构造函数类型 接口中除了可以定义常规属性之外,还可以定义可选属性、索引类型等。...,让我们能够在明确 this 的情况下,给到静态的类型提示。...•Partial,将 T 中的类型都变为可选。•Exclude,从 T 中剔除可以赋值给 U 的类型。•Extract,提取 T 中可以赋值给 U 的类型。
领取专属 10元无门槛券
手把手带您无忧上云