比较 Flow 中的枚举值

Question

我正在使用flow 在我的代码中注释类型。

type Bar = 'One' | 'Two';
function foo(b: Bar) : boolean {
  return b === 'Three';
}

有什么方法可以教flow 报告与非匹配类型（在我的情况下为string）比较时的警告或错误？

here is the example for test

edit: 所以似乎不可能使用枚举。但是，由于这实际上是我遇到的一个错误，所以我想表达一下，以便 flow 可以帮助我标记这种情况。

对此有什么想法吗？

Answer 1

这是我能想到的另一种方式：

type Bar = 'One' | 'Two';

function eq(a: Bar, b: Bar): boolean {
  return a === b;
}
function foo(b: Bar) : boolean {
  // compare b to 'Three'
  return eq(b, 'Three');
}

会导致

return eq(b, 'Three');
                  ^ string. This type is incompatible with the expected param type of 
function eq(a: Bar, b: Bar): boolean {
                       ^ string enum

to be found here

Answer 2

您可以使用 (value: Type) 格式。在你的情况下，这将是：

类型栏 = '一个' | '二'; 函数 foo(b: Bar) : boolean { return b === ("三": Bar); }

这将显示错误。

Updated example.