Typescript 类型兼容性测试

Question

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

C# 支持

is

运算符和类型表面

IsAssignableFrom(object instance)

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

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

instanceof

可能适合当前的情况，但不考虑结构兼容性，而是检查原型链。

是的，我知道，Typescript 的

instanceof

直接相当于 C# 的

is

运算符。但我确实从指定结构类型开始。

也许我应该在

Object

上放一个庸医方法

Answer 1

我相信这里合适的答案是

不，但是！

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

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

---

从 Typescript 1.6 开始，该语言支持 用户定义的类型保护

这些功能非常方便，并且是一种安全地向下转型/指定/细化类型的方法（取决于您喜欢的术语）。如果您希望以典型方式（

.hasOwnProperty

等），您可以手动检查某些类型是否存在，根据我的经验，它们作为消息类型分派的方法更有效。在大多数消息传递系统中，您可能有一个类型属性。您可以定义一个函数

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 自己的类属性元数据生成。 您可以使用 tsconfig 标志打开它。

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

---

无论如何，我希望有所帮助。抱歉我不能给你一个简单的“是”。知道我的运气，你实际上只是在寻找任务

;)

。

Answer 2

实际上可以实现这个版本，至少使用类 - 我们在 JsPlumb 代码库中的几个地方使用它。

https://jsplumbtoolkit.com/talking-tech/2024/05/10/is-assignable-from