在TypeScript中，我们可以使用| undefined来定义一个可空类型，这种类型的变量可以赋值为undefined或者其实际的类型。
1、基本语法
我们可以通过在类型后面加上| undefined来定义一个可空类型，如果我们有一个函数，它可能返回一个字符串或者undefined，我们可以这样定义它的返回类型：
“`typescript
function getString(): string | undefined {
// …
}
“`
2、使用示例
下面是一些使用可空类型的示例：
定义一个可空的数组：
“`typescript
let arr: (number | undefined)[] = [1, 2, 3];
arr.push(undefined); // 这是允许的
“`
定义一个可空的对象：
“`typescript
let obj: { key: string | undefined } = { key: ‘value’ };
obj.key = undefined; // 这是允许的
“`
定义一个可空的联合类型：
“`typescript
type T = number | undefined;
let num: T = 123;
num = undefined; // 这是允许的
“`
3、注意事项
如果一个变量被定义为某种类型的可空版本，那么这个变量只能赋值为undefined或者那种类型的值，如果一个变量被定义为string | undefined，那么这个变量不能赋值为其他类型的值，如null或boolean。
undefined是一个特殊的值，表示变量没有被赋值，在TypeScript中，如果你尝试访问一个未被初始化的变量，TypeScript会报错，如果你明确地将变量定义为可空类型，那么你可以安全地访问这个变量，即使它被赋值为undefined。