打字稿歧视联盟允许无效状态

Question

我正在尝试使用 Typescript Discriminated Union 在异步加载数据时模拟一个相当常见的场景：

type LoadingState = { isLoading: true; }
type SuccessState = { isLoading: false; isSuccess: true; }
type ErrorState =   { isLoading: false; isSuccess: false; errorMessage: string; }

type State = LoadingState | SuccessState | ErrorState;

据我了解，这应该根据类型定义限制允许的值组合。但是，类型系统很乐意接受以下组合：

const testState: State = {
    isLoading: true,
    isSuccess: true,
    errorMessage: "Error!"
}

我预计这里会出错。有什么我遗漏的或以某种方式滥用类型定义的吗？

Answer 1

这是对工会进行过多财产检查的方式的问题。如果将对象字面量分配给联合类型的变量，则如果属性存在于 any 联合成员中，则该属性不会被标记为多余。如果我们不认为多余的属性是错误（并且除了对象字面量之外，它们不被视为错误），您指定的对象字面量可能是 LoadingState 的实例（isLoading 设置为 @987654324 的实例@ 强制要求和一些多余的属性）。

为了避免这种不良行为，我们可以向LoadingState 添加属性，以使您的对象字面量与LoadingState 不兼容

type LoadingState = { isLoading: true; isSuccess?: undefined }
type SuccessState = { isLoading: false; isSuccess: true; }
type ErrorState =   { isLoading: false; isSuccess: false; errorMessage: string; }

type State = LoadingState | SuccessState | ErrorState;

const testState: State = { // error
    isLoading: true,
    isSuccess: true,
    errorMessage: "Error!"
}

我们甚至可以创建一个类型来确保添加此类成员

type LoadingState = { isLoading: true; }
type SuccessState = { isLoading: false; isSuccess: true; }
type ErrorState =   { isLoading: false; isSuccess: false; errorMessage: string; }

type UnionKeys<T> = T extends T ? keyof T : never;
type StrictUnionHelper<T, TAll> = T extends any ? T & Partial<Record<Exclude<UnionKeys<TAll>, keyof T>, undefined>> : never;
type StrictUnion<T> = StrictUnionHelper<T, T>

type State = StrictUnion< LoadingState | SuccessState | ErrorState>

const testState: State = { // error
    isLoading: true,
    isSuccess: true,
    errorMessage: "Error!"
}