TypeScript类方法绑定函数的泛型约束为何仍允许any类型传入？

• any类型的条件判断陷阱
  TypeScript 对any的条件判断存在特殊规则：任意类型值与any做extends比较时，会同时返回true和false分支的联合结果。这意味着当类属性被声明为any时，原有“判断属性是否为函数”的过滤逻辑会直接放行，无法将其识别为非方法属性。
• 类型指向错位
  原实现中泛型T代表传入的类构造函数，但实例方法的真实this上下文是构造函数生成的实例类型（即InstanceType<T>），并非构造函数本身。原代码错把构造函数当成方法的this上下文，甚至通过keyof T提取静态成员做方法过滤，和实际使用的原型实例方法完全不在同一个类型维度。
• 泛型约束失效
  原实现中泛型M仅将“过滤后的方法联合类型”设为默认值，未做强制约束。默认值仅在泛型参数未被显式推断时生效，无法拦截不符合要求的传入参数，相当于约束逻辑形同虚设。

补充两个必要的类型工具，绕开原有漏洞：

1. 严格判定某个类型是否为any的工具，不受条件判断特殊规则影响
2. 严格过滤实例类型上的合法方法，剔除any属性、普通值属性

// 严格判定类型是否为any
type IsAny<T> = 0 extends (1 & T) ? true : false;

// 提取实例类型上的所有合法方法，排除非方法、any类型属性
type Methods<T> = {
  [K in keyof T as 
    T[K] extends (...args:any[]) => any
      ? IsAny<T[K]> extends true
        ? never
        : K
      : never
  ]: T[K]
}

调整methodOfClass的泛型定义，补全强约束，修正类型指向：

class A {
    public b(){}
    public c:number = 0;
    public d:any;
};

function methodOfClass<
  // 约束传入的ctor是合法的类构造函数
  T extends new (...args: any[]) => any,
  // 自动推导构造函数对应的实例类型
  I = InstanceType<T>,
  // 强制约束M必须是实例上的合法方法联合类型，不再使用默认值
  M extends Methods<I>[keyof Methods<I>]
>(
  ctor: T,
  method: M & ThisType<I>,
  args?: Parameters<M>
): ReturnType<M> {
  // 绑定原型作为方法的this上下文，对齐实际运行逻辑
  return method.call(ctor.prototype, args ?? []) as ReturnType<M>;
}

// 校验效果
const m0 = methodOfClass(A, A.prototype.b); // 正常通过
const m1 = methodOfClass(A, A.prototype.c); // 类型拦截，提示非方法属性
const m2 = methodOfClass(A, A.prototype.d); // 类型拦截，排除any类型属性，符合预期

补充修正：原代码中method.call(ctor, args ?? [])存在运行时逻辑错误：类的实例方法挂载在构造函数的prototype属性上，并非直接挂在类本身，绑定this为类构造函数会导致方法内部的this指向错误。

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