TypeScript类型保护和"仅指一种类型，但在此处用作值。"

Question

我使用的是Typescript 3.2。2、无法实现最基本的类型防护：

interface Bird {
    fly(): boolean;
}

interface Fish {
    swim(): boolean;
}

function swimIfYouCan(x: Fish | Bird) {
    if ((<Fish>x).swim) {
        return true
    }
}

这将产生错误：（50,11）TS2693：'鱼'仅指一种类型，但在这里用作值。（51:8）源自yarn。是否需要配置来启用此语法？

Answer 1

对于你的问题，我想到了三种可能的方法。

>

如果你想转换它并直接使用它，你必须使用作为运算符（如@jonrSharpe在注释中提到的），所以例如（x作为鱼）。

使用操作符中的检查它是否可用，例如if（'swim'在x中）

最后但并非最不重要的一点（我认为这是最好的情况），只需执行一个check实例来检查您得到了什么实例：if（Fish的x实例）

编辑：没有充分阅读问题，您无法在运行时检查接口。但在接口顶部创建一个类并没有什么害处

Answer 2

通过检查属性的存在来进行模式匹配的推荐方法是中的：

interface Bird {
    fly(): boolean;
}

interface Fish {
    swim(): boolean;
}

function move(x: Fish | Bird) {
  if ("swim" in x) {
    return x.swim();
  } else {
    return x.fly();
  }
}

通过在操作符中使用，可以避免断言。