6

我在循环内的三元运算符中使用 TypeScript 类型保护，并看到我不理解的行为。

我的界面

interface INamed {
    name: string;
}

interface IOtherNamed extends INamed {
    otherName: string;
}

我的类型后卫

function isOther(obj: any): obj is IOtherNamed {
    ... // some check that returns boolean
}

一般使用示例

var list: Array<{named: INamed}> = [];

for(let item of list) {
    var other: IOtherNamed = ...
}

在我的 for .. of 循环中，我使用我的类型保护将我当前的项目或 null 分配给 IOtherNamed 的变量。

这不起作用

// Compiler Error: INamed is not assignable to IOtherNamed
for(let item of list) {
    var other: IOtherNamed = isOther(item.named) ? item.named : null;
}

这确实

for(let item of list) {
    var named: INamed = item.named;
    var other2: IOtherNamed = isOther(named) ? named : null;
}

我的问题

  1. 这是设计使其中一个有效而另一个无效吗？
  2. 如果按照设计，这里的细微差别决定了它何时起作用？特别是为什么将我的对象分配给一个新变量（没有任何类型更改）会消除编译器错误？
4

1 回答 1

4

是的，这是为 TypeScript < 2.0 设计的：

请注意，类型保护只影响变量和参数的类型，对对象的成员（例如属性）没有影响。

— 语言规范中的 4.20（PDF，第 83 页）

所以它在第二种情况下工作的原因是因为您已将属性分配给一个变量，然后键入保护该变量。

更新：正如 Alex 指出的，TypeScript 2.0 将支持属性的类型保护。

于 2015-11-02T15:01:29.303 回答