TypeScript中可选符号(?)是否包含undefinable与nullable？

1. 对象可选属性（prop?: T）的类型 #

对象属性后的?表示该属性是可选的，对应的类型等价于 T | undefined，和null没有关系。比如你示例里的：

type MyType = {
  prop1?: string;
}

完全等价于：

type MyType = {
  prop1: string | undefined;
}

这意味着prop1要么是string类型，要么不存在（此时值为undefined）。

2. 可选链操作符（?.）的作用 #

你示例中something.prop1?.toString()和something.prop2?.toString()都能安全执行，是因为可选链操作符?.本身会处理null和undefined两种情况：

• 当左侧的值是null或undefined时，?.会直接返回undefined，不会继续执行后面的属性访问或方法调用。
• 这和属性本身的类型无关——不管属性类型是T | undefined（可选属性）还是T | null，只要值是null/undefined，?.都能起到安全访问的作用。

3. 关于「可选符号是否表示any | null | undefined」 #

答案是否定的：

• 可选属性的?仅扩展类型为「指定类型 + undefined」，和any、null都无关。
• any是任意类型，可选属性的类型是明确的（指定类型或undefined），绝非any。

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