17 # 类型检查机制：类型保护

例子：

enum Type {Strong,Week
}class Java {helloJava(){console.log('hello Java');}
}class JavaScript {helloJavaScript(){console.log('hello JavaScript');}
}function getLanguage(type: Type){let lang = type === Type.Strong ? new Java() : new JavaScript();if(lang.helloJava) {lang.helloJava();} else {lang.helloJavaScript();}return lang;
}

上面的 lang.helloJava 跟 lang.helloJavaScript 会报错，因为 lang 是个联合类型，TypeScript 不能确定 lang 是什么类型。

需要加上类型断言：

function getLanguage(type: Type){let lang = type === Type.Strong ? new Java() : new JavaScript();if((lang as Java).helloJava) {(lang as Java).helloJava();} else {(lang as JavaScript).helloJavaScript();}return lang;
}

但是这种方案需要在每处都加，代码可读性差。而类型保护就是用来解决这个问题的。它可以提前对类型做出预判。

类型保护

TypeScript 能够在特定的区块中保证变量属于某种确定的类型。

可以在此区块中放心地引用此类型的属性，或者调用此类型的方法。

创建区块的 4 中方法：

1、instanceof

判断某个实例是不是属于某个类：

function getLanguage(type: Type){let lang = type === Type.Strong ? new Java() : new JavaScript();if(lang instanceof Java) {lang.helloJava();} else {lang.helloJavaScript();}return lang;
}

2、in

判断某个属性是否属于某个对象：

enum Type {Strong,Week
}class Java {helloJava(){console.log('hello Java');}java: any
}class JavaScript {helloJavaScript(){console.log('hello JavaScript');}javascript: any
}function getLanguage(type: Type){let lang = type === Type.Strong ? new Java() : new JavaScript();if('java' in lang) {lang.helloJava()} else {lang.helloJavaScript();}return lang;
}

3、typeof

判断某个变量的基本类型：

function getLanguage(type: Type, x: string | number){let lang = type === Type.Strong ? new Java() : new JavaScript();if(typeof x === 'string') {x.length} else {x.toFixed(2);}return lang;
}

4、创建类型保护函数来判断对象的类型

创建一个类型谓词函数，用于在 TypeScript 中判断一个变量的类型是否为 Java：

function isJava(lang: Java | JavaScript): lang is Java {return (lang as Java).helloJava !== undefined;
}

1. isJava 是一个函数名，用于表示这个类型谓词函数。
2. (lang: Java | JavaScript) 表示函数接受一个参数 lang，它的类型可以是 Java 或 JavaScript。
3. lang is Java 是类型谓词部分，用于指定返回值的类型。这里表示当条件满足时，lang 的类型被断言为 Java 类型。
4. 在函数体内部，(lang as Java).helloJava 使用类型断言将 lang 断言为 Java 类型，并检查断言后的对象是否具有 helloJava 属性。如果有，则返回 true，表示 lang 是 Java 类型；否则返回 false。

enum Type {Strong,Week
}class Java {helloJava(){console.log('hello Java');}java: any
}class JavaScript {helloJavaScript(){console.log('hello JavaScript');}javascript: any
}function isJava(lang: Java | JavaScript): lang is Java {return (lang as Java).helloJava !== undefined;
}function getLanguage(type: Type, x: string | number){let lang = type === Type.Strong ? new Java() : new JavaScript();if(isJava(lang)) {lang.helloJava();} else {lang.helloJavaScript();}return lang;
}