TypeScript联合类型参数转为never错误的解决方案咨询

你遇到的是TypeScript联合类型的典型限制：当访问联合类型的属性时，TypeScript仅保留所有分支共有的属性类型。这里Attribute是StringAttribute与BoolAttribute的联合，validate方法的参数类型会被推断为string & boolean（即never），而value是string | boolean，因此出现类型不匹配报错。

以下是几种可行的解决方法：

方法1：使用类型守卫（推荐） #

通过判断type属性缩小attribute的类型范围，让TypeScript明确当前实例的具体类型，从而关联value与validate的类型：

const attribute = getAttribute();

if (attribute.type === 'string') {
  attribute.validate(attribute.value); // 类型匹配：string参数
} else {
  attribute.validate(attribute.value); // 类型匹配：boolean参数
}

方法2：用泛型函数封装逻辑 #

把操作封装到泛型函数中，让TypeScript在函数内部保持类型的关联性：

function validateAttribute<T extends Attribute>(attr: T) {
  attr.validate(attr.value); // 类型可正确关联
}

const attribute = getAttribute();
validateAttribute(attribute);

方法3：类型断言（不推荐，仅临时应急） #

若确定类型必然匹配，可通过类型断言强制绕过检查，但会失去TypeScript的类型安全保障：

const attribute = getAttribute();
attribute.validate(attribute.value as never); // 强制断言跳过检查

内容的提问来源于stack exchange，提问作者lcoq