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;
}
- isJava 是一个函数名，用于表示这个类型谓词函数。
(lang: Java | JavaScript)表示函数接受一个参数 lang，它的类型可以是 Java 或 JavaScript。lang is Java是类型谓词部分，用于指定返回值的类型。这里表示当条件满足时，lang 的类型被断言为 Java 类型。- 在函数体内部，
(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;
}