如何在TypeScript中为泛型联合类型（如Maybe<T>）添加方法？

首先明确结论：无法通过类型别名直接给联合类型Maybe<T> = T | Error添加实例方法——因为类型别名只是TypeScript编译时的类型标注，不会改变运行时对象的结构，而联合类型的成员（比如原始类型string/number和Error对象）没有统一的原型链可以扩展自定义方法。

要实现你需要的bind逻辑，有两种可行方案：

方案1：用类封装Maybe类型（推荐，支持实例方法） #

通过类来封装T | Error的状态，这样就能自然地添加bind实例方法：

class Maybe<T> {
  private constructor(private value: T | Error) {}

  // 创建Maybe实例的工厂方法
  static of<T>(value: T | Error): Maybe<T> {
    return new Maybe(value);
  }

  bind<U>(fn: (val: T) => U | Error): Maybe<U> {
    // 如果当前是错误状态，直接返回自身
    if (this.value instanceof Error) {
      return this as unknown as Maybe<U>;
    }
    // 否则执行传入函数，返回新的Maybe实例
    const result = fn(this.value);
    return Maybe.of(result);
  }

  // 可选：获取原始值的方法
  unwrap(): T | Error {
    return this.value;
  }
}

// 使用示例
const okNum = Maybe.of(10);
const multiplied = okNum.bind(n => n * 3);
console.log(multiplied.unwrap()); // 30

const errCase = Maybe.of(new Error("something wrong"));
const unchangedErr = errCase.bind(n => n * 3);
console.log(unchangedErr.unwrap()); // Error: something wrong

这个方案的优势是符合面向对象的链式调用风格，类型推导也更清晰，能严格保证bind方法的调用上下文是合法的Maybe实例。

方案2：用工具函数模拟bind逻辑（无需类） #

如果不想引入类，可以保留Maybe<T>类型别名，然后写一个独立的工具函数来实现bind逻辑：

type Maybe<T> = T | Error;

function bind<T, U>(maybe: Maybe<T>, fn: (val: T) => Maybe<U>): Maybe<U> {
  if (maybe instanceof Error) {
    return maybe;
  }
  return fn(maybe);
}

// 使用示例
const okStr: Maybe<string> = "hello";
const upperCased = bind(okStr, s => s.toUpperCase());
console.log(upperCased); // "HELLO"

const errVal: Maybe<string> = new Error("oops");
const stillErr = bind(errVal, s => s.toUpperCase());
console.log(stillErr); // Error: oops

这种方式更函数式，不需要额外的类封装，但没法实现链式调用（每次调用都要手动传入maybe值）。

总结 #

• 如果需要实例方法+链式调用的形式，必须通过类来实现；
• 如果可以接受工具函数的调用方式，用类型别名配合工具函数也能满足需求。

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