typescript 类型兼容性测试

Question

Typescript 是否支持直接测试结构类型兼容性？

C# 支持 is 运算符和类型表面 IsAssignableFrom(object instance)

if (foo is SomeType) ...
if (SomeType.IsAssignableFrom(foo)) ...

是否有一些直接的方法可以在 Typescript 中执行这种检查，或者我是否必须探测每个必需的成员？

instanceof 可能会处理手头的情况，但不考虑结构兼容性，而是检查原型(prototype)链。

是的是的，我知道，Typescript 的 instanceof 直接等同于 C# 的 is 运算符。但我确实是从指定结构类型开始的。

也许我应该在 Object 上放一个 quack 方法

Answer 1

我认为这里的正确答案是

No, but!

因此，为了解决这个问题，Typescript 的类型信息仅在编译时存在。无法在运行时检查结构是否相等。您当然可以在编译时进行此检查，但这只是所谓的赋值，可能不是您要问的。

长话短说，您必须(通常)探查所需的成员，但有几种方法可以巧妙地解决这个问题。

---

从 Typescript 1.6 开始，该语言支持 user-defined type guards

这些作为便利函数非常棒，是一种安全向下转换/指定/优化类型的方法(取决于您喜欢的术语)。如果您希望以典型的方式(.hasOwnProperty 等)，您可以手动检查某些类型的存在，根据我的经验，它们作为消息类型的分派(dispatch)方式更有效。在大多数消息传递系统中，您可能有一个类型属性。你可以定义一个函数

function isConfigGetMsg(msg: BaseMessage): msg is ConfigGetMsg {
  return msg.name === MsgTypes.CONFIG_GET_MSG;
}

//and use it as
if (isConfigGetMsg(msg)){
    console.log(msg.key); //key being a ConfigGetMsg only value
}

只要您的消息格式正确，这就没问题。尽管如您所见，您需要测试特定信息。如果您想要更通用的方法，这不是它。

---

正如您所提到的，您可以探查每个必需的成员。您可以使用以前的技术创建如下内容，从而使您自己更轻松一些:

interface One {
    a: number
}
interface Two extends One {
    b: string
}
function isAssignableTo<T>(potentialObj:Object, target:T) : potentialObj is T {
    return Object.keys(target).every(key => potentialObj.hasOwnProperty(key))
}

let a: Object = {
    a: 4,
    b: 'hello'
};

let b: Two = undefined;

if(isAssignableTo(a, b)) {
    b = a;
}

isAssignableTo 函数是这里的关键点。参数的方向值得商榷，但也不相关，所以你可以随心所欲地放置它们。这不是一个理想的解决方案。您可能希望仅基于非功能属性来分配事物，例如，暗示状态而不是通用功能。您可以尝试扩展检查以解决这个问题，但无论如何都会有陷阱。

---

很遗憾地说，我认为唯一“正确”的答案是尚不可行的答案。如果您正在使用类，则可以使用装饰器来捕获有关您的应用程序的元数据，包括稍后可用于反射/检查的类型信息。您可以创建自己的装饰器来执行此操作，但您也可以利用 typescript's own metadata generation for class properties.您可以使用 tsconfig 标志打开。

这假设 metadata reflection api存在。您需要使用它来提取该信息。然后，您可以重写之前的 isAssignableTo 函数以处理元数据。如果我没记错的话，这仍然会遇到类型存储为字符串的问题，如果您有子类型，它们将不匹配。

---

无论如何，我希望对您有所帮助。对不起，我不能给你一个简单的是。知道我的运气，你实际上只是在寻找作业 ;)。