TypeScript中Symbol计算属性名的空值推断失效问题

这是个挺典型的TypeScript类型推断细节问题，我来帮你理清楚背后的原因和解决办法～

问题根源 #

你遇到的差异，核心在于**Symbol.for()创建的是全局符号**，而TypeScript对全局符号索引的属性，没办法像普通字符串命名的属性那样做安全的类型收缩：

• 对于__staticProp这种类的自有字符串属性，TypeScript能确定它的状态完全由当前类控制，所以当你做this.__staticProp ? ... : ...的判断时，它能正确把number | undefined收缩成number。
• 但Symbol.for('__a')生成的是全局共享的Symbol，TypeScript无法保证其他代码不会修改这个Symbol对应的属性值，哪怕它是在你的类里定义的。所以即使你做了存在性检查，TypeScript也不敢把this[sym]的类型从number | undefined收缩成number——它得考虑外部篡改的可能性。

解决办法 #

针对这个问题，有几个靠谱的处理方式：

1. 使用局部Symbol替代全局Symbol

换成Symbol()创建局部符号，这个Symbol只在当前作用域有效，不会被外部访问。TypeScript能确定这个属性完全属于你的类，类型推断就会正常工作：

const sym = Symbol(); // 不用Symbol.for
class A {
  [sym]: number | undefined;
  __staticProp: number | undefined;
  foo() {
    const value = this[sym] ? this[sym] : 4; // 现在typeof value是number，符合预期
    const value2 = this.__staticProp ? this.__staticProp : 4;
  }
}

2. 使用TypeScript官方私有字段（更推荐）

如果你本来就是想实现类的私有成员，其实TypeScript有专门的语法——#开头的私有字段，比用Symbol更直观，类型推断也完全正常：

class A {
  #a: number | undefined; // 私有字段，外部无法访问
  __staticProp: number | undefined;
  foo() {
    const value = this.#a ? this.#a : 4; // typeof value为number
    const value2 = this.__staticProp ? this.__staticProp : 4;
  }
}

3. 非空断言（谨慎使用）

如果你确定this[sym]在判断后一定存在，可以用非空断言!强制告诉TypeScript它不是undefined，但这种方式不够安全，万一后续代码逻辑变化容易出问题：

const value = this[sym]! ? this[sym]! : 4; // typeof value为number

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