Typescript中如何禁止泛型类Optional被嵌套使用？

实现方案 #

1. 类型层面全局约束 #

你之前的泛型约束写法有误，正确的实现方式是先定义工具类型排除Optional本身，再给类和所有静态方法的泛型加上对应约束，该方案属于类全局层面的约束，不需要给后续类方法单独加限制，所有涉及类泛型的位置都会自动继承规则。修改后的代码如下：

// 禁止泛型参数为Optional类型的工具类型
type NonOptionalValue<T> = T extends Optional<unknown> ? never : T

export default abstract class Optional<T extends NonOptionalValue<T>> {
  abstract get hasValue(): boolean
  abstract get value(): T

  static of<U extends NonOptionalValue<U>>(value: U): Optional<U> { 
    // 可选补充运行时校验，处理TS类型被绕过的场景
    if (value instanceof Optional) {
      throw new TypeError('不允许嵌套使用Optional')
    }
    return new FilledOptional<U>(value) 
  }
  static empty<U extends NonOptionalValue<U>>(): Optional<U> { 
    return new EmptyOptional<U>() 
  }
}

添加约束后会自动拦截以下违规场景：

• 调用Optional.of(Optional.of('str'))时，TS直接抛出类型错误，提示入参类型不符合约束
• 显式声明Optional.empty<Optional<string>>()时，TS抛出泛型参数不合法的错误

2. 运行时兼容处理 #

类型约束仅能在编译期生效，如果你的代码库存在any类型绕过校验、或者跨端调用的场景，可以保留of方法中的instanceof校验。empty方法不需要额外处理，因为它没有入参，编译期的泛型约束已经足够拦截所有显式的嵌套声明，运行时生成的空Optional不存在嵌套值的问题。

关于是否需要禁止嵌套的说明 #

嵌套Optional<Optional<T>>确实是通用场景下的反模式，它的语义完全可以被单层Optional<T>替代，额外的嵌套只会增加无意义的判空逻辑，禁止是合理的。只有当你需要明确区分「外层无值」和「内层无值」两种独立状态的特殊场景，才需要允许嵌套使用。

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