在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。