TypeScript：带有自定义方法的工厂 - 第三步

Question

我在一家工厂工作；我最终需要添加自定义方法，感谢this answer 和this answer，我们能够使其几乎按预期工作。

几乎是因为它只适用于没有任何必需参数的方法；如果我们尝试添加具有至少一个必需参数的方法，则会出现编译错误。

我尝试在 method 参数和 M 类型的声明中添加一个 rest 参数数组（见下文），但它仅在调用方法时有帮助。

(this: E & S, ...args: unknonwn[]) => unknown

type Base = { id: string }
type Factory<E> = new () => E;

function factory<E extends Base>(name: string): Factory<E>;
function factory<E extends Base, M extends Record<string, <S extends M>(this: E & S, ...args: unknown[]) => unknown>>(
  name: string, methods: M & Record<string, ((this: E & M, ...args: unknown[]) => void)>
): Factory<E & M>;
function factory<E extends Base, M extends Record<string, <S extends M>(this: E & S) => unknown>>(
  name: string, methods?: M
): Factory<E> {
  const ret = function (this: Base) {
    this.id = "0"
  };

  Object.defineProperty(ret, "name", { value: name });

  if (methods) for (const method in methods) Object.defineProperty(ret.prototype, method, { value: methods[method] });

  return ret as unknown as Factory<E>;
}

const T1 = factory("T1");
const t1 = new T1();
console.log(t1, t1.id);

const T2 = factory(
  "T2",
  {
    foo: function (repeat: boolean) {
      const ret = ! repeat;
      if(repeat) this.foo(ret);
      return ret;
    }
  },
);
const t2 = new T2();
console.log(t2, t2.id, t2.foo(true));

这是一个playground 进行实验。

Answer 1

请考虑这个代表您的用例的示例：

const foo = (fn: (a: unknown) => unknown) => fn

foo((arg: number) => arg) // error

错误： Type 'unknown' is not assignable to type 'number'

请看unknown docs:

任何东西都可以分配给unknown，但unknown 不能分配给任何东西，除了它自己和任何没有类型断言或基于控制流的缩小。

那么，如果Anything is assignable to unknown`` 为什么会出现错误？

看这个：

const bar = (a: unknown) => a
bar(42) // ok

这里好像出了点问题。不它不是。这是因为contravariance。在第一个示例中，参数a 处于逆变位置。这意味着继承的箭头指向相反的方向。请参阅this 答案和一些简单的示例和this 答案。

您需要做的就是将unknown 更改为any。不用担心，它不会给您的代码带来不安全性。其实你对methods没有任何具体的限制。

解决方案：

type Base = { id: string }
type Factory<E> = new () => E;

function factory<E extends Base>(name: string): Factory<E>;

function factory<E extends Base, M extends Record<string, <S extends M>(this: E & S, ...args: any[]) => any>>(
  name: string, methods: M & Record<string, ((this: E & M, ...args: any[]) => void)>
): Factory<E & M>;

function factory<E extends Base, M extends Record<string, <S extends M>(this: E & S, ...args: any[]) => any>>(
  name: string, methods?: M
): Factory<E> {
  const ret = function (this: Base) {
    this.id = "0"
  };

  Object.defineProperty(ret, "name", { value: name });

  if (methods) for (const method in methods) Object.defineProperty(ret.prototype, method, { value: methods[method] });

  return ret as unknown as Factory<E>;
}

const T1 = factory("T1");
const t1 = new T1();
console.log(t1, t1.id);

const T2 = factory(
  "T2",
  {
    foo: function (repeat: boolean) {
      const ret = !repeat;
      if (repeat) {
        this.foo(ret);
      }
      return ret;
    }
  },
);
const t2 = new T2();
console.log(t2, t2.id, t2.foo(true));

Playground