前言
之前了解过TypeScript,也学习过,但是项目中没有具体的使用过,导致忘得差不多了,最近公司不是很忙,学习的时间比较多,趁这个机会,快快的过一遍,然后准备用SolidJs + TypeScript + Vite
做一个小项目,还看了看SvelteJs
,感觉这个比SolidJs
的生态似乎更好,可以巩固完TypeScript
后学习一下这个,SvelteJs + Ts + Vite
也挺香嘛。
Typed JavaScript at Any Scale. 添加了类型系统的 JavaScript,适用于任何规模的项目。
执行命令:
npm install typescript -g
检查是否安装成功:
tsc
看到这个,说明成功了👇🏻
本地新建文件hello.ts
,开始写代码
function sayHelloWorld(person: string) {
return name + ' hello world'
}
console.log(sayHelloWorld("Alice"))
执行tsc hello.ts
进行编译,会出现一个新的文件hello.js
,此时我们执行如下命令:
node hello.js
正常输出 Alice hello world
,成功!
上述的Ts
栗子中有一个点,就是:
指定类型。
注意: Ts
只会在编译与书写代码的过程中给你相关的警告,在Js
的执行中并不会有这样的警告,编译完的Js
代码也不会插入相关的校验代码。
如果我们在调用sayHelloWorld
的时候,传入一个123
,会出现以下情况:
情况一:编辑器会有提示,这时候看到提示,我们就可以修改代码。
情况二:如果没有修改代码,强制编译,过程中会抛出这个错误
Argument of type 'number' is not assignable to parameter of type 'string'.
类型“number”不能分配给类型"string"的参数.
但是js
文件依旧会编译成功,如果想要报错终止编译,那么需要配置tsconfig.json
中的noEmitOnError
这个文件是Ts
的编译选项配置文件,具体配置可以参考这里
不带任何输入文件的情况下调用
tsc
,编译器会从当前目录开始去查找tsconfig.json
文件,逐级向上搜索父目录。
在项目根目录执行
tsc --init
即可生成一个tsconfig.json
文件,里面有好多配置,我们来测试一个
我在这打开了删除注释的配置,然后在hello.ts
中新增一行注释
function sayHelloWorld(name: string) {
return name + "hello world111";
}
console.log(sayHelloWorld(1231212));
// 我是一行注释
执行tsc
编译,hello.js
文件如下👇🏻
同样的,我们刚刚说的那个noEmitOnError
也是可以生效的,成功!
这里放一个配置表:
"compilerOptions": {
"incremental": true, // TS编译器在第一次编译之后会生成一个存储编译信息的文件,第二次编译会在第一次的基础上进行增量编译,可以提高编译的速度
"tsBuildInfoFile": "./buildFile", // 增量编译文件的存储位置
"diagnostics": true, // 打印诊断信息
"target": "ES5", // 目标语言的版本
"module": "CommonJS", // 生成代码的模板标准
"outFile": "./app.js", // 将多个相互依赖的文件生成一个文件,可以用在AMD模块中,即开启时应设置"module": "AMD",
"lib": ["DOM", "ES2015", "ScriptHost", "ES2019.Array"], // TS需要引用的库,即声明文件,es5 默认引用dom、es5、scripthost,如需要使用es的高级版本特性,通常都需要配置,如es8的数组新特性需要引入"ES2019.Array",
"allowJS": true, // 允许编译器编译JS,JSX文件
"checkJs": true, // 允许在JS文件中报错,通常与allowJS一起使用
"outDir": "./dist", // 指定输出目录
"rootDir": "./", // 指定输出文件目录(用于输出),用于控制输出目录结构
"declaration": true, // 生成声明文件,开启后会自动生成声明文件
"declarationDir": "./file", // 指定生成声明文件存放目录
"emitDeclarationOnly": true, // 只生成声明文件,而不会生成js文件
"sourceMap": true, // 生成目标文件的sourceMap文件
"inlineSourceMap": true, // 生成目标文件的inline SourceMap,inline SourceMap会包含在生成的js文件中
"declarationMap": true, // 为声明文件生成sourceMap
"typeRoots": [], // 声明文件目录,默认时node_modules/@types
"types": [], // 加载的声明文件包
"removeComments":true, // 删除注释
"noEmit": true, // 不输出文件,即编译后不会生成任何js文件
"noEmitOnError": true, // 发送错误时不输出任何文件
"noEmitHelpers": true, // 不生成helper函数,减小体积,需要额外安装,常配合importHelpers一起使用
"importHelpers": true, // 通过tslib引入helper函数,文件必须是模块
"downlevelIteration": true, // 降级遍历器实现,如果目标源是es3/5,那么遍历器会有降级的实现
"strict": true, // 开启所有严格的类型检查
"alwaysStrict": true, // 在代码中注入'use strict'
"noImplicitAny": true, // 不允许隐式的any类型
"strictNullChecks": true, // 不允许把null、undefined赋值给其他类型的变量
"strictFunctionTypes": true, // 不允许函数参数双向协变
"strictPropertyInitialization": true, // 类的实例属性必须初始化
"strictBindCallApply": true, // 严格的bind/call/apply检查
"noImplicitThis": true, // 不允许this有隐式的any类型
"noUnusedLocals": true, // 检查只声明、未使用的局部变量(只提示不报错)
"noUnusedParameters": true, // 检查未使用的函数参数(只提示不报错)
"noFallthroughCasesInSwitch": true, // 防止switch语句贯穿(即如果没有break语句后面不会执行)
"noImplicitReturns": true, //每个分支都会有返回值
"esModuleInterop": true, // 允许export=导出,由import from 导入
"allowUmdGlobalAccess": true, // 允许在模块中全局变量的方式访问umd模块
"moduleResolution": "node", // 模块解析策略,ts默认用node的解析策略,即相对的方式导入
"baseUrl": "./", // 解析非相对模块的基地址,默认是当前目录
"paths": { // 路径映射,相对于baseUrl
// 如使用jq时不想使用默认版本,而需要手动指定版本,可进行如下配置
"jquery": ["node_modules/jquery/dist/jquery.min.js"]
},
"rootDirs": ["src","out"], // 将多个目录放在一个虚拟目录下,用于运行时,即编译后引入文件的位置可能发生变化,这也设置可以虚拟src和out在同一个目录下,不用再去改变路径也不会报错
"listEmittedFiles": true, // 打印输出文件
"listFiles": true// 打印编译的文件(包括引用的声明文件)
}
let isOk: boolean = true
let age: number = 18
let notANumber: number = NaN
let name: string = "Alice"
let age: number = 18
let sentence: string = `I from China Beijing, my name is ${name}, age ${age}`
Js中没有Void
的概念,Ts中可以用void
表示没有任何返回值的函数:
function alertHello(): void {
alert('hello')
}
let u: undefined = undefined
let n: null = null
有一个点需要注意一下
let isOk: boolean = new Boolean('')
这样也会抛出错误不能将类型“Boolean”分配给类型“boolean”。
,因为new T
返回的是一个T
对象,👇🏻
Any
表示你的变量可以是任何值,Ts
-> Js
。。。
let anyVar: any = '121'
anyVar = true
完全ok,如果是👆🏻上面说的声明定式的类型,那么是不行的:
let name: string = 'alice'
name = true
抛出错误不能将类型“number”分配给类型“string”。
如果你的变量没有赋值,那么TypeScript
会看你后面的值是啥类型,那你这个变量就是啥类型
let age = 12 // === let age: number = 12
age = '12'
抛出错误不能将类型“string”分配给类型“number”。
需要注意📢的是,如果你没有初始化变量,那就是any
类型
let age;
age = 1
age = true
这样完全Ok,并不会抛出错误,这样写类似于:
let age: any;
联合类型就是一个变量可以有多个类型,举个🌰
let isWhat: string | number | boolean;
isWhat = '1'
isWhat = 1
isWhat = true
完全Ok,但是如果这样:
isWhat = [1,2,3]
就会抛出错误不能将类型“number[]”分配给类型“string | number | boolean”
再举一个例子:
function getLength(something: string | number): number {
return something.length
}
这样写就会抛出错误类型“number”上不存在属性“length”。
,length
不是他们的共有属性,所以会报错,改成这样:
function getString(something: string | number): string {
return something.toString()
}
完全Ok!
interface
是对行为的抽象,举个🌰:
interface Person {
name: string;
age: number;
}
let alice: Person = {
name: 'Alice',
age: 18
}
上面的栗子,变量alice
的结构必须与接口Person
相一致,如果我们不写age
,那么就会抛出错误类型 "{ name: string; }" 中缺少属性 "age",但类型 "Person" 中需要该属性。
所以定义的变量的属性,比接口定义的少是不被允许的,当然!多了也是不允许的,必须一致!
比如我们在变量alice
添加属性address
,那么就会抛出错误不能将类型“{ name: string; age: number; address: string; }”分配给类型“Person”。\ 对象文字可以只指定已知属性,并且“address”不在类型“Person”中。
如果我们需要某个属性不是必须一致,那么可以这么做,继续用上面的栗子,假设age
为不必要属性:
interface Person {
name: string;
age?: number;
}
let alice: Person = {
name: 'Alice'
}
完全Ok
如果我们需要在变量中定义一些我们将来可能会添加的属性,有极大的不确定性的话,比如我们想要新增一个address
属性,那么我们可以这样:
interface Person {
name: string;
age?: number;
[propName: string]: any
}
let alice: Person = {
name: 'Alice',
address: 'China Beijing',
gender: 0
}
完全OK!
有时候我们需要一个属性不能再被修改,需要用到readonly
定义属性,举个🌰
interface Person {
readonly id: number;
name: string;
[propName: string]: any;
}
let alice: Person = {
id: 1,
name: 'Alice',
gender: 0
}
alice.id = 2
// error: 无法分配到 "id" ,因为它是只读属性。