如何在TypeScript中定义可表示undefined的自定义类型

DevOps 小满

2026-8-13

在TypeScript中实现类似Scala Option的类型

你可以通过两种方式实现类似Scala Option的类型，适配不同的使用场景：

1. 极简泛型类型别名（等价于`T | undefined`）

直接定义一个泛型类型别名，完全替代你当前用的MyType | undefined写法，复用性更强：

// 定义通用的Option类型
type Option<T> = T | undefined;

// 针对你的MyType创建具体的类型别名
type MyTypeOption = Option<MyType>;

使用方式和你原来的代码完全兼容，只是写法更简洁：

var myVar: MyTypeOption = await methodCall(...);

function methodCall(...): Promise<MyTypeOption> {
  // 函数体逻辑无需修改，原来返回MyType或undefined的代码都能正常运行
}

2. 贴近Scala语义的Option结构（区分Some/None）

如果想要更贴近Scala Option的设计，明确区分"有值"和"无值"的状态（避免和其他场景的undefined混淆），可以用联合类型+接口的方式实现：

// 定义有值的Some类型
interface Some<T> {
  type: 'Some';
  value: T;
}

// 定义无值的None类型
interface None {
  type: 'None';
}

// 组合成通用的Option类型
type Option<T> = Some<T> | None;

使用时需要明确返回Some或None实例，同时可以通过类型守卫做安全的分支处理：

// 函数定义示例
function methodCall(...): Promise<Option<MyType>> {
  if (/* 业务逻辑判断存在有效值 */) {
    return Promise.resolve({ type: 'Some', value: getMyTypeInstance() });
  } else {
    return Promise.resolve({ type: 'None' });
  }
}

// 使用示例
const result = await methodCall(...);
if (result.type === 'Some') {
  // 这里TypeScript会自动推断result.value为MyType类型
  handleValue(result.value);
} else {
  // 处理无值的情况
  handleNone();
}