TypeScript中Ant Design按钮为何Omit同键不同类型的type属性？

问题背景 #

在阅读Ant Design Button组件源码时，发现以下类型定义（已简化无关内容）：

首先定义按钮样式类型的联合类型：

type ButtonTypes = 
  | 'default'
  | 'primary'
  | 'ghost'
  | 'dashed'
  | 'link'
  | 'text'

接着定义基础按钮Props：

export interface BaseButtonProps {
  type?: ButtonTypes;
}

最后定义锚点按钮的Props类型：

export type AnchorButtonProps = {
  href: string;
} & BaseButtonProps &
  Omit<React.AnchorHTMLAttributes<any>, 'type'>;

其中React原生的AnchorHTMLAttributes定义包含type?: string | undefined，指的是链接资源的MIME类型。

原本以为Omit是为了防止type类型从严格的ButtonTypes退化为宽泛的string，但测试发现即使去掉Omit，交叉后的type依然是ButtonTypes，无法接受任意字符串。因此疑问：为什么要特意Omit掉原生Anchor属性中的type？

原因分析 #

1. 语义明确性优先
   HTML原生a标签的type属性语义是指定链接目标资源的MIME类型（比如type="application/pdf"），而Ant Design Button的type是控制按钮样式的枚举值，两者语义完全无关。显式Omit掉原生的type，可以清晰地向开发者传递一个信号：这里的type是按钮的样式类型，和原生a标签的type没有关系，避免混淆使用场景。

2. 兼容历史TypeScript版本
   早期TypeScript版本（比如3.x及以前）在处理交叉类型的同名属性时，类型合并规则和现在不同。如果两个类型的同名属性类型不同，可能会得到never类型或者直接退化为更宽泛的类型。Ant Design作为长期维护的开源库，这段代码可能是为了兼容旧版TS写法而保留的，确保在不同TS版本下type的类型始终稳定。

3. 规避潜在的类型风险
   虽然当前TS版本能正确处理这种交叉类型的属性合并，自动取更严格的ButtonTypes类型，但未来TS的类型系统规则如果发生调整，显式Omit的写法能确保type的类型不会意外被原生的string类型污染，提前规避了潜在的类型问题，增强代码的健壮性。

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