typescript思维导图
2022-06-13 21:00:17 2 举报AI智能生成
typescript 基础类型，内置类型，类型推断，interface和type别名以及声明文件和typescript配置
作者其他创作
大纲/内容
string
number
boolean类型本身其实只是true|false 联合类型的别名
boolean
如果关闭，那么ts不再检查null和undefined的赋值和从他们中取值的合法性
如果打开，那么ts会检查从对应类型中取值和赋值的合法性
对于null和undefined的检查取决于stricNullChecks是否开启
function liveDangerously(x?: number | null) { // No error console.log(x!.toFixed());}
在变量后面使用！实际上是一种断言，它表示这个变量不是null和undefiend
非空断言！
null和undefined
任意类型
any
number[] number 组成的数组
string[] string组成的数组
数组
bigint
symbol
function f1(a: any) { a.b(); // OK}function f2(a: unknown) { a.b();Object is of type 'unknown'.}
和any类似，但是它更安全，因为unknown不能做任何事。
unknown
function greet(name:string){console.log(name.toUpperCase())}
参数类型
function getFavoriteNumber(): number { return 26;}
返回值类型
函数
对象类型
定义联合类型
ts规定只有在对联合体的每个成员都有效的情况下才允许操作
const stringOrNumber:string|number = 1;stringOrNumber.toUpperCase()//报错因为number类型不具备toUpperCase方法
使用联合类型
联合类型（Union Types）
type ID=string|number
类型别名
接口声明是命名对象类型的另一种方式
他们非常相似，几乎所有的interface特性对于type都是可用的
唯一的不同点在于，interfacce是可重新定义添加属性的，type 不能被重新定义
他们定义扩展的形式也不同，interface可以extends，type使用&
interface 只能定义对象类型，type可以对原始类型重命名
可以一直使用interface，直到不符合需求再使用type
接口interface和类型别名type的区别
接口
const myCanvas = document.getElementById(\"main_canvas\") as HTMLCanvasElement;
as 类型断言来指定更具体的类型
const myCanvas = <HTMLCanvasElement>document.getElementById(\"main_canvas\");
注意： 再tsx文件中尖括号被认为是标签而报错
也可以使用尖括号
const n = 11 as string//报错，不充分重叠
const dd = '11' as unknown as number
解决：先断言为any、unknown，再断言为想要的类型
as 类型断言一般是断言为更具体或更不具体的类型，如果断言为完全不可能的类型会报错
叹号放在变量后面，表示这个变量不会是undefined和null
！
类型断言
s被推断为'abcd'类型，因为const之后，s不可能再变化
const s = 'abcd'
s被推断为string类型，因为let之后，s可能发生变化
let s = 'abcd'
字面类型的推断可能会根据定义变量的形式决定
单一的字面类型意义不大，更多的情况下是使用联合类型，说明变量可能存在的多种情况
字面类型
const req = { url: \"https://example.com\
这个类型被认为是const req: { url: string; method: string;}
ts在推理对象类型时，不会给对象的属性指定为字面类型
// Change 1:const req = { url: \"https://example.com\
1. 使用类型断言，把类型指定为某个类型
2. 使用as const把整个对象转换成字面类型
转换为字面类型
字面推理
使用enum定义枚举
枚举具有特殊性，他是真实存在的数据，不仅仅是类型
枚举类型
基础
interface Fish{ swim:()=>void}interface Bird{ fly:()=>void}function isFish(pet: Fish | Bird): pet is Fish { return (pet as Fish).swim !== undefined;}
pet is Fish 表示函数返回pet是不是一个Fish类型
let pet = getSmallPet(); if (isFish(pet)) { pet.swim();} else { pet.fly();}判断isFish之后，ts会直到类型是不是一个Fish
类型谓词is
never可以赋值给任何类型，没有类型可以分配给never（除了它自己）
从未观察到的值
never
收窄
function greeter(fn: (a: string) => void) { fn(\
语法的(a: string) => void意思是“一个带有一个参数的函数，名为a，类型为字符串，没有返回值”。
函数类型表达式
函数除了可调用之外还可以具有属性。
注意这里的fn可以访问description属性，也可以直接被调用
(someArg: number): boolean; 这里用的是冒号：，而不是=>
type DescribableFunction = { description: string; (someArg: number): boolean;};function doSomething(fn: DescribableFunction) { console.log(fn.description + \" returned \" + fn(6));}
调用签名
构造函数可以使用new 关键字创建对象
ts中使用new关键字表示这个函数可以被new出来，且可以标识new出的对象是SomeObj
interface SomeObj{ a:number}interface NewFn{ new ():SomeObj}let newFn:NewFnconst obj = new newFn;
构造签名
// s is of type 'string'const s = firstElement([\"a\
function firstElement<Type>(arr: Type[]): Type | undefined { return arr[0];}
给函数添加一个类型参数Type，并且在参数和返回值处使用它，我们就在返回和参数之间创建了联系。这种泛型可以告诉ts返回是什么类型
function greet<Str extends string>(s: Str) { console.log(\
// 根本无需Str类型参数function greet(s: string) { console.log(\
注意，如果类型参数Type只在函数签名的一个地方出现，那么很大可能它是不需要的，出现这种情况需要重新考虑是否需要类型参数
通用函数
ts会自动根据输入的类型判断Input，因此函数直到n参数是string
推断
一个组合数组的函数
这么使用会报错，因为类型推断Type是number[]，再给出string会报错
这时候可以手动指定类型的参数
指定类型参数
我们可以给函数类型参数加约束
这个类型说明了输入需要含有length属性
约束
function f(x?: number) { // ...}f(); // OKf(10); // OK
使用问号？添加可选参数
function f(x = 10) { // ...}
使用赋值添加默认参数，和js一样
可选参数和默认参数
js可以使用不同个数的参数和类型进行调用，我们可以编写多个重载类型签名，同时编写一个具有兼容签名的函数实现。兼容的函数实现签名叫做实现签名，这个实现签名不能直接调用、不能从外部看到
实现签名不会被看到
// 这个调用就会报错len(Math.random() > 0.5 ? \"hello\" : [0]);
// 一个返回字符串或数组长度的函数function len(s: string): number;function len(arr: any[]): number;function len(x: any) { return x.length;}
他的问题在于如果参数是string|number类型就会报错，因为没有函数重载的参数是string|number
// 这是良好的非重载版本function len(x: any[] | string) { return x.length;}
注意：尽可能使用联合类型而不是重载
函数重载
指定函数中的this指向
这里filterUser的回调中的this就被认为是User
interface User{ admin:boolean}interface DB { filterUsers(filter: (this: User) => boolean): User[];} let db:DBconst admins = db.filterUsers(function () { return this.admin;});
this
使用...可以吧rest参数放在所有其他参数后面，用法基本同js
// Inferred type is number[] -- \"an array with zero or more numbers\
解决：
ypeScript 并不假定数组是不可变的
rest函数参数
// 以下两种会报错function fVOid1(): void { return true;}const fVoid2 = function (): void { return true;};
定义函数，返回类型（包括void），实现的时候必须返回指定类型
type voidFunc = () => void; const f1: voidFunc = () => { return true;}; const f2: voidFunc = () => true; const f3: voidFunc = function () { return true;};
voidFunc说明需要返回voidf1返回了true并不会导致报错
指定变量的返回类型为函数，函数返回值为void，不会强制返回void
返回void
函数function
可以通过接口interface或者别名type来定义
interface PaintOptions { shape: Shape; xPos?: number; yPos?: number;}
可选属性？
如果对prop赋值将会报错
interface SomeType { readonly prop: string;}
interface Home { readonly resident: { name: string; age: number };}虽然不能直接修改resident，但是可以修改name、age
interface Person { name: string; age: number;} interface ReadonlyPerson { readonly name: string; readonly age: number;} let writablePerson: Person = { name: \"Person McPersonface\
readonlyTypeScript在检查这些类型是否兼容时不会考虑两种类型的属性是否存在
只读属性readonly
属性修饰符
这个类型说明索引为number时，值是string
索引签名属性类型必须是字符串或数字
interface NumberDictionary { [index: string]: number; length: number; // ok name: string;Property 'name' of type 'string' is not assignable to 'string' index type 'number'.}
强制所有属性匹配其返回类型。
interface StringArray { [index: number]: string;}
索引签名
interface BasicAddress { name?: string; street: string; city: string; country: string; postalCode: string;} interface AddressWithUnit extends BasicAddress { unit: string;}
给一个基础类型扩展额外的属性
extends关键字可以有效地从其他类型复制成员，并添加任何新成员
从多个类型扩展
扩展类型
interface Colorful { color: string;}interface Circle { radius: number;} type ColorfulCircle = Colorful & Circle;
相交Colorful并Circle生成了一个新类型，它包含Colorful 和 Circle的所有成员。
使用&定义合并类型，用于组合现有的对象类型
&和extends 没有太大的区别，他们的区别还是type和interface的区别，1.如何对待类型冲突2.能不能定义原始类型
合并类型
string[]是Array<string>的简写形式，表示包含string类型的数组
readonly string[]是ReadonlyArray<string>的简写形式，表示包含string类型的只读数组，不可以改变数组中的元素
let x:readonly string[]=[]let y:string[] = []x=y;// 没有问题y=x;// 报错// 简单说就是可以收紧，把可变的变成readonly的，不能放宽
注意string[]和readonly string[]不是可以双向赋值的
数组类型
元组是一种特殊的数组，它确切的知道包含多少个元素，每个特定位置包含哪些类型
第一个元素是string，第二个元素是number，没有第三个元素，引用第三个元素报错
它甚至等同于
StringNumberBooleans描述一个元组，其前两个元素分别是string和number，但后面可以有任意数量的booleans.StringBooleansNumber描述一个元组，它的第一个元素是string，然后是任意数量的booleans 并以 a 结尾number。BooleansStringNumber描述了一个元组，其起始元素是任意数量的booleans 并以 a 结尾，string然后是 a number。
元组剩余元素
只读的元组
元组类型
object
向标识函数添加了一个类型变量Type，可以再次使用Type作为返回类型
function identity<Type>(arg: Type): Type { return arg;}
这样identity函数的参数就变成了number，返回也是number
对象函数调用写法参考函数 调用签名 call sign
interface GenericIdentityFn<Type> { (arg: Type): Type;} function identity<Type>(arg: Type): Type { return arg;} let myIdentity: GenericIdentityFn<number> = identity;
注意：泛型类仅在其实例方面而不是其静态方面是通用的，因此在使用类时，静态成员不能使用类的类型参数。
泛型类再类名称后面添加一个尖括号，其中就是泛型参数列表
泛型类
泛型通过extends约束arg必须含有length属性
泛型约束
泛型
对于对象类型生成其键的字符串或数字的联合类型
这是因为在js中，key总是会被转成字符串，obj[0]和obj['0']是一样的
type Mapish = { [k: string]: boolean };type M = keyof Mapish;// 结果是string|number
keyof
js本身具有一个typeof运算符，用来获取类型
let s = 'hello'let n:typeof s;// n:string
ts中的typeof运算符，可以在类型上下文中使用它引用变量或属性的类型
typeof只能用于标识符（即变量名）或其属性上是合法的
限制
typeof
type Person = { age: number; name: string; alive: boolean };type Age = Person[\"age\"];
可以使用索引来查找对象类型上的特性属性
type I1 = Person[\"age\" | \"name\"];// type I1 = string | number type I2 = Person[keyof Person];// type I2 = string | number | boolean
可以使用keyof、联合类型获取其他类型
通过number索引获取数组上的类型
索引访问
type NameOrId<T extends number | string> = T extends number ? IdLabel : NameLabel;function createLabel<T extends number | string>(idOrName: T): NameOrId<T> { throw \"unimplemented\";}let a = createLabel(\"typescript\");//let a: NameLabellet b = createLabel(2.8);// let b: IdLabellet c = createLabel(Math.random() ? \"hello\" : 42);//let c: NameLabel | IdLabel
通过extends来判断左侧的类型是否可分配给右侧的类型
type MessageOf<T extends {message:string}>=T['message']// 通过 extends 约束，ts就知道T应该还有一个message属性
条件类型约束
type Flatten<Type> = Type extends Array<infer Item> ? Item : Type;
infer用来推断在extends的真是分支上的类型
在条件类型中推断infer
例子中，Type如果是union类型，那么union类型中的每一个成员都会执行一次extends，这是默认的行为
type ToArray<Type> = Type extends any ? Type[] : never; type StrArrOrNumArr = ToArray<string | number>;// string[]|number[]
type ToArrayNonDist<Type> = [Type] extends [any] ? Type[] : never; // 'StrArrOrNumArr' is no longer a union.type StrArrOrNumArr = ToArrayNonDist<string | number>;// type StrArrOrNumArr = (string | number)[]// 注意结果和上一个例子的不同
如果不想获得这种分布性，可以使用中括号吧关键字每一侧括起来
分布式条件类型
条件类型
type FeatureFlags = { darkMode: () => void; newUserProfile: () => void;}; type FeatureOptions = OptionsFlags<FeatureFlags>;结果： type FeatureOptions = { darkMode: boolean; newUserProfile: boolean;}
可以遍历对象类型，并生成一个新的对象类型
type CreateMutable<Type> = { -readonly [Property in keyof Type]: Type[Property];}; type LockedAccount = { readonly id: string; readonly name: string;}; type UnlockedAccount = CreateMutable<LockedAccount>; 结果：type UnlockedAccount = { id: string; name: string;}
// Removes 'optional' attributes from a type's propertiestype Concrete<Type> = { [Property in keyof Type]-?: Type[Property];}; type MaybeUser = { id: string; name?: string; age?: number;}; type User = Concrete<MaybeUser>; 结果：type User = { id: string; name: string; age: number;}
可以使用+-来，来添加、删除可变性（readonly）和可选性（？）
映射修饰符
type Getters<Type> = { [Property in keyof Type as `get${Capitalize<string & Property>}`]: () => Type[Property]}; interface Person { name: string; age: number; location: string;} type LazyPerson = Getters<Person>; 结果为：type LazyPerson = { getName: () => string; getAge: () => number; getLocation: () => string;}
过滤某些键
通过as重新映射
映射类型
和js的模板字符串同样的用法，用于生成新的字符串类型
type EmailLocaleIDs = \"welcome_email\" | \"email_heading\";type FooterLocaleIDs = \"footer_title\" | \"footer_sendoff\"; type AllLocaleIDs = `${EmailLocaleIDs | FooterLocaleIDs}_id`;// 结果： type AllLocaleIDs = \"welcome_email_id\" | \"email_heading_id\" | \"footer_title_id\" | \"footer_sendoff_id\"
在插值位置使用联合union类型时，每个联合成员表示的每个可能的字符串的集合
type AllLocaleIDs = `${EmailLocaleIDs | FooterLocaleIDs}_id`;type Lang = \"en\" | \"ja\" | \"pt\"; type LocaleMessageIDs = `${Lang}_${AllLocaleIDs}`; 结果为：共有3*4=12中可能 type LocaleMessageIDs = \"en_welcome_email_id\" | \"en_email_heading_id\" | \"en_footer_title_id\" | \"en_footer_sendoff_id\" | \"ja_welcome_email_id\" | \"ja_email_heading_id\" | \"ja_footer_title_id\" | \"ja_footer_sendoff_id\" | \"pt_welcome_email_id\" | \"pt_email_heading_id\" | \"pt_footer_title_id\" | \"pt_footer_sendoff_id\"
对于模板文字中的每个插值位置，联合是交叉相乘的：
每个字符串大写
Uppercase(StringType)
每个字符串小写
Lowercase<StringType>
首字母大写
type LowercaseGreeting = \
Capitalize<StringType>
首字母小写
type UppercaseGreeting = \"HELLO WORLD\";type UncomfortableGreeting = Uncapitalize<UppercaseGreeting>;// hELLO WORLD
Uncapitialize<StringType>
内置字符串操作类型
模板文字类型
类型操作
ts中class基本用法
实现一个interface，implements之后不是真的已经实现了，这个关键字是用来检测class是否实现了interface中的属性和方法
implements
继承，子类会具有基类的所有属性和方法
extends
可以为子类声明字段类型为更精确地类型，而不影响js的运行时
只声明字段类型
默认可见的修饰符
public
受保护的成员，仅对声明他们的类的子类可见
protected
不允许子类访问成员
这个仅仅是ts类型的检查，并不是真的私有变量
js中的私有使用#来定义，这使得#定义的私有变量硬私有，完全不能被访问到
private
成员可见性
静态成员也能使用可见性修饰符
静态成员也能被继承
静态成员static
引用当前类的类型
返回值使用this is来收窄类型范围
在构造函数上加上可见性修饰符public、protected、private、readonly，可以吧构造函数参数转化为同名的类属性
参数属性
abstract
定义抽象类，不能直接被实例化，它是用来被继承的基类
抽象类
class类
可以使用与ES模块相同的语法导入、导出ts类型
只能导入ts类型
import type
内联type导入
es模块
模块
返回一个给定类型所有子集的类型，即字段都变成可选
Partial<Type>
所有属性必填
Required<Type>
所有属性只读
Object.freeze 冻结函数的类型：function freeze<Type>(obj: Type): Readonly<Type>;
Readonly<Type>
构造一个对象类型，键为keys，值为Type
从Type中获取某些keys来构造新类型
从Type中删除某些keys来构造新类型
从联合类型（union）中去除一些类型之后来构造新类型
获取两个联合类型的交集
从type中去除null和undefined
NonNullable<Type>
从函数类型的参数中使用的类型来获取元组型类型
Parameters<Type>
从构造函数类型的类型构造元组或数组类型。它产生一个包含所有参数类型的元组类型
ConstructorParameters<Type>
构造一个由函数的返回类型组成的类型
ReturnType<Type>
由实例类型构成的类型
InstanceType<Type>
提取函数类型的this参数的类型，如果没有参数则为unknown
ThisParameterType<Type>
从函数类型中删除this的类型和泛型之后的函数类型
OmitThisParameter<Type>
用作上下文this的标记，它标记this的类型是什么
注意tsconfig.json必须开启noImplicitThis（非隐式this）才能使用
ThisType<Type>
类型字符串大写
Uppercase<StringType>
类型字符串小写
类型字符串首字母大写
类型字符串首字母小写
Uncapitalize<StringType>
内置类型
使用enum关键字定义枚举，枚举是运行时真实存在的对象
也可以不指定开始的值，那么将从0开始递增
如果初始化值不是数字，那么之后的所有枚举值都要手动指定
数字枚举
enum Direction { Up = \"UP\
字符串枚举
非必要，不要这么做
异构枚举（数字和字符串混合）
枚举是真实存在的对象
type Keys = keyof typeof BB
注意Keys是一个类型，不是一个真实存在的值
枚举的键的类型
对于数字类型的枚举会有反向映射的现象
对于字符串类型的枚举，没有反向映射
反向映射
使用cosnt enum来定义
他们在编译期间会被完全删除，只能用索引来访问
cosnt枚举值
枚举
指定包含在程序中的文件列表，如果文件不存在会报错
files
继承的配置文件
不能继承references
指定程序加载的文件名或正则
** 匹配任何嵌套到任何级别的目录* 匹配零个或多个字符？ 匹配任何一个字符
include
指定程序应该跳过的文件名或正则
它会排除include中包含的文件，但是import等文件自身引用的文件还是会被加载。
exclude
引用另一个项目
references
root field
由于无法访问代码产生的错误不会有警告信息
无法访问的代码会被忽略
不会对不可访问的代码做出建议
allowUnreachableCode
不许没有使用的标签
allowUnusedLabels
文件总是在严格模式下解析
alwaysStrict
对于可选属性 ？ 具有更精确更严格的规则
开启之后不能把undefined赋值给可选属性
exactOptionalPropertyTypes
在switch语句中确保每个字句都包含break或者return，否则报错
noFallthroughCasesInSwitch
隐式推断为any时报错
noImplicitAny
必须使用override 来表示子类中的重载函数
noImplicitOverride
确保所有路径都有返回值
noImplicitReturns
隐式的this表达式上发出警告
noImplicitThis
访问属性可以通过点语法(obj.key)和索引语法（obj[\"key\"]）
开启这个标志之后，不允许使用点语法访问不确定存在的属性
noPropertyAccessFromIndexSignature
访问可能不存在的属性时，添加undefined到类型中
noUncheckedIndexedAccess
未使用的变量报错
noUnusedLocals
未使用的函数参数报错
noUnusedParameters
严格的，打开它相当于启用所有严格模式系列选项
即开头为strict的选项
strict
严格绑定，call、bind、apply设置之后ts将检查函数参数类型是否正确
不开启的话，参数都是any，返回也是any
strictBindCallApply
更正确的检查函数参数
strictFunctonTypes
严格空检查
关闭时，不会检查null和undefined
strictNullChecks
严格的属性初始化 声明了的类属性如果没有在构造函数中初始化会报错（直接指定了值或者类型可能为undefiend除外）
strictPropertyInitialization
catch捕获的err变量标志为unknow
useUnknowInCatchVariables
允许从模块内部方位作为全局变量引入的UMD。比如知道loadsh始终在运行时能够使用，但不用通过导入访问
allowUmdGlobalAccess
设置允许解析的基本目录
baseUrl
设置程序的模块系统
module
不会检查import和<reference>指令加载文件
noResolve
声明相对于baseUrl如何解析import或者require中的导入
paths
允许导入带有.json后缀的模块
resolveJsonModule
默认情况下输出为MyProj├── dist│ ├── a.js│ ├── b.js│ ├── sub│ │ ├── c.js
MyProj├── tsconfig.json├── core│ ├── a.ts│ ├── b.ts│ ├── sub│ │ ├── c.ts├── types.d.ts
根目录，指定输出目录。默认是所有非声明输入文件的最长公共路径
rootDir
通知编译器有许多目录充当单个根，允许编译器解析这些目录，并把他们合并到一个目录中
rootDirs
指定了typeRoots之后仅包含指定的路径
typeRoots
{ \"compilerOptions\": { \"types\": [\"node\
仅列出包包含在全局范围内
types
为每个ts或js文件生成.d.ts文件
declaration
声明文件的根目录
declarationDir
.d.ts为映射回原始.ts源文件生成映射，这允许vscode等编辑器，使用go to definition功能转到原始文件
declarationMap
downLevelIteration
控制ts在输出文件时是否发出字节顺序标记BOM
emitBom
只输出.d.ts不输出.js 文件
emitDeclarationOnly
对于一些降级操作，ts会使用一些辅助函数来进行。如果在不同模块中使用相同的函数会导致代码重复
打开选项之后这些辅助函数会从tslib模块中导入，不再重复
importHelpers
preserve 保留导入的值或类型
error 保留所有导入，但当导入仅作为类型时报错
importsNotUsedAsValues
设置之后，会替换.js.map文件。ts会把sourcemap文件放到js之中
inlineSourceMap
设置之后，ts会把.ts的源文件作为string放到sourcemap中
inlineSources
指定ts解析器应该定位映射文件而不是生成的位置
mapRoot
发出文件的行尾序列使用什么
newLine
不要发出编译器输出文件，这位babel等其他工具腾出空间来处理ts
noEmit
不导出辅助函数
noEmitHelpers
如果报错，那么不会输出编译之后的文件
noEmitError
输出目录
outDir
如果指定，那么所有全局文件都会解析到这个文件中
outFile
不要删除const Enum的声明
preserveConstEnums
保留值得导入
preserveValueImports
ts转换为js的时候删除所有注释
removeComments
生成sourceMap（.js.map）文件
sourceMap
指定ts文件的相对位置
sourceRoot
不对具有@internal 的jsDoc注释的代码生成代码
stripInternal
允许在项目中导入js文件
allowJs
在js 文件中报告错误
checkJs
node_modules搜索和加载js文件的最大深度
maxNodeModuleJsDepth
删除ts内存限制
disableSizeLimit
插件列表
plugins
允许从没有设置默认导出的模块中默认导入
allowSyntheticDefaultImports
ts对于import的编译规则发生一些变化
开启之后如果模块没有默认导出，那么会把内容都放到default中一份
esModuleInterop
在文件名中强制使用一致的大小写
forceConsistentCasingInFileNames
将每个文件作为单独的模块（与“ts.transpileModule”类似）
isolatedModule
不把符号链接解析为其真实路径；将符号链接文件视为真正的文件。
preserveSymlinks
输入文件的字符集。
charset
此标志将keyof类型运算符更改为返回string，而不是string | number应用于具有字符串索引签名的类型时。
keyofStringsOnly
模块输出中不包含 \"use strict\"指令。
noImplicitUseStrict
禁用在函数类型里对泛型签名进行严格检查。
noStrictGenericChecks
弃用。使用 --outFile 代替。
out
阻止对对象字面量的额外属性检查。
suppressExcessPropertyErrors
阻止 --noImplicitAny对缺少索引签名的索引对象报错
suppressImplicitAnyIndexErrors
给源码里的装饰器声明加上设计类型元数据。
emitDecoratorMetadata
启用实验性的ES装饰器。
experimentalDecorators
在 .tsx文件里支持JSX： \"React\"或 \"Preserve\"
jsx
指定生成目标为react JSX时，使用的JSX工厂函数
jsxFactory
指定生成jsx的fragmen时，使用的工厂
jsxFragmentFactory
编译过程中需要引入的库文件的列表。
lib
不包含默认的库文件
noLib
当目标为生成 \"react\" JSX时，指定 createElement和 __spread的调用对象
reactNamespace
指定ECMAScript目标版本 \"ES3\"（默认）， \"ES5\"， \"ES6\"/ \"ES2015\"， \"ES2016\"， \"ES2017\"或 \"ESNext\"。
target
ts批准class之前就已经有类字段，打开这个标志会把类的行为切换到最新的ECMA标准
useDefineForClassFields
显示诊断信息。
diagnostics
打印文件被ts编译的查找过程
explainFiles
显示详细的诊段信息。可以打印编译时间等
extendedDiagnostics
只能通过CLI使用，可以打印出CPU配置
generateCpuProfile
打印出编译后生成文件的名字。
listEmittedFiles
编译过程中打印文件名。
listFiles
生成模块解析日志信息
traceResolution
开启时，如果rootDir没有设置，则设置为tsconfig.json的目录，所有文件必须由include或files指定，declaration为true
composite
禁用所有项目的自动加载
span style=\
在复合ts项目中，如果项目很大，那么查找功能会非常慢，开启它会提高响应能力
disableSolutionSearching
disableSourceOfProjectReferenceRedirect
告诉 TypeScript 将上次编译的项目图信息保存到磁盘上存储的文件中。这会在编译输出所在的文件夹中创建一系列.tsbuildinfo文件。您的 JavaScript 在运行时不使用它们，可以安全地删除它们
incremental
此设置允许您指定用于存储增量编译信息的文件作为复合项目的一部分，从而可以更快地构建更大的 TypeScript 代码库
tsBuildInfoFile
不截断错误消息。
noErrorTruncation
保留watch模式下过时的控制台输出。
preserveWatchOutput
给错误和消息设置样式，使用颜色和上下文。
pretty
忽略 库的默认声明文件的类型检查。改为使用skipLibCheck。
skipDefaultLibCheck
忽略所有的声明文件（ *.d.ts）的类型检查。
skipLibCheck
compilerOption
fixedPollingInterval：以固定的间隔每秒检查每个文件的更改数次。priorityPollingInterval：每秒检查每个文件几次更改，但使用启发式检查某些类型的文件的频率低于其他文件。dynamicPriorityPolling：使用动态队列，不经常检查修改频率较低的文件。useFsEvents（默认）：尝试使用操作系统/文件系统的本机事件进行文件更改。useFsEventsOnParentDirectory: 尝试使用操作系统/文件系统的原生事件来监听文件父目录的变化
如何查看单个文件的策略。
watchFile
fixedPollingInterval：以固定的间隔每秒检查每个目录的更改数次。dynamicPriorityPolling: 使用动态队列，不太频繁地检查不经常修改的目录。useFsEvents（默认）：尝试使用操作系统/文件系统的本机事件进行目录更改。
缺少递归文件监视功能的系统下如何监视整个目录树的策略。
watchDirectory
fixedPollingInterval：以固定的间隔每秒检查每个文件的更改数次。priorityPollingInterval：每秒检查每个文件几次更改，但使用启发式检查某些类型的文件的频率低于其他文件。dynamicPriorityPolling：使用动态队列，不经常检查修改频率较低的文件。synchronousWatchDirectory：禁用对目录的延迟观看。node_modules当可能同时发生大量文件更改（例如执行npm install）时，延迟监视很有用，但您可能希望使用此标志禁用它以用于一些不太常见的设置。
使用文件系统事件时，此选项指定当系统用完本机文件观察程序和/或不支持本机文件观察程序时使用的轮询策略。
fallbackPolling
在本机不支持递归观察的平台上同步调用回调并更新目录观察者的状态。而不是给一个小的超时以允许对文件进行潜在的多次编辑。
synchronousWatchDirectory
可以使用excludeFiles来减少watch的文件。
excludeDirectories
可以使用excludeFiles来减少watch的文件
excludeFiles
watchOptions
提供在js项目中禁用类型获取的配置（false）
enable
如果js项目中ts需要额外的信息知道全局类型的依赖，可以使用include
提供用于禁用 JavaScript 项目中某个模块的类型获取的配置
TypeScript 的类型获取可以根据项目中的文件名推断应该添加哪些类型
disableFilenameBasedTypeAcquisition
typeAcquisition
ts使用一个tsconfig.json管理项目选项
当我们的项目使用第三方库，而这个库没有ts类型时，我们可以编写声明来帮助ts判断类型，一般来说我们会把库的声明语句都放到一个单独文件中，这个文件就是声明文件，声明文件以.d.ts作为后缀
有些库已经提供了ts类型，有些是社区提供了ts声明。社区的声明一般使用npm install @types/xxx来下载即可
和ts文件放在同一目录下
在tsconfig.json中使用include或者files文件添加声明文件的路径
引用声明文件的方法
定义全局变量
decalare var
定义全局函数
decalare function
定义全局class
decalare class
定义全局枚举
decalare enum
定义一个命名空间，命名空间下可以有子类型
decalare namespace
interface 接口和type 类型别名
全局变量
声明文件中含有export 就说明是一个模块声明文件
export
export namespace
export default
export =
npm包
export as namespace 可以把声明文件变成全局可用
decalar global 扩展全局变量
UMD库(既可以通过scripte标签引入又可以import导入的库)
decalare module
模块插件（导入一个库之后会改变另一个模块的原有结构）
声明文件的类型
声明文件
typescript
0 条评论
回复 删除
下一页
