使用 const 声明的变量是常量，不可被重新赋值，而且只在块级作用域内有效。...此外，TypeScript 还引入了一些新的数据类型，如 any、void、never 和 unknown：any 类型表示可以是任意类型的值，它与 JavaScript 的动态类型类似。...接口接口是 TypeScript 中用来定义对象的结构和类型的一种机制。可以使用 interface 关键字来定义接口。...泛型泛型是 TypeScript 中一种强大的类型系统功能，它可以在编译时实现类型安全的参数化类型。...类型断言类型断言是一种告诉编译器某个值的类型的方式。可以使用 或者 值 as 类型 的语法进行类型断言。
在JavaScript和TypeScript里叫做boolean 数组类型 无 声明变量为数组。...undefined undefined 用于初始化变量为一个未定义的值 never never never 是其它类型（包括 null 和 undefined）的子类型，代表从不会出现的值。...是 string 类型 console.log(str2) //用完断言打印数字1 注意：断言不被称为类型转换，是因为转换通常意味着某种运行时的支持。...: number; } //函数传入的参数对象中只有部分属性赋值了，这里只给接口来定义的color赋值了 function createSquare(config: SquareConfig...赋值也不可以 //想赋值的话可以用类型断言重写 A = B as number[];
TypeScript 通过类型注解提供编译时的静态类型检查。 TypeScript 中的数据要求带有明确的类型，JavaScript不要求。 TypeScript 为函数提供了缺省参数值。...五、TypeScript 数据类型 any、number、string、boolean、数组、元组、枚举、void、null、undefined、never 六、注意点 Null 和 Undefined...这意味着声明为 never 类型的变量只能被 never 类型所赋值，在函数中它通常表现为抛出异常或无法执行到终止点（例如无限循环） 变量不要使用 name 否则会与 DOM 中的全局 window 对象下的...= function () { console.log("hello " + sites.site1); }; sites.sayHello(); 七、新语法详解 类型断言 类型断言可以用来手动指定一个值的类型...，帮助 TypeScript 判断我们传入的参数类型对不对： declare var jQuery: (selector: string) => any; jQuery('#foo');
# 对象类型标注 TypeScript 中需要特殊的类型标注来描述对象类型——interface，其代表了对象对外提供的接口结构。...在 TypeScript 中，symbol 类型并不具有这一特性，多个具有 symbol 类型的对象，它们的 symbol 类型指的都是 TypeScript 中的同一个类型。...: any[]): void; 除了显式标记一个变量或参数为 any，在某些情况下一些变量或参数会被隐式推导为 any 类型，如： let foo; function func(foo, bar)...any 类型的万能性会导致其被经常滥用，需要注意： 如果是类型不兼容报错导致要使用 any，考虑使用类型断言代替 如果是类型太复杂导致不想全部声明要使用 any, 考虑去将这里的类型去断言为需要的最简类型...和 null、undefined 一样，是所有类型的子类型，但只有 never 类型的变量可以赋值给另一个 never 类型的变量。 通常不会显式声明一个 never 类型，它主要被类型检查所使用。
JSX 中使用 的断言语法时，这会与 JSX 的语法存在歧义： let foo = bar;; 因此，为了一致性，我们建议你使用 as foo 的语法来为类型断言...但是，类型断言纯粹是一个编译时语法，同时，它也是一种为编译器提供关于如何分析代码的方法 类型断言通常被认为是有害的 在很多情景下，断言能让你更容易的从遗留项目中迁移（甚至将其他代码粘贴复制到你的项目中）...Freshness 为了能让检查对象字面量类型更容易，TypeScript 提供 「Freshness」 的概念（它也被称为更严格的对象字面量检查）用来确保对象字面量在结构上类型兼容。...Never never 类型是 TypeScript 中的底层类型。...为 false 时），但是 never 不能赋值给其他任何类型，除了 never TypeScript 索引签名 JavaScript 在一个对象类型的索引签名上会隐式调用 toString 方法
// error 不能将类型“123”分配给类型“object” 这里有一点要注意了，你可能会想到给 obj 指定类型为 object 对象类型，然后给它赋值一个对象，后面通过属性访问操作符访问这个对象的某个属性...不能将类型“ string”分配给类型“number”。..."number"分配给类型 "never" 上面例子我们定义了一个立即执行函数，也就是"let neverVariable = "右边的内容。...而当你指定值为unknown类型的时候，如果没有通过基于控制流的类型断言来缩小范围的话，是不能对它进行任何操作的，关于类型断言，我们后面小节会讲到。...这个时候就要用类型断言，将tagrget的类型断言成string类型。
可以同时使用两种类型的索引，但是数字索引的返回值必须是字符串索引返回值类型的子类型。 这是因为当使用number来索引时，JavaScript会将它转换成string然后再去索引对象。...例如，基类型中键a为string，在扩展出的类型中无法将其改为number。...用于获取一个“常量”的类型,这里的“常量”是指任何可以在编译期确定的东西，例如const、function、class等。它是从 「实际运行代码」 通向 「类型系统」 的单行道。...索引签名参数类型必须为 "string" 或 "number" interface Map { [key: string]: T; } //T[U]是索引访问操作符;U是一个属性名称。...如果不指定类型，就在定义的之后指定一个默认的类型 myLog(1) 「我们也可以把泛型变量理解为函数的参数，只不过是另一个维度的参数，是代表类型而不是代表值的参数。」
const 也可以与泛型结合使用，以确保泛型参数是常量类型。...as const 是 TypeScript 中的一种类型断言语法，用于将表达式断言为只读（readonly）的字面量类型。...这个特性对于确保一些常量值在程序中不被意外修改非常有用。 用途： 1. 常量对象： 将对象字面量断言为只读的字面量类型，以确保它们在后续代码中不被修改。 2....常量数组： 将数组字面量断言为只读的字面量类型，以确保数组元素不被修改。 3. 字符串字面量类型： 将字符串字面量断言为只读的字面量类型，以确保它们的值在程序中不被修改。...总的来说，as const 是一种在 TypeScript 中用于确保常量值不被修改的机制，特别适用于确保对象、数组和字符串字面量的不可变性。
类型断言和类型守卫 类型断言 使用类型断言告诉编译器我知道我在做什么，但是不要滥用。... x = y // 不能将类型“Person”分配给类型“Person”。...y = x // 不能将类型“Person”分配给类型“Person”。 高级类型 交叉类型 「交叉类型」是将多个类型合并为一个类型。它包含了所需的所有类型的特性。...可以理解为对象的大括号取值。如果value为never，则不返回任何类型；如果不是never，则直接返回。...2、infer P 表示待推断的构造函数参数，如果T是构造函数，就返回构造函数的类型参数P，否则返回never。 infer 的应用 将元组转换为联合类型。
这意味着，如果你声明一个变量为字符串类型，TypeScript 将确保分配给该变量的值确实是字符串而不是数字，例如。这有助于您及早发现错误，并确保您的代码按照预期工作。...这意味着，当你将一个对象分配给带有接口类型的变量时，TypeScript 会检查对象是否具有接口中指定的所有属性和方法。...“只读”关键字用于使对象的属性只读，意味着在创建后它们无法被修改。例如，在处理配置或常量值时，这非常有用。...U : never; type MyArray = ArrayType; // MyArray 类型是 string 你也可以使用 infer 关键字为返回具有特定属性的对象的函数创建更精确的类型...例如，应该尽可能使用函数和方法参数默认值，以避免参数为空或未定义时的错误。
类型参数，a 已经被推断为 number，因此报错。...Number() 可以进行正确的转换，因为 Number 上有这样一个签名：参数为 any，可以接受任何类型的参数。...TypeScript 的类型断言「type-assertions」语法上像极了类型转换，但是它并不是类型安全的。... // "name"|"title" 注意类型 StringFields中的 never[13]，never 是 TypeScript 的基础类型之一，表示不可到达。...S[K] :never ) } // 创建Api使用的参数，id为自增，所以要去掉id type ApiCreateParams = Omit // {parent:
3.常量枚举 除了数字枚举和字符串枚举之外，还有一种特殊的枚举 —— 常量枚举。它是使用 const 关键字修饰的枚举，常量枚举会使用内联语法，不会为枚举类型编译生成任何 JavaScript。...方法中的控制流程，这时候 else 分支的 foo 类型会被收窄为 boolean 类型，导致无法赋值给 never 类型，这时就会产生一个编译错误。...三、TypeScript 断言 3.1 类型断言 有时候你会遇到这样的情况，你会比 TypeScript 更了解某个值的详细信息。通常这会发生在你清楚地知道一个实体具有比它现有类型更确切的类型。...很明显这种类型是不存在的，所以混入后成员 c 的类型为 never。...图中 内部的 T 被称为类型变量，它是我们希望传递给 identity 函数的类型占位符，同时它被分配给 value 参数用来代替它的类型：此时 T 充当的是类型，而不是特定的 Number 类型
assignment non-virtual, take the parameter by const&, and return by non-const& C.60: 拷贝赋值运算符应该是以const&为参数...，返回非常量引用类型的非虚函数 Reason（原因） It is simple and efficient....通过将数据直接写入对象元素，我们可以得到基本的保证而不是通过swap技术提供的强保证。为了防止自己给自己赋值。...不要改成类似const T&的类型，这样会影响组装性并妨碍将对象放进容器中。...（中等）赋值运算符应该（隐式或显式）调用所有的基类和成员的赋值运算符。观察析构函数以决定这个类型式指针语义还是值语义。
= (someValue).length; // 临时把 someValue 断言为一个string 类型的值 as let someValue: any = "this is a string..."; let strLength: number = (someValue as string).length;// 临时把 someValue 断言为一个string 类型的值 #将任何一个类型断言成...此时我们可以使用 as any 临时将 window 断言为 any 类型： (window as any).foo = 'foo' 临时将 window 断言为一个 any 类型，因为 any 可以添加任何的属性...#类型断言的限制 联合类型可以被断言为其中一个类型 父类可以被断言为子类 任何类型都可以被断言为 any any 可以被断言为任何类型 要使得 A 能够被断言为 B，只需要 A 兼容 B 或 B 兼容...接下来我们以实例化 myNumberClass 为例，来分析一下其调用过程： 在实例化 IdentityClass 对象时，我们传入 Number 类型和构造函数参数值 68； 之后在 IdentityClass
//false 对象类型 object、Object 以及 { } object 看图可以发现，当赋值给object的类型为number、string、boolean时都会报错，而null和undefined...(): never { // 正常编译 while (true) {} } Unknown类型 与any一样，所有类型都可以分配给他。...类型断言 指定更具体的类型，即手动指定一个值的类型。...; 语句可以通过 TypeScript 类型检查器的检查。但在生成的 ES5 代码中，! 非空断言操作符被移除了，所以在浏览器中执行以上代码，在控制台会输出 undefined。...具体类型 1.可以直接在使用时给它定义类型 console.log(id('甜甜')); // 定义 T 为 string 类型 2.直接利用typescript的类型推断 console.log
当然这里只是举一个例子说明断言的使用，因为滥用断言是不提倡的，类型断言只能够欺骗TypeScript编译器，而无法避免运行时的错误，滥用类型断言可能会导致运行时错误。...但是若使用双重断言，则可以打破要使得A能够被断言为B，只需要A兼容B或B兼容A即可的限制，将任何一个类型断言为任何另一个类型。...此外类型断言之所以不被称为类型转换，是因为类型转换通常意味着某种运行时的支持，而类型断言只会影响TypeScript编译时的类型，类型断言语句在编译结果中会被删除，也就是说类型断言纯粹是一个编译时语法，...R : never; type firstArg = FirstParameter; // number 函数重载 TypeScript允许声明函数重载，即允许一个函数接受不同数量或类型的参数时...开始文章之前我们先约定如下的标记，A ≼ B意味着A是B的子类型;A → B指的是以A为参数类型，以B为返回值类型的函数类型;x : A意味着x的类型为A。
let声明的，其实有3种变量声明方式： var：函数作用域 let：块级作用域 const：块级作用域，常量（不允许修改） 例如： var a: string = 'a'; let b: string...Void类型的变量也是合法的，约束值只能是undefined或null Null、Undefined和Never是其它类型的子类型，因此可以赋值给任何其它类型变量（例如let str: string...= null也是合法的） Never类型不可以赋值给其它任何类型，即便是Any也不行 Never类型的变量也是合法的，此时Never可以用作类型保护（例如declare const name: never...，见Improve type safety of name global variable 三.类型断言 可以通过类型断言告知TypeScript编译器某个值的确切类型： Type assertions...key： let colorName: string = Color[2]; // 此时，colorName为'Green' 修改global Any类型用来绕过编译时类型检查，因此可以用来修改一些不能改的东西
undefined undefined 用于初始化变量为一个未定义的值 never never never 是其它类型（包括...转译后消失的符号 → 类型空间 作为类型注解、别名的符号 → 类型空间 ( type T = typeof Person; const p: Person） 类型断言后的符号 → 类型空间 (...，但是含义完全不同: typeof 在值空间，typeof 返后面表达式对应的 JavaScript 类型的字符串表示 ( string , number , bigint , boolean , symbol...可以作为类方法的返回值来实现链式调用 &| 运算符 在值空间表示 “按位与” 和 “按位或” (Bitwise AND，OR) 在类型空间表示类型的交叉和联合 const 在值空间用来声明常量 在类型空间与...as 连用,即 “as const” 常量断言，收窄类型 extends 在值空间用于定义子类（class A extends B） 在类型空间用来进行类型约束（T extends number）或接口继承
对于未知的对象类型，应使用 Record 对于函数类型，应使用入参、返回值被标注出来的具体类型：type SomeFunc = (arg1: string) => void...= {}; // 类似的还有常量断言 const foo = [1, 2]; const foo = [1, 2, 3] as const; 这一规则约束使用统一的类型断言语法...non-nullable-type-assertion-style 此规则要求在类型断言仅起到去空值作用，如对于 string | undefined 类型断言为 string时，将其替换为非空断言 !...你也可以通过 TypeScript 中的 never 类型来实现实际代码的检验： const strOrNumOrBool: string | number | boolean = false; if...{_exhaustiveCheck}`); } 这里通过编译时与运行时做了两重保障，确保为联合类型新增类型分支时也需要被妥善的处理，你可以参考开头的 never 类型 文章了解更多 never 相关的使用
，未赋值变量会报错 num = null // 如果不指定null, 变量不可赋值为null 9 没有返回值的函数返回类型 void function func():void{ console.log...nerver(可以是其他类型的子类型) function error(message: string): never { throw new Error(message); } 类型别名 type...} 注：对象变量作为参数传值时，因为是可变值，会导致文字类型校验失败，例如 function doRequest(url:string, method: 'GET' | 'POST'){} const...type Method = 'GET' | 'POST' const req = { method: 'GET' as Method } 或 将对象断言为常数 const req = { method...10 : 'hello' // x的类型为 number | string 类型谓词 附加到接受单个参数并返回布尔值的函数，范围值为true时，会把变量类型范围缩小为某具体类型 type Fish =
领取专属 10元无门槛券
手把手带您无忧上云
