基于对象属性字面量类型的不相交联合类型

Question

我正在尝试正确键入一个对象，该对象的定义会根据其属性之一的值而改变。在下面使用type 的常量可以正常工作（即：用type: 1 替换type: typeA 可以修复错误），但为了代码库的清晰性，我想使用从共享constants.js 导入的常量。为什么flow对此不满意？

const typeA = 1;
const typeB = 2;

type pA = {
  type: typeA,
    //  ^ Cannot use number as a type because number is a value. To get the type of a value use `typeof`.
  vA: string,
};

type pB = {
  type: typeB,
  vB: string,
};

type p = pA | pB;

const getV = (proj): string => {
    switch (proj.type) {
      case typeA: {
        return proj.vA;
      }
      case typeB: {
        return proj.vB;
      }
    }
  return '';
}

try it

Answer 1

需要将A和B声明为类型，然后使用typeof进行切换

/* @flow */

type A = 1;
type B = 2;

type pA = {
  type: A,
  vA: string,
};

type pB = {
  type: B,
  vB: string,
};

type p = pA | pB;

const getV = (proj): string => {
    switch (proj.typeof) {
      case "A": {
        return proj.vA;
      }
      case "B": {
        return proj.vB;
      }
    }
  return '';
}