为何泛型接口含方法签名时无法用unknown作为泛型参数？

我尝试定义一个参数为泛型类型的方法，因为无需使用该泛型，就用unknown作为泛型类型：function f(op: Operation<unknown>): void {...}。但这种方式并非在所有场景都可行——当Operation接口的泛型用于方法签名时，代码无法编译。

若将泛型Context作为接口成员而非方法参数，代码则可正常编译。

无法编译的示例代码 #

export interface Operation<Context> {
    process: (context: Context) => void;
    // context: Context;
    n: number;
}

type MyContext = {
  info: string;
}

const op: Operation<MyContext> = {
  process: (context: MyContext) => { console.log("process", context.info); },
  // context: { info: "context.info" },
  n: 42
}

function fGeneric<Context>(op: Operation<Context>): void {
     console.log("fGeneric", op.n);
}

console.log(fGeneric(op));

function fUnknown(op: Operation<unknown>): void {
     console.log("fUnknown", op.n);
}

console.log(fUnknown(op)); 
// 报错：Argument of type 'Operation<MyContext>' is not assignable to parameter of type 'Operation<unknown>'.
//  Type 'unknown' is not assignable to type 'MyContext'.

注释掉process方法并取消context成员的注释后，代码可正常编译。

原因解释 #

这本质是TypeScript中泛型接口的协变与逆变规则导致的：

• 当泛型用于只读属性（比如context: Context）时，类型是协变的：Operation<MyContext>可以赋值给Operation<unknown>，因为MyContext是unknown的子类型，协变允许子类型向父类型赋值。
• 当泛型用于方法参数时，函数类型的参数遵循逆变规则：(context: unknown) => void可以赋值给(context: MyContext) => void（因为unknown是所有类型的父类型，逆变允许父类型向子类型赋值），但反过来不行。你的op.process只能接受MyContext类型的输入，而Operation<unknown>要求process能接受任意unknown类型的输入，两者不兼容，因此编译报错。

简单来说：unknown作为函数参数类型时，要求函数能处理任意类型的输入，但你的process方法只能处理MyContext，不符合要求，所以类型不匹配。

解决方案 #

如果确实不需要用到泛型，可以选择以下方式：

• 保持无约束泛型方法：function fGeneric<Context>(op: Operation<Context>): void {...}，这种写法对所有Operation<Context>实例都兼容。
• 用any代替unknown（不推荐，会失去类型检查）：function fAny(op: Operation<any>): void {...}，any在逆变/协变中是双向兼容的。
• 定义仅包含所需成员的非泛型接口，比如type OperationWithoutContext = Pick<Operation<any>, 'n'>，但灵活性较低。

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