打字稿类型兼容性测试

Question

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

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

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

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

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

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

也许我应该在 Object

上放一个庸医方法

Answer 1

我认为这里的正确答案是

No, but!

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

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

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

这些作为便利函数非常棒，并且是一种安全 downcasting/specifying/refining 类型的方法（取决于您喜欢的术语）。如果您希望以典型的方式（.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 函数是这里的关键点。参数的方向值得商榷，但也不相关，所以你可以随心所欲地放置它们。这不是一个理想的解决方案。您可能希望仅基于非功能属性来分配事物，例如，暗示状态而不是通用功能。您可以尝试扩展检查以解决这个问题，但无论如何都会有陷阱。

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

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

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

打字稿类型兼容性测试

Typescript type compatibility test

structural-typing

typescript