2016-05-17 85 views
4

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

C#支持is运营商和类型的表面IsAssignableFrom(object instance)

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

有没有在打字稿进行这种检查的一些直接的方式或者我有探测所需的每一个成员的?

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

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

也许我应该把一个江湖方法上Object

回答

1

我相信这里的合适的答案是

没有,但!

所以为了避免这种情况发生,Typescript的类型信息仅在编译时才存在。在运行时没有办法检查结构相等性。你当然可以在编译时做这个检查,但这只是所谓的分配,可能不是你所问的。长篇小说,你必须探讨所需的成员(通常),但有几种方法可以巧妙地解决这个问题。


作为打字稿1.6语言的支持user-defined type guards

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

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函数以处理元数据。如果我没有记错,这仍然存在类型存储为字符串的问题,如果你有子类型,它们将不匹配。


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

+0

不,你的解释是现货。我确实需要运行时分配兼容性检查。应用程序正在解析数据库中的字符串。它从一个简单的X开始,然后突变成一个数组[X,Y,Z]。然后是定义比较器和基元数组的对象{“Comparator”:“any”,“Values”:[X,Y,Z]}。根据年龄的不同,字符串可能包含任何这些东西,因此我将它解析为JSON,然后计算出在对遗留编码进行规范化之前得到的结果 - 基元或基元数组提供了值,比较器是“any”。 –