Typescript 当并非所有歧视值都已知时，如何缩小受歧视联盟的范围

每一种类型都需要有自己的声音.

因此，有人这样做是完全合理的:

const error: UnknownError = { name: 'KnownError' }

如果您将该对象传递给此函数:

const handleError = (err: GeneralError) => {
    if(err.name === 'KnownError'){
        console.log(err.knownErrorSpecific); // undefined
    }
};

那么就有问题了，因为该对象上不存在该属性.

因此，在这个受到歧视的联盟中，这里的name不是一个足够的判别式.判别式需要是互斥的，但'KnownError'扩展了string，因此它们是重叠的.

Typescript 没有negative种类型.你不能说什么类型是not.这意味着您不能从无限集中排除有限值.因此，您不能将"除此字符串以外的任何字符串"表示为类型."除0以外的任何数字"也是如此.

这意味着，如果您的判别式与其他成员重叠，那么您将需要进行额外的缩小，以便将其缩小到您需要的类型.

潜在的解决方案.

可能不太可能有人会将已知错误代码用于未知错误.(这取决于你做出判断的决定).因此，如果您认为这对您的代码库足够安全，您可以稍微重组您的类型，并添加一个TypeGuard来使其更好一些.

首先，在自己的联盟中将已知错误与未知错误分开:

type UnknownError = {
    name: string;
};

type KnownErrorOne = {
    name: 'KnownError';
    knownErrorSpecific: string;
};

type KnownErrorTwo = {
    name: 'WarpDriveError';
    warpCoreTemperature: number;
};

type KnownError = KnownErrorOne | KnownErrorTwo
type GeneralError = KnownError | UnknownError;

现在可以防止name: string人污染unions .

然后，我们只需要一个类型保护，它可以接受GeneralError，但将该对象验证为KnownError.

function isKnownError<
  T extends KnownError['name']
>(
  error: GeneralError,
  name: T
): error is Extract<KnownError, { name: T }> {
  return error.name === name
}

此函数接受GeneralError和KnownError的名称.如果名称匹配，则它通过Extract匹配该名称的KnownError并集的所有成员来断言错误属于该已知类型.

现在，这将很好地发挥作用:

const handleError = (error: GeneralError) => {
    if(isKnownError(error, 'KnownError')){
        console.log(error.knownErrorSpecific); // fine
    }
};

请注意，没有什么能阻止你这样做:

const error: UnknownError = { name: 'KnownError' }

这可能会在运行时造成问题，但在这种情况下，是否值得冒这个风险取决于您.

See Playground个