“接口”和“泛型”是 TypeScript 相比于 JavaScript 新增的内容，都用于定义数据类型
前面两篇文章总结了TypeScript中的 类型注解、函数和类，这一篇一起来看看接口和泛型。
接口
使用 interface 关键字来定义数据类型
对象类型
当存在于较长的数据类型约束时，我们可以通过 type 关键字 为类型注解起别名，也可以通过接口来定义
type UserType = { name: string; age?: number };
const user: UserType = {
name: "kiki",
age: 18,
};
interface IUserType { name: string; age?: number }
const person: IUserType = {
name: 'alice',
age: 20
}
索引类型
interface 和type定义对象都可以为只知道key的类型，不知道具体 key 值的时候，进行类型的定义
interface ILanguage {
[index: number]: string;
}
const language: ILanguage = {
0: "html",
1: "css",
2: "js",
};
type Score = {
[name: string]: number;
}
const score: Score = {
Chinese: 120,
math: 95,
Englist: 88,
};
函数类型
定义函数时，interface 和 type 的语法稍有不同
interface ISelfType {
(arg: string): string;
}
type LogType = (arg: string) => string;
function print(arg: string, fn: ISelfType, logFn: LogType) {
fn(arg);
logFn(arg);
}
function self(arg: string) {
return arg;
}
console.log(print("hello", self, self));
继承
接口可以实现多继承，继承后的接口具备所有父类的类型注解
interface ISwim {
swimming: () => void;
}
interface IEat {
eating: () => void;
}
interface IBird extends ISwim, IEat {}
const bird: IBird = {
swimming() {},
eating() {},
};
交叉类型
交叉类型其实是与的操作，用 & 符号，将接口进行与操作后，实质上需要满足所有与操作接口的类型注解
interface ISwim {
swimming: () => void;
}
interface IEat {
eating: () => void;
}
type Fish = ISwim | IEat;
type Bird = ISwim & IEat;
const fish: Fish = {
swimming() {},
};
const bird: Bird = {
swimming() {},
eating() {},
};
export {}
接口实现
接口可以通过类使用 implements 关键字来实现，类只能继承一个父类，但是可以实现多个接口
interface ISwim {
swimming: () => void
}
interface IEat {
eating: () => void
}
class Animal {}
class Fish extends Animal implements ISwim, IEat {
swimming(){}
eating(){}
}
class Person implements ISwim {
swimming(){}
}
function swimAction(iswim: ISwim){
iswim.swimming()
}
swimAction(new Fish())
swimAction(new Person())
没有实现接口的类，自然是没有该接口中的方法
interface 和 type 的区别
很多时候 interface 和 type 是相同的，但有一个明显区别在于 interface 可以重复定义，类型注解会累加，而 type 重复定义会报错
字面量赋值
直接把字面量赋值类型给变量时，会对字面量进行类型推导，多出的属性会报错
但是将对象的引用赋值的话，会进行 freshness 擦除操作，类型检测时将多余的属性擦除，如果依然满足类型就可以赋值
枚举类型
枚举类型通过 enum 关键字来定义，它和联合类型实现的功能类似，但是枚举类型的代码阅读性会更强一些
enum Direction {
LEFT,
RIGHT,
TOP,
BOTTOM,
}
function turnDirection(direction: Direction) {
switch (direction) {
case Direction.LEFT:
break;
case Direction.RIGHT:
break;
case Direction.TOP:
break;
case Direction.BOTTOM:
break;
default:
const foo: never = direction;
break;
}
}
turnDirection(Direction.LEFT);
泛型
泛型函数
当不确定入参的类型时，可以定义类型注解为泛型，使用的时候再指定具体类型，使用 <> 来进行泛型的定义。
function self<T>(element: T) {
return element;
}
self<string>("alice");
self<number>(2);
self<null>(null);
如果没有定义类型，ts会进行类型推导，有可能并不是我们希望的类型，如以下字符串推导出来不是”string“字符串类型，而是“hello”字面量类型。
当存在多个参数时，在泛型中定义多个即可
function foo<T, E, O>(a: T, b: E, c: O){}
foo(1, 'alice', false)
foo(['alice'], undefined, null)
泛型接口
在接口中使用泛型，将类型注解写在接口名后
interface Person<T, E> {
name: T;
age: E;
}
const person: Person<string, number> = {
name: "alice",
age: 20,
};
在接口中使用泛型是无法进行类型推导的，使用的时候必须指定具体的类型
除非在接口定义的时候给泛型设置了默认值
interface Book<T = string, E = number> {
category: T;
price: E;
}
const book: Book = {
category: "nature",
price: 88.6,
};
const dictionary: Book<number, string> = {
category: 1,
price: '88'
}
泛型类
类中定义的方式，只是将具体的数据类型替换成了泛型，在类中是可以进行类型推导的
class Point<T> {
x: T;
y: T;
z: T;
constructor(x: T, y: T, z: T) {
this.x = x;
this.y = y;
this.z = z;
}
}
new Point("1.55", "2.34", "3.67");
new Point(1.55, 2.34, 3.67);
类型约束
泛型可以通过继承来进行类型约束
只需要传入的参数满足泛型的条件，即有 length 属性
interface ILength {
length: number;
}
function getLength<T extends ILength>(element: T) {
return element.length;
}
getLength("alice");
getLength(["alice", "kiki", "lucy"]);
getLength({ length: 5 });
接口、枚举、泛型 这些类型在JavaScript都是没有的，但在TypeScirpt中都是非常重要的类型注解。
以上就是关于TypeScript接口和泛型的内容，关于js和ts，还有很多需要开发者掌握的地方，可以看看我写的其他博文，持续更新中~