打字稿类型兼容性测试

时间:2016-05-17 04:09:56

标签: typescript structural-typing

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

C#支持is运算符并输入表面IsAssignableFrom(object instance)

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

是否有一些直接的方式在Typescript中执行此类检查,或者我是否需要探测每个必需的成员?

instanceof可能会针对手头的情况做,但不尊重结构兼容性,而是检查原型链。

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

也许我应该在Object

上加一个庸医方法

1 个答案:

答案 0 :(得分:1)

我相信这里适当的答案是

  

不,但是!

所以只是为了解决这个问题,Typescript的类型信息仅在编译时存在。在运行时无法检查结构相等性。你当然可以在编译时进行这项检查,但那只是调用,可能不是你所要求的。

长话短说,你必须探究所需的成员(通常),但有几种方法可以很聪明。

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

这些作为便利功能非常精彩,是一种安全地向下转换/指定/改进类型的方法(取决于您的首选术语)。如果您希望以典型的方式(.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函数是此处的关键点。参数的方向是值得商榷的,但也没有相关性,所以无论如何都要把它们放在一边。这不是一个理想的解决方案。您可能希望仅基于非功能属性来分配内容,例如,隐含状态而非常见功能。您可以尝试扩展检查以解决这个问题,但无论如何都存在陷阱。

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

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

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