流类型中的组合枚举

Question

我有一个枚举，它是flowtype 中其他两个枚举（所有字符串文字）的组合。

现在我有一个函数f1，它只接受枚举的一部分。基于if 子句，我想确保只将正确的参数传递给这个f1。

如果我使用if 匹配字符串，它可以工作。但是一旦我有一个具有完全相同字符串的变量，它就会出错。

见代码：

Link to Flow-Playground

为什么 f3 会出错？

/* @flow */
type Enum1 = 'a' | 'b';
type Enum2 = 'c';
type Enum3 = Enum1 | Enum2;

const c = 'c';
// same problem if I use:
// const c: Enum2 = 'c'; 

const f1 = (e1: Enum1) => console.log(e1);

// this works
const f2 = (e3: Enum3) => {
  if (e3 !== 'c') {
    f1(e3);
  }
}

// this breaks - why?
const f3 = (e3: Enum3) => {
  if (e3 !== c) {
    f1(e3);
  }
}

// this works
const f4 = (e3: Enum3) => {
  if (e3 !== c) {
    (e3 === 'c' ? '' : f1(e3))
  }
}

Answer 1

类型细化需要使用文字来完成。这也可能与细化失效发生冲突 - 对 f1 的调用可能会通过修改 var c 的值来使细化失效。

const f3 = (e3: Enum3) => {
  if (e3 !== 'c') {  // literal c, not var c
    f1(e3);
  }
}

实际上，您在 f4 中做同样的事情，因为您正在与文字 c 进行比较，并且仅在其等效于 Enum1 时才调用 f1