V2EX = way to explore
V2EX 是一个关于分享和探索的地方
现在注册
已注册用户请  登录
hotwords
V2EX  ›  TypeScript

Typescript Function.call 类型推断问题

  •  
  •   hotwords · 2021-06-17 13:31:24 +08:00 · 1742 次点击
    这是一个创建于 1015 天前的主题,其中的信息可能已经有所发展或是发生改变。

    下面这段代码在 Typescript 4.3.3 会报错:

    interface SomeMethod {
      (message: string, ...meta: any[]): void; // #1
      (data: object): void; // #2
    }
    
    declare const foo: SomeMethod;
    
    function bar() {
      const message = 'message';
      const data = { key: 'value' };
      const meta = [data, data];
    
      // (message: string, ...meta: any[]): void
      foo(message, ...meta);
      foo.call(null, message, data); // TS2554: expected 2 arguments but got 3
      foo(message, ...meta);
      foo.call(null, message, ...meta); // TS2556: A spread argument must either have a tuple type or be passed to a rest parameter.
    
      // (data: object): void
      foo(data);
      foo.call(null, data); // #3
    }
    

    如果交换 #1#2 两行,就会变成 #3 报错:TS2345: Argument of type '{ key: string; }' is not assignable to parameter of type 'string'.

    似乎 Typescript 在推断 Function.call 的参数类型时只考虑了最后一个重载?

    2 条回复    2021-06-18 08:59:21 +08:00
    gyang1111
        1
    gyang1111  
       2021-06-17 16:27:37 +08:00   ❤️ 1
    看着确实不能自动推断,call 类型提示是 call<T, A extends any[], R>(this: (this: T, ...args: A) => R, thisArg: T, ...args: A): R;
    需要在调用 call 的时候显式指明用的哪个重载,也就是<T, A extends any[], R> 这个部分,分别对应 this 的 type,参数的 type,和返回值的 type
    写成这样就不会报错了
    foo.call<null, [string, ...any], void>(null, message, data);
    foo.call<null, [string, ...any], void>(null, message, ...meta);
    hotwords
        2
    hotwords  
    OP
       2021-06-18 08:59:21 +08:00
    @gyang1111 解决了,谢谢大佬!
    关于   ·   帮助文档   ·   博客   ·   API   ·   FAQ   ·   我们的愿景   ·   实用小工具   ·   1194 人在线   最高记录 6543   ·     Select Language
    创意工作者们的社区
    World is powered by solitude
    VERSION: 3.9.8.5 · 25ms · UTC 23:17 · PVG 07:17 · LAX 16:17 · JFK 19:17
    Developed with CodeLauncher
    ♥ Do have faith in what you're doing.