@
类型约束
TypeScript中的类型是一种用于描述变量、函数参数和函数返回值的特征的方式。
代码中定义类型的部分不会在原生JavaScript环境中编译
基本类型
包括number、string、boolean、null、undefined和symbol。
联合类型
联合类型（Union Types）是指用“|”符号将多个类型组合成一个的类型。这意味着一个变量可以存储多种类型的值
let value: number | string = 42;
控制流分析
TypeScript 本身是一种静态类型语言，它在编译时进行类型检查，因此控制流分析在编译阶段就已经开始了
比如：
function getUserInput():string|number{
if(new Date() != new Date("2023-11-01")){
return "yes";
}
else {
return 0;
}
}
此时Typescript的控制流分析将data类型视为 string | number
instanceof和typeof
typeof操作符用于获取一个值的类型。它返回一个字符串，表示值的类型
instanceof操作符用于判断一个对象是否属于某个类的实例
使用typeof input === "string" 和 input instanceof String 这两个判断有什么区别：
typeof只能用于判断基本类型，instanceof可以用于判断自定义的类型，例如类，接口，数组等
instanceof 可以用于判断一个对象是否是某个类的实例，包括继承自该类的子类。
类型守卫和窄化
类型守卫用于获取变量类型信息，通常使用在条件块语句中。类型守卫是返回布尔值的常规函数，接受一个类型并告诉 TypeScript 是否可以缩小到更具体的类型。
缩小到更具体的类型的过程称之为“窄化（Narrowing）”，它能根据代码中的逻辑减少联合中的类型数量。大多数窄化来自if语句中的表达式，其中不同的类型操作符在新的范围内窄化。
typeof判断
var input = getUserInput()
input // string |number
if (typeof input === "string") {
input // string
}
instanceof判断
var input = getUserInput()
input // number | number[]
if (input instanceof Array)) {
input // number[]
}
in判断
var input = getUserInput()
input // string | {error: ...}
if ("error" in input) {
input // {error: ...}
}
内建函数，或自定义函数
var input = getUserInput()
input // number | number[]
if (Array.isArray(input)) {
input // number[]
}
// 验证是否是number类型
function isNumber(x: any): x is number {
return typeof x === "number";
}
// 验证是否是string类型
function isString(x: any): x is string {
return typeof x === "string";
}
var input=getUserInput(); //string | number
if (isNumber(input)){
input // number
}
赋值
赋值过后的变量，也将发生“窄化”
let data: string | number = ..
data // string | number
data ="Hello"
data // string
布尔运算
执行布尔运算时在一行代码里也会发生窄化
var input = getUserInput()
input // number | string
const inputLength = (typeof input ==="string" && input.length) || input //string
保留共同属性
当联合类型的所有成员都有相同的属性名称时，这些属性会被保留
type Responses =
|{ status: 200, data: any }
|{status :301, to: string }
|{status: 400,error: Error }
const response = getResponse()
response // Responses
switch(response.status) {
case 200: return response.data
case 301: return redirect(response.to)
case 400: return response.error
}
字面量类型（literal type）
字面量类型指的是使用字面量语法来定义的类型。字面量类型是一种特殊的类型，它允许你使用字面量值来定义类型的约束。
字面量类型包括以下几种：
- 数字字面量类型：使用数字字面量来定义数字类型的约束。例如，0、1、2 等。
- 字符串字面量类型：使用字符串字面量来定义字符串类型的约束。例如，"hello"、"world" 等。
- 布尔字面量类型：使用布尔字面量 true 和 false 来定义布尔类型的约束。
- 元组字面量类型：使用元组字面量 [item1, item2, ...] 来定义元组类型的约束。例如，[1, "hello"] 表示一个包含一个数字和一个字符串的元组。
- null 和 undefined 字面量类型：使用 null 和 undefined 字面量来表示 null 和 undefined 类型的约束。
- 空类型字面量：使用 {} 来定义一个空类型的约束，表示该类型没有任何属性或方法。
- 任意值字面量类型：使用 any 关键字来定义任意值的约束，表示该类型可以接受任何类型的值。
编译器在编译期间进行类型检查，提高代码的可读性和可维护性。
通常字面量类型不会单独出现，而是配合联合类型，用于约束类型的值
declare function handleRequest(url: string, method: "GET" | "POST"): void;
handleRequest(req.url, "GET"); //编译通过
handleRequest(req.url, "MYGET"); //编译不通过，值不合法
as const 作用
使用“as const”将类型锁定为其字面量版本
在 TypeScript 中，as const 用来明确告诉 TypeScript 编译器这个变量是只读的（const），并且它的类型是字面量类型
还是刚刚的例子
declare function handleRequest(url: string, method: "GET" | "POST"): void;
const req = { url: "https://example.com", method: "GET" };
handleRequest(req.url, req.method);
编译器会报错
原因是req类型被识别为
const req = { url: "https://example.com", method: "GET" } as const;
当加上“as const”识别为字面量版本的类型
-本章完-