TypeScript：为何无法直接给number类型属性赋null，条件返回却可行？

咱们来拆解你遇到的这两个问题，核心都和TypeScript的类型检查逻辑、控制流分析以及类型推断有关：

1. 直接赋值null给number属性报错，但if/三元分支却可行？ #

首先，当你直接写Price: null而Price被标注为number类型时，TypeScript会立刻抛出错误——因为在严格空检查（strictNullChecks，这是TypeScript推荐开启的默认配置）下，null和undefined是独立于基本类型的，不能直接赋值给number、string这类非空类型。

那为什么通过if语句或者三元表达式的情况看起来“可行”？这里分两种场景：

场景A：分支中确保返回的是number类型 #

比如你写了这样的代码：

interface Product {
  Price: number;
}

function createProduct(value: { rawPrice: number | null }): Product {
  if (value.rawPrice === null) {
    // 这里返回一个默认number值，比如0
    return { Price: 0 };
  } else {
    // TypeScript通过控制流分析，知道这里value.rawPrice一定是number
    return { Price: value.rawPrice };
  }
}

这种情况下，TypeScript的控制流分析会跟踪变量的类型：当进入else分支时，它能确定value.rawPrice已经排除了null的可能，所以是安全的number类型，不会报错。

场景B：分支返回null，但函数返回类型被推断为联合类型 #

如果你的函数没有明确标注返回类型，比如：

function createProduct(value: { rawPrice: number | null }) {
  // 这里TypeScript会推断返回类型为 { Price: number | null }
  return { Price: value.rawPrice === null ? null : value.rawPrice };
}

这时候TypeScript并没有报错，是因为它自动推断出返回对象的Price字段是number | null联合类型——而不是你以为的number类型。如果这时候你把这个函数的返回值赋值给一个标注为Product（Price: number）的变量，TypeScript还是会报错的。

2. 为什么三元写法允许，但直接return { Price: null }报错？ #

还是回到严格空检查的规则：

• 当你直接写return { Price: null }，且函数的返回类型被明确标注为{ Price: number }（或者对应的接口），TypeScript会直接检测到null和number类型不兼容，所以抛出错误。
• 而当你写三元表达式value.rawPrice === null ? null : value.rawPrice时，如果函数没有明确返回类型，TypeScript会根据表达式的结果推断出联合类型number | null，因此返回的对象类型也是{ Price: number | null }，这在类型系统里是合法的（因为表达式本身确实可能返回两种类型）。

但如果你的函数明确标注了返回类型为{ Price: number }，那三元写法同样会报错——TypeScript会提示你null不能赋值给number类型。你可以试试这段代码：

interface Product {
  Price: number;
}

function createProduct(value: { rawPrice: number | null }): Product {
  // 这里同样会报错：Type 'null' is not assignable to type 'number'
  return { Price: value.rawPrice === null ? null : value.rawPrice };
}

总结一下 #

• 直接赋值null给number类型报错，是因为严格空检查下类型不兼容。
• 分支写法“可行”要么是因为控制流分析确保了分支返回的是number，要么是因为TypeScript推断出了联合类型（此时并没有违反类型规则）。
• 三元写法允许的本质是类型推断的结果是联合类型，而直接写null是明确违反了标注的number类型约束。

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