TypeScript 它不香吗？还不快来！
文章以下面的顺序讲解：
- 变量类型
- 函数
- 类
- 接口
- 泛型
- 命名空间
- 联合类型
- 类型断言
在开始之前我们先装环境：
npm i typescript -g //全局安装typescript
npm init -y //进入文件夹，初始化项目，生成package.json文件
tsc --init //创建tsconfig.json文件
npm i @types/node -S //这个主要是解决模块的声明文件问题
环境到此安装结束。
一 变量类型
1.number 类型
let num1 : number = 20;
let num2 : number = 175.5;
let a1 : number = Infinity; //正无穷大
let a2 : number = -Infinity; //负无穷小
let a3 : number = NaN;
「注意：」Infinity, -Infinity, NaN 也属于Number类型
2. undefined 类型
let un : undefined = undefined;
「注意：」
undefined 类型的数据只能被赋值为 undefined
在 typescript中，已声明未初始化的值要直接访问的话，类型需要定义为undefined
3. null 类型
let nu : null = null;
「注意：」
null 类型只能被被赋值为null
null是一个空指针对象，undefined是未初始化的变量，所以，可以把undefined看成一个空变量，把unll看成一个空对象。
「特别注意：」
默认情况下，undefined 和 null 类型，是所有其它类型的子类型，也可以说成，它俩可以给所有其他类型赋值。
4. string 类型
//值类型
let str : string = '你好！'
//引用类型
let str1 : String = new String('你好！')
5. boolean 类型
let boo : boolean = true;
let boo1 : boolean = false
6. symbol 类型
let sy : symbol = Symbol('bar');
「注意：」 symbol类型的值是通过Symbol构造函数创建的。
7. 数组类型
//字面量
let arr1 : number[] = [1, 2]
//泛型---->相当于数组中每个元素的类型
let arr2 : Array<string> = ['a', 's']
//构造函数
let arr3 : string[] = new Array('a', 's')
//联合类型-->这里的联合类型的意思是，数组中元素的类型可以是number 或 string，两种都有也可以
let arr4 : Array<number | string> = [2, 'a']
8.元组类型（tuple）
let tup : [string,number] = ['asdasd', 43233];
「注意：」
元组和数组看起来有点类似，但是，是有区别的
元组的长度是有限的，而且分别为每一个元素定义了类型
9. 枚举类型（enum）
enum--->组织收集一组相关变量的方式。
数字枚举
enum REN {
// nan = 1 ----->初始化下标
nan,
nv,
yao
}
console.log(REN.nan)//0
console.log(REN.nv)//1
console.log(REN.yao)//2
//使用数字枚举时，TS 会为枚举成员生成反向映射
console.log(REN[2])// yao
「注意：」
数字的枚举---->下标从0开始,也可以自行设置枚举成员的初始值，它们会依次递增
字符串枚举
enum SIJI {
chun = '春',
xia = '夏',
qiu = '秋',
dong = '冬'
}
console.log(SIJI.chun)//春
console.log(SIJI.xia)//夏
console.log(SIJI.qiu)//秋
console.log(SIJI.dong)//冬
「注意：」
字符串枚举类型允许使用字符串来初始化枚举成员，可以是一个字符串字面量或者另一个字符串的枚举成员
字符串枚举类型不支持成员自增长，每个成员必须初始化，另外字符串枚举不会为成员生成发向映射
10. void 类型
void 类型--->表示没有任何返回值，一般用于定义方法时方法没有返回值
function f1() : void {
console.log('void类型')
}
「注意：」
这里你也可以指定返回值类型为 undefined。因为 JS 中，如果函数没有返回值，则会默认返回 undefind。不过，使用 void 类型可以使表意更清晰。
11. any 类型
「注意：」
其他类型都是any类型的子类型 ，any类型的值可以被赋值为任何类型的值
let an : any = 'any 类型';
console.log(an)//any 类型
an = 25;
console.log(an)//25
「注意：」对于any 需要注意两点
如果在声明变量时，没有声明其类型，也没有初始化，（因为类型推断会自动判断类型），那么它就会被判断为any类型
let an1;
an1 = '没有声明其类型，也没有初始化';
console.log(an1)//没有声明其类型，也没有初始化
an1 = 25
console.log(an1)//25
在any类型变量上可以访问任何属性，即使它不存在
let something: any = 42
something.mayExist() // 没问题，因为其可能在运行时存在
something.toFixed() // 没问题，虽然确实存在，但是编译器并不会去检查
12. never 类型
「注意：」
never 表示永远不会存在的值的类型， never 是任何类型的子类型，但是 没有任何类型是never的子类型或可以赋值给never类型（除了never本身之外）。 即使 any也不可以赋值给never。
「never 类型常用于两种情况」
用于描述从不会有返回值的函数---》返回never的函数必须存在无法达到的终点
function f5() : never {
while (true) {
// do something
}
}
用于描述总抛出错误的函数
function f2(msg : string) : never {
throw new Error(msg)
}
13. 日期类型
let da : Date = new Date()
console.log(da)
14. 正则表达式类型
//构造函数声明法
let reg1 : RegExp = new RegExp('ljy','gi')
console.log(reg1)
//字面量的声明法
let reg2 : RegExp = /ljy/gi
console.log(reg2)
二 函数
1. 函数定义
「定义函数有函数声明和函数表达式两种形式。定义函数的参数和返回值可以指定其类型；当调用函数时，传入参数类型必须与定义函数参数类型保持一致。」
函数声明定义
// 参数类型 返回值类型
function f(age:number) : string {
return `找到了 ${age}的小哥哥`;
}
let age : number = 22;
let res : string = f(age);
console.log(res)
函数表达式定义
let f1 = (age:number) : string => {
return `找到了 ${age}的小哥哥`;
}
let age1 :number = 21;
let res1 : string = f1(age1);
console.log(res1)
「注意：」表达式定义完以后，必须调用函数
函数表达式还有一种写法：
函数表达式：指定变量fn的类型
「注意不要混淆了 TypeScript 中的 => 和 ES6 中的 =>」
「在 TypeScript 的类型定义中，=> 用来表示函数的定义，左边是输入类型，需要用括号括起来，右边是输出类型。」
// let fn: (x: Type, y: Type) => Type = (x, y) => {}
//例子
var run3: (x: number, y: number) => string = function(x: number, y: number): string{
return 'run3';
}
console.log(run3(1, 2))
//当给变量run3指定类型的时候，应该是函数的参数和返回值的约束类型。如果用后面学到的ts类型推论，可以简写为：
var run4: (x: number, y: number) => string = function(x, y){
// 类型推论可以确定函数的参数和返回值类型，也就可以省略类型指定
return 'run4';
}
console.log(run4(1, 2))
2. 函数没有返回值可以使用 void 类型值定返回值
function f3() : void {
console.log('没有返回值')
}
f3()
3. 可选参数的函数
「注意：」可选参数一定要放在参数的最后面
function f4(age:number, cm?:number) : string {
//cm为可选参数，可传可不传
if (cm) {
return `可选参数------身高为 ${cm}厘米`;
} else {
return `可选参数-----年龄 ${age}岁`
}
}
console.log(f4(12))
console.log(f4(24, 175))
4. 有默认值参数的函数
「注意：ts 会将添加了默认值的参数识别为可选参数，有默认值的参数的位置不受【可选参数必须放在后面】的限制」
function f5(age:number, cm:number = 188) : string {
return `默认参数----年龄为 ${age}岁---身高为 ${cm}cm`
}
console.log(f5(25))
5. 剩余参数的函数
//当有很多参数的时候，或者参数个数不确定，可以用三点运算符
function f6(...rest:number[]) : number[] {
return [...rest];
}
console.log(f6(1,2,3,4,5,6,7,8,9))
function f7(a:number, b:number, ...rest:number[]) : number[] {
return [a, b, ...rest]
}
console.log(f7(100,200,1,2,3,4,5,6))
6. 接口中的函数
「第一种写法」
interface int1 {
say (age:number) : void //抽象方法
}
「第二种写法」
interface int2 {
say : (age:number) => void //抽象方法
}
7.函数的重载
「注意：」
先声明所有方法重载的定义，不包含方法的实现
再声明一个参数为any类型的重载方法
实现any类型的方法并通过参数类型（和返回类型）不同来实现重载
typescript中的重载：通过为同一个函数提供多个函数类型定义来实现多种功能的目的
TypeScript 会优先从最前面的函数定义开始匹配，所以多个函数定义如果有包含关系，需要优先把精确的定义写在前面。
function f1(x: number, y: number): number;
function f1(x: string, y: string): string;
// 上面定义函数的格式，下面定义函数的具体实现
function f1(x: any, y: any): any {
return x + y;
}
f1(1, 2);
f1('a', 'b');
三 类
1. 访问修饰符
「public：公共修饰符」
「注意：」
表示属性或方法都是公有的，在类的内部，子类的内部，类的实例都能被访问,默认情况下，为public
class People {
public name : string
constructor (name:string) { //构造函数必须写
this.name = name
}
public say () :void {
console.log('你好')
}
}
「private 私有修饰符」
「注意：」
表示在当前类中可以访问，子类，外部类不可以访问
class People {
private name : string
constructor (name:string) { //构造函数必须写
this.name = name
}
private say () :void {
console.log('你好')
}
}
protected 保护类型
「注意：」
表示在当前类中和子类中可以访问，外部类不可以访问
class People {
protected name : string
constructor (name:string) { //构造函数必须写
this.name = name
}
protected say () :void {
console.log('你好')
}
}
「注意：」
「TypeScript 只做编译时检查，当你试图在类外部访问被 private 或者 protected 修饰的属性或方法时，TS 会报错，但是它并不能阻止你访问这些属性或方法。」
「readonly 只读修饰符」
「注意：」
表示某个属性是只读的，不能被修改
class People {
readonly name : string
constructor (name:string) { //构造函数必须写
this.name = name
}
}
2. 声明类
class People {
name : string //默认为public
age : number
constructor (name:string, age:number) { //构造函数必须写
this.name = name
this.age = age
}
say () :void {
console.log('你好')
}
}
const HH : People = new People('含含', 21)
console.log(HH.name)
console.log(HH.age)
HH.say()
3. 类的继承
class Student extends People {
cm : number
constructor (name:string, age:number, cm:number) {
super(name, age) //super 继承父类的构造函数，并向构造函数传参，super必须写在第一行
this.cm = cm
}
work () : void {
console.log('学习')
}
}
const stu1 : Student = new Student('liu', 22, 175)
console.log(stu1.name)
console.log(stu1.age)
console.log(stu1.cm)
stu1.say()
stu1.work()
4. 静态属性和静态方法
「注意：」
静态方法和静态属性必须使用类名调用
静态属性和静态方法在实例化之前就已经存在
class People {
static name1 : string = '静态属性';
static say () :void {
console.log('静态方法')
}
}
console.log(People.name1)
People.say()
「注意：」
静态方法调用不了实例化方法和实例化属性，因为静态域加载是在解析阶段，而实例化是在初始化阶段，（java原理），所以静态方法里面不能调用本类的方法和属性，可以调用静态属性和静态方法
5. 多态
「多态---->重写方法」
「父类定义一个方法不去实现，让继承它的子类去实现，每个子类的该方法有不同的表现」
class Animal {
name : string
constructor (name:string) {
this.name = name
}
eat () : void {
//让它的子类去实现不同的eat方法
}
}
class Laohu extends Animal {
constructor (name:string) {
super(name)
}
eat () : void {
console.log(`${this.name}吃肉！`)
}
}
class Laoshu extends Animal {
constructor (name:string) {
super(name)
}
eat () : void {
console.log(`${this.name}吃粮食！`)
}
}
const laohu : Laohu = new Laohu('老虎')
laohu.eat()
const laoshu : Laoshu = new Laoshu('老鼠')
laoshu.eat()
6. 类和接口
「注意：」
类可以实现（implement）接口。通过接口，你可以强制地指明类遵守某个契约。你可以在接口中声明一个方法，然后要求类去具体实现它。
「接口不可以被实例化，实现接口必须重写接口中的抽象方法」
interface Play {
plays (difang:string) : void;
}
class Playy implements Play {
plays(difang: string): void {
console.log(`我们要去 ${difang}玩！！！`)
}
}
const pl : Playy = new Playy();
pl.plays('北京')
「注意：类和接口的区别」
类可以实现（implement）多个接口，但只能扩展（extends）自一个抽象类。
抽象类中可以包含具体实现，接口不能。
抽象类在运行时是可见的，可以通过 instanceof判断。接口则只在编译时起作用。
接口只能描述类的公共（public）部分，不会检查私有成员，而抽象类没有这样的限制。
7. 抽象类和抽象方法
「注意：」
用abstract关键字定义抽象类和抽象方法，抽象类中的抽象方法不包含具体实现并且必须在派生类(抽象类的子类)中实现
抽象类：它是提供其他类继承的基类，不能直接被实例化，子类继承可以被实例化
abstract修饰的方法(抽象方法)只能放在抽象类里面
抽象类和抽象方法用来定义标准(比如定义标准为：抽象类Animal有抽象方法eat，要求它的子类必须包含eat方法)
abstract class People {
name : string
constructor (name:string) {
this.name = name
}
abstract eat (food:string) :void;//抽象方法不包括具体实现，并且必须再派生类中实现
}
class Stud1 extends People {
//抽象类的子类必须实现抽象类中的抽象方法
constructor (name:string) {
super(name)
}
eat(food: string): void {
console.log(`我爱吃 ${food}`)
}
}
const stu11 : Stud1 = new Stud1('liu')
stu11.eat('面条')
四 接口
「注意：」
接口定义：接口是对传入参数进行约束；或者对类里面的属性和方法进行声明和约束，实现这个接口的类必须实现该接口里面属性和方法；typescript中的接口用interface关键字定义。
接口作用：接口定义了某一批类所需要遵守的规范，接口不关心这些类的内部状态数据，也不关心这些类里方法的实现细节，它只规定这批类里必须提供某些方法，提供这些方法的类就可以满足实际需要。typescrip中的接口类似于java，同时还增加了更灵活的接口类型，包括属性、函数、可索引和类等。
1. 属性接口
「对传入对象的约束，也就是 json 数据」
interface Sx {
name : string
age : number
}
function f8(peop:Sx) {
//name age 必须传递
console.log(peop)
}
const obj = {
name : 'liu',
age : 25
}
f8(obj)
2. 函数类型的接口
对方法传入的参数和返回值进行约束
interface Sta {
(difang : string, todo : string) : string
}
let play : Sta = (difang:string, todo:string) : string => {
return `我们去 ${difang}吃 ${todo}`
}
console.log(play('灞桥', '吃烧烤'))
3. 可索引的接口
对索引和传入的参数的约束
//对数组的约束
interface UserArr {
//索引为number，参数为string
[index : number] : string
}
const arr : UserArr = ['a', 'b']
console.log(arr)
//对 对象的约束
interface UserObj {
[index : number] : number
}
const obj1 : UserObj = { 2:1, 3:4 }
console.dir(obj1)
4. 类 类型接口
对类的约束
interface Anmal {
//对类里面的属性和方法进行约束
name : string
eat (food:string) : void
}
//类实现接口要用implements , 子类必须实现接口里面声明的属性和方法
class Laoshu implements Anmal{
name : string
constructor (name : string) {
this.name = name
}
eat(food:string):void {
console.log(`${this.name}吃 ${food}`)
}
}
const lao : Laoshu = new Laoshu('老鼠')
lao.eat('粮食')
5. 接口继承
//父类Anmal看上面
//实现LaoHu的这个接口，必须也要实现LaoHu继承的Anmal接口中的方法
interface LaoHu extends Anmal{
say (sa : string) : void
}
//继承并实现接口
class XiaoLaoHu implements LaoHu{
name : string
constructor (name : string) {
this.name = name
}
eat (food : string) : void {
console.log(`${this.name}吃 ${food}`)
}
say(sa: string): void {
console.log(`${this.name}说 ${sa}`)
}
}
const xiao : XiaoLaoHu = new XiaoLaoHu('老虎')
xiao.eat('肉')
xiao.say('你好')
五 泛型
「注意：」
很多时候，类型是写死的，不利于复用，泛型可以简单的理解为给类型的这种值设置变量，解决类，接口
方法的复用性，以及对不特定数据类型的支持
「语法 : <类型变量名> 一般是单字母大写」
1. 泛型函数
函数再调用时，指定泛型T的类型
function f9<T>(value:T) : T {
//传入参数类型为T，返回值的类型也为T
console.log(`我传入了 ${value}`)
return value
}
f9<number>(10)
function f10 <T> (value:T) : any {
//传入参数的类型为T，返回任意类型的值
console.log(`我返回了 ${value}`)
return `我返回了 ${value}`
}
console.log(f10<string>('我是ljy'))
2. 泛型类
泛型类，使用 < > 跟在类名后面
class Ni <T> {
name : T
constructor (name : T) {
this.name = name
}
say (value : T) : any {
return `${this.name}说 ${value}`
}
}
const ni1 = new Ni<string>('ljy')//实例化类，指定类的类型是string
console.log(ni1.say('你好'))
const ni2 = new Ni<number>(20)//实例化类，指定类的类型是number
console.log(ni2.say(23))
3. 泛型接口
「第一种」
interface Niniubi {
<T> (value:T) : any
}
let fff : Niniubi = <T>(value : T) : any => {
return `我传入了 ${value}`
}
console.log(fff<number>(25))
console.log(fff<string>('ljy'))
「第二种」
interface ConfigFnTwo<T>{
(value:T):T;
}
function setDataTwo<T>(value:T):T{
return value
}
var setDataTwoFn:ConfigFnTwo<string> = setDataTwo
setDataTwoFn('name');
4.在泛型约束中使用类型参数
有时，我们想让参数的类型是某个对象的属性时，可以这样写：
function getProperty<T, k extends keyof T>(obj:T, key: K) {
return obj[key]
}
let obj = { a: 1, b: 2, c: 3}
getProperty(obj, "a"); // true
getProperty(obj, "t"); // error: Argument of type '"t"' is not assignable to
parameter of type '"a" | "b" | "c"'.
错误的原因：首先keyof T就等于"a" | "b" | "c"，然后K extends就相当于K在keyof T中，这就是约束。
六 命名空间
namespace Shuaige {
export class DeHua {
public name : string = '刘德华'
say () {
console.log(`我是 ${this.name}`)
}
}
}
namespace Bajie {
export class DeHua {
public name : string = '马德华'
say () {
console.log(`我是 ${this.name}`)
}
}
}
const de : Shuaige.DeHua = new Shuaige.DeHua()
de.say()
const de1 : Bajie.DeHua = new Bajie.DeHua()
de1.say()
七 联合类型
「联合类型表示一个值可以是几种类型之一，我们使用（ | ）分隔每个类型」
「联合类型的变量在被赋值的时候，会根据类型推论的规则推断出一个类型」
「如果一个值是联合类型，我们只能访问此联合类型的所有类型里面共有的成员」
let ddd : string | number
ddd = 'nihao'
console.log(ddd.length)//ddd被推断成了 string，访问它的 length 属性不会报错
console.log(`联合类型 ${ddd}`)
ddd = 255
console.log(`联合类型 ${ddd}`)
console.log(ddd.length)//报错 ddd被推断成了 number，访问它的 length 属性时就报错了
//ddd = false err
//console.log(`联合类型 ${ddd}`) err
1. 访问联合类型的属性或方法
「当 TypeScript 不确定一个联合类型的变量到底是哪个类型的时候，我们只能访问此联合类型的所有类型里共有的属性或方法：」
function f11(name : string, age : string | number) {
console.log(age.length)//报错
}
f11('ljy', '21')
报错：Property 'length' does not exist on type 'string | number'.Property 'length' does not exist on type 'number'.
「上例中，length 不是 string 和 number 的共有属性，所以会报错。所以只能访问类型的共有的属性或方法」
function f12(name : string, age : string | number) {
console.log(age.toString)
}
f12('ljy', 21)
八 类型断言
「注意：类型断言（Type Assertion）可以用来手动指定一个值的类型。」
语法：
<类型>值
或
值 as 类型
「类型断言的用法如上，在需要断言的变量前加上 即可」
「就刚才上边 TypeScript 不确定一个联合类型的变量到底是哪个类型的时候来说」
function f13(name : string, age : string | number) {
if (age.length) { //报错
console.log(age.length) //报错
} else {
console.log(age.toString)
}
}
f13('ljy', 21)//Property 'length' does not exist on type 'string |number'.Property 'length' does not exist on type 'number'
「此时可以使用类型断言，将 age 断言成 string」
function f14(name : string, age : string | number) {
if ((<string>age).length) {//断言
console.log((<string>age).length)//断言
} else {
console.log(age.toString)
}
}
f14('ljy', 21)
「类型断言不是类型转换，断言成一个联合类型中不存在的类型是不允许的：」
function toBoolean(something: string | number): boolean {
return <boolean>something;
}
Type 'string | number' cannot be converted to type 'boolean'