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 值的時(shí)候，進(jìn)行類型的定義

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,
};

函數(shù)類型

定義函數(shù)時(shí)，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));

繼承

接口可以實(shí)現(xiàn)多繼承，繼承后的接口具備所有父類的類型注解

interface ISwim {
  swimming: () => void;
}
interface IEat {
  eating: () => void;
}
interface IBird extends ISwim, IEat {}
const bird: IBird = {
  swimming() {},
  eating() {},
};

交叉類型

交叉類型其實(shí)是與的操作，用 & 符號，將接口進(jìn)行與操作后，實(shí)質(zhì)上需要滿足所有與操作接口的類型注解

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 {}

接口實(shí)現(xiàn)

接口可以通過類使用 implements 關(guān)鍵字來實(shí)現(xiàn)，類只能繼承一個(gè)父類，但是可以實(shí)現(xiàn)多個(gè)接口

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())

沒有實(shí)現(xiàn)接口的類，自然是沒有該接口中的方法

在這里插入圖片描述

interface 和 type 的區(qū)別

很多時(shí)候 interface 和 type 是相同的，但有一個(gè)明顯區(qū)別在于 interface 可以重復(fù)定義，類型注解會(huì)累加，而 type 重復(fù)定義會(huì)報(bào)錯(cuò)

在這里插入圖片描述

字面量賦值

直接把字面量賦值類型給變量時(shí)，會(huì)對字面量進(jìn)行類型推導(dǎo)，多出的屬性會(huì)報(bào)錯(cuò)

在這里插入圖片描述

但是將對象的引用賦值的話，會(huì)進(jìn)行 freshness 擦除操作，類型檢測時(shí)將多余的屬性擦除，如果依然滿足類型就可以賦值

在這里插入圖片描述

枚舉類型

枚舉類型通過 enum 關(guān)鍵字來定義，它和聯(lián)合類型實(shí)現(xiàn)的功能類似，但是枚舉類型的代碼閱讀性會(huì)更強(qiáng)一些

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);

泛型

泛型函數(shù)

當(dāng)不確定入?yún)⒌念愋蜁r(shí)，可以定義類型注解為泛型，使用的時(shí)候再指定具體類型，使用 <> 來進(jìn)行泛型的定義。

function self<T>(element: T) {
  return element;
}
self<string>("alice");
self<number>(2);
self<null>(null);

如果沒有定義類型，ts會(huì)進(jìn)行類型推導(dǎo)，有可能并不是我們希望的類型，如以下字符串推導(dǎo)出來不是”string“字符串類型，而是“hello”字面量類型。

在這里插入圖片描述

當(dāng)存在多個(gè)參數(shù)時(shí)，在泛型中定義多個(gè)即可

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,
};

在接口中使用泛型是無法進(jìn)行類型推導(dǎo)的，使用的時(shí)候必須指定具體的類型

在這里插入圖片描述

除非在接口定義的時(shí)候給泛型設(shè)置了默認(rèn)值

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'
}

泛型類

類中定義的方式，只是將具體的數(shù)據(jù)類型替換成了泛型，在類中是可以進(jìn)行類型推導(dǎo)的

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);

類型約束

泛型可以通過繼承來進(jìn)行類型約束

只需要傳入的參數(shù)滿足泛型的條件，即有 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中都是非常重要的類型注解。