在流

Question

Flow文档有一种声明模块和类的方法，但我没有在源代码之外看到任何用于在类上声明方法的内容。如果您想要实现类似抽象基类的东西，这尤其有用。可以吗？我想要的是这个：

class A { 
 declare function myfun(t : T) : S; 
}

其中S和T是已在其他地方声明的类型（我不想引入类型变量）。我们可以使用解决方法：

class A {
  myfun(t : T) : ?S { return null; }
}

即使我将子类设置为发出非空返回值，我仍然会收到有关空检查的流警告。

Answer 1

typechecks的临时解决方案是：

class A { 
  myfun: (t : T) => S;
}