例子:
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;
}