如何有条件地为对象添加属性？TypeScript类型转换报错原因及解决方法

咱们先拆解一下为什么TypeScript会推断出b?: string | number | undefined这个不兼容的类型：

你用了对象展开语法，把三个部分合并成一个对象：

1. 第一个...a带来了属性b: string | undefined（因为A类型的b是可选字符串）
2. 然后你覆盖了a属性为数字1
3. 最后...a.b && {b: Number(a.b)}这部分，只有当a.b存在时才会展开出b: number

但TypeScript的类型推断在这里是机械合并各部分的类型，它不会智能分析“当第三个部分生效时，第一个部分的b已经被覆盖了”这种逻辑。它只会把所有可能的b类型做联合：string | number | undefined，而你的B类型要求b是number | undefined，自然就报类型不兼容的错了。

接下来给你几个可行的解决办法：

办法1：用类型断言快速解决（适合简单场景） #

如果你能确保运行时逻辑没问题，可以直接把整个对象断言成B类型，告诉TypeScript“我确认这个对象符合B的结构”：

const a: A = { a: '1', b: '2' };
const b: B = { ...a, a: 1, ...(a.b && { b: Number(a.b) }) } as B;

⚠️ 注意：这种方式跳过了TypeScript的类型检查，如果你后续修改逻辑导致b变成字符串，TS不会提醒你，所以只适合逻辑简单、不会变的场景。

办法2：分步构建对象（最安全，TS能准确推断） #

放弃一次性展开，改用条件语句手动构建对象，这样TypeScript能全程跟踪类型：

const a: A = { a: '1', b: '2' };
const b: B = { a: 1 }; // 先初始化必填的a属性
if (a.b) {
  b.b = Number(a.b); // 只有当a.b存在时才添加b属性
}

这种写法TS能准确识别：b的类型要么是number（当a.b存在时），要么是undefined（当a.b不存在时），完全符合B类型的要求，没有类型错误。

办法3：封装成转换函数（适合需要复用的场景） #

如果这种转换逻辑需要多次使用，建议封装成一个函数，让TypeScript自动推断返回类型：

type A = { a: string; b?: string; }
type B = { a: number; b?: number; }

function convertAToB(a: A): B {
  const converted: B = {
    a: Number(a.a)
  };
  // 只有当a.b存在时才赋值
  if (a.b !== undefined) {
    converted.b = Number(a.b);
  }
  return converted;
}

const a: A = { a: '1', b: '2' };
const b = convertAToB(a); // TS自动推断b是B类型

这种方式既清晰又安全，还能复用，是生产环境推荐的写法。

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