使用 switch case 描述时出现 TypeScript 错误 (TS2367)

Question

我的逻辑是否与我预期的不同，或者编译器不理解我正在尝试做什么？

错误 - 第 i4 行：This condition will always return true since the types SubjectType.Both | SubjectType.A and SubjectType.B have no overlap.

j1  enum SubjectType {
j2      BOTH,
j3      A,
j4      B,
j5  }

i1  switch ( subjectType: SubjectType ) {
i2      case SubjectType.BOTH
i3      case SubjectType.A:
i4          if( subjectType !== SubjectType.B ) {
i5              //Do thing A
i6          }
i7      case SubjectType.B:
i8          if( subjectType !== SubjectType.A ) {
i9              //Do thing B
i10         }
i11 
i12         break;
i13      default:
i14          throw new TypeError( `Unknown SubjectType ${subjectType} provided` );
i15  }

编辑： 其实我的逻辑是错误的。

i1  switch ( subjectType: SubjectType ) {
i2      case SubjectType.BOTH
i3      case SubjectType.A:
i4          //Do thing A, if type A | BOTH
i5
i6      case SubjectType.B:
i7          if( subjectType !== SubjectType.A ) {
i8              //Do thing B
i9          }
i10 
i11         break;
i12      default:
i13          throw new TypeError( `Unknown SubjectType ${subjectType} provided` );
i14  }

Answer 1

subjectTypevariable/const只能有3种状态：A、B和BOTH。考虑这个例子：

enum SubjectType {
    BOTH,
    A,
    B,
}
const subjectType: SubjectType = null as any

function foo() {
    switch (subjectType) {
     case SubjectType.BOTH:
     case SubjectType.A:
        if (subjectType !== SubjectType.B) {
            //Do thing A
        }
     case SubjectType.B:
        if (subjectType !== SubjectType.A) {
            //Do thing B
        }

        break;
      default:
        throw new TypeError(`Unknown SubjectType ${subjectType} provided`);
    }
}

这两行里面 switch:

case SubjectType.BOTH:
case SubjectType.A:

表示subjectType是BOTH或A之一，而不是B。

然后，您正在尝试将 subjectType 与 B if (subjectType !== SubjectType.B) { 进行比较，但对于 TS 和我来说很明显 subjectType 在这种情况下不能是 B.

使用 switch case 描述时出现 TypeScript 错误 (TS2367)

TypeScript error when using switch case descrimination (TS2367)

compiler-errors

typescript