更新:所述问题并不表明请求能够在不检查属性的情况下区分类型。不幸的是,这是不可能的; TypeScript 编译为 JavaScript,这是实际运行的。而 TypeScript 的类型系统,在其中找到了 A 和 B 这样的接口,在编译代码时完全是 erased。所以在运行时没有A 或B 可以检查。
如果您希望能够在运行时区分 myObj 是 A 还是 B,则需要编写执行此操作的 JavaScript 代码...例如检查属性。您可以做的是使用 TypeScript 来帮助您编写此代码并对其进行分型,以便编译器也了解您的属性检查将A | B 缩小为A 或B。这就是这个答案的其余部分(以及另一个问题的答案)告诉你的。祝你好运!
other question's answer 建议你写一个user-defined type guard function,肯定可以的;这个想法是你告诉编译器你认为什么是区分A和B的好方法,它会让你使用那个函数来做到这一点。
在您的情况下,一种更简单的方法是使用in 运算符,即can be used as a type guard(从TypeScript 2.7 开始)。例如:
declare const obj: A | B;
if ("b_id" in obj) {
// obj is a B in here
console.log(obj.name.toUpperCase());
} else {
// obj is an A in here
console.log(obj.a_id.toUpperCase());
}
请注意,这在技术上是不安全的,因为A | B 类型的对象可能无法以这种方式区分:
function getEvilAorB(): A | B {
interface EvilA extends A {
b_id: number;
}
const evilA: EvilA = { name: "", a_id: "", b_id: 123 };
return evilA; // okay, EvilA extends A extends A | B
}
注意getEvilAorB() 返回一个有效的A,因此它是一个有效的A | B,但不幸的是它会因为数字name 属性而无法通过上述测试:
const evilA = getEvilAorB();
if ("b_id" in evilA) {
console.log(evilA.b_id.toUpperCase()); // compiles but ? at runtime
// TypeError! evilA.name.toUpperCase is not a function
}
如果您不关心这种边缘情况,那么in 类型防护可能就足够了。否则,您应该考虑编写用户定义的类型保护,或者使您的接口成为 discriminated union 的成员,这是让编译器区分联合成员的传统且受支持的方式。
希望有所帮助;祝你好运!
Playground link to code