类泛型类型的打字稿方法允许任何

Question

几乎有一个小例外，我的约束似乎仍然允许任何例外。 谁能告诉我我在这里缺少什么。

用例：

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

当前实现：

    function methodOfClass<
        T extends { new (...args: any[]): any; } & Function, 
        M extends (this:T, ...args:any[]) => any = { 
            [K in keyof T]: T[K] extends (this:T, ...args:any[]) => any 
                ? T[K] 
                : never
        }[keyof T]
    >(ctor:T, method:M, args?:Parameters<M>) : ReturnType<M> {
        return method.call(ctor, args ?? []);
    }
    
    const m0 = methodOfClass(A, A.prototype.b); // correct
    const m1 = methodOfClass(A, A.prototype.c); // correct 
    const m2 = methodOfClass(A, A.prototype.d); // incorrect :-(

受此线程的启发，我还管理了以下内容，但找不到合适的使用方法？ How to create a type excluding instance methods from a class in typescript?

    type Methods<T> = Omit<T, { 
        [K in keyof T]: T[K] extends (this:T, ...args:any[]) => any 
            ? never 
            : K 
    }[keyof T]>;
    
    type M = Methods<A>; // correct

Answer 1

any 可以是 Function

any 可以是任何东西，包括Function。您的methodOfClass 函数无法知道您打算 d 成为一个属性。 d 是一个函数就很好了。

const a = new A();
a.d = () => "hello world"; // no error because `() => string` is assignable to `any`

换句话说，您看到的m2 的结果是预期的行为，它不是“不正确的”。 any 表示d 可以 是一个函数，并且可以使用任何参数调用它。所以这也很好：

const m3 = methodOfClass(A, A.prototype.d, ["something", 999]);

显然这样做有很大的运行时错误的可能性。

这里唯一的解决方案是不要在类属性上使用any！

不要让args 成为可选项

与any 的问题无关，我强烈建议您更改调用方法的方式以避免运行时错误。如果函数需要参数但您只使用默认的[]，那么您将遇到问题。

(ctor: T, method: M, ...args: Parameters<M>): ReturnType<M> {
    return method.call(ctor, ...args);
}

使用... 允许您在不需要参数时不传递任何内容，但要求您传递所有必需的参数（作为单独的参数传递给methodOfClass，而不是作为数组）。

class E {
    public e(n: number): number {
        return n + 1;
    }
};

const m0 = methodOfClass(A, A.prototype.b); // this is still the same
console.log(m0); // undefined

const m3 = methodOfClass(E, E.prototype.e, 6); // but here we need a `number`
console.log(m3); // 7

const m4 = methodOfClass(E, E.prototype.e); // error because args missing

Typescript Playground Link