首页
学习
活动
专区
圈层
工具
发布
首页
学习
活动
专区
圈层
工具
MCP广场
社区首页 >问答首页 >如何检查调用签名之间的类型兼容性?

如何检查调用签名之间的类型兼容性?
EN

Stack Overflow用户
提问于 2022-05-25 06:20:17
回答 3查看 47关注 0票数 4

考虑以下片段:

代码语言:javascript
运行
复制
type Add = (a: number | string, b: number | string) => number | string;

function hof(cb: Add) {}

const addNum = (a: number, b: number): number => a + b;
const addStr = (a: string, b: string): string => a + b;

// @ts-expect-error
hof(addNum);
// @ts-expect-error
hof(addStr);

为什么我们不能将addNumaddStr函数传递给hof,海事组织他们的呼叫签名应该与hof所期望的兼容,但实际上并非如此。

如果它们的类型是不兼容的,那么为什么下面的代码片段中的重载签名没有抱怨呢?

代码语言:javascript
运行
复制
function add(a: number, b: number): number;
function add(a: string, b: string): string;
function add(a: number | string, b: number | string): number | string {
  return 1;
}
EN

回答 3

Stack Overflow用户

发布于 2022-05-25 06:43:15

您假设是协变类型,但函数参数是相反的。(有关这方面的一些内容,请参见这篇文章。)

将您的示例稍微更改一下,您就会发现问题所在:

代码语言:javascript
运行
复制
type Add = (a: number | string, b: number | string) => number | string;

function hof(cb: Add) {
  return cb
}

const addNum = (a: number, b: number): number => Math.round(a) + Math.round(b);
const addStr = (a: string, b: string): string => `${a.toLowerCase()}${b.toLowerCase}`;

hof(addNum)('a', 'b'); // should error because addNum can't take strings
hof(addStr)(123, 456); // should error because addStr can't take numbers

这里,hof返回传递它的回调函数。因此,如果您传递它addNum,那么字符串就会崩溃。如果你把它传给addStr,那么数字就会崩溃。

因此,若要将函数分配给函数类型,则必须接受所有参数类型的超集,而不是子集。

游乐场

但是,如果将hof设置为泛型,则可以根据参数创建函数类型。例如:

代码语言:javascript
运行
复制
type Add<T extends number | string> = (a: T, b: T) => T;

function hof<T extends number | string>(cb: Add<T>): Add<T> {
  return cb
}

const addNum = (a: number, b: number): number => Math.round(a) + Math.round(b);
const addStr = (a: string, b: string): string => `${a.toLowerCase()}${b.toLowerCase}`;

hof(addNum)(123, 456); // fine
hof(addStr)('a', 'B'); // fine

hof(addNum)('a', 'b'); // should error because addNum can't take strings
hof(addStr)(123, 456); // should error because addStr can't take numbers

游乐场

票数 6
EN

Stack Overflow用户

发布于 2022-05-25 08:48:33

要了解这里发生了什么,我们需要了解hof函数允许使用传递给它的cb的方式。

什么论据可以通过?

让我们考虑一个简单的例子,只包含一个参数。

代码语言:javascript
运行
复制
function hof(cb: (a: number | string) => number | string) {}

因此,hof表示它需要一个回调函数cb,它接受一个可以是数字或字符串的参数,并返回一个字符串或一个数字。

现在,考虑一下TS在hof上可以传递给cb的限制。因此,hof可以使用numberstring调用cb,这是可以的,因为hof已经声明它接收到的cb应该能够同时处理数字和字符串。

但是,如果将以下double函数传递给hof,TS会发出抱怨:

代码语言:javascript
运行
复制
function double(a: number): number {
  return 2 * a
}

这是有意义的,因为hof可以用string调用这个double函数,这可能会破坏double函数,因为它只接受数字。

还请注意抛出错误的位置,它是在用double调用double的地方抛出的,这表明hof的调用方式有问题,而不是如何实现它。

代码语言:javascript
运行
复制
function hof(cb: (a: number | string) => number | string) {}

function double(a: number): number {
  return 2 * a
}

// @ts-expect-error
hof(double)

因此,传递给hof hof 的回调应该能够处理允许hof传递给回调的一组参数。

如何使用返回类型?

现在,让我们看看hof如何使用cb返回的值。

因为cb可以返回一个number或一个string,所以hof有责任明智地使用返回值,这意味着hof不应该假设返回的值总是数字或字符串,hof需要在做出任何这样的假设之前设置适当的类型保护。

代码语言:javascript
运行
复制
function hof(cb: (a: number | string) => number | string) {
  // @ts-expect-error
  const fixed = cb(100).toFixed() // wrong assumption that the returned value is always a number
}

function hof(cb: (a: number | string) => number | string) {
  const ret = cb(100)
  if (typeof ret === "number") { // appropriate check to make sure that it's a number
    const fixed = ret.toFixed();
  }
}

再次注意抛出错误的位置,它是在函数体中抛出的,这表明函数的实现存在问题。

传递给hof的回调也可以返回一个number,TS对此绝对没有问题。

代码语言:javascript
运行
复制
function hof(cb: (a: number | string) => number | string) {}

function double(a: number | string): number {
  return 2 * Number(a)
}

hof(double)

因此,传递给hof hof 的回调应该只返回 only 返回hof期望回调返回的一个子集。

过载签名

重载签名的行为是不同的,重载的目的是限制函数的行为。

因此,重载签名的参数和返回值应该始终是实现签名的参数和返回值的子集。

票数 1
EN

Stack Overflow用户

发布于 2022-05-25 06:42:51

TL;DR: hof需要回调来覆盖比这两个函数单独处理的更多的情况。

在这个案子里你搞错了。

hof指定将用两个参数调用其回调,其中一个参数可以是字符串,也可以是数字。这意味着一个只能处理两个数字参数的函数是不够的(因为它也可能被传递一个字符串)。

所以,另一种方法会起作用:

代码语言:javascript
运行
复制
function hof(cb: (a: number, b: number) => number) {}

function add(a: number | string, b: number | string): number | string {
  return 1;
}

hof(add);

因为在这种情况下,add保证能够处理传递给它的两个数字(至少基于它的签名)。

那么为什么重载签名会起作用呢?因为上下文是完全不同的。作为函数的重载,它们是完全正确的,因为它们是更一般函数的更具体的签名。但这是函数参数的错误方向,您需要传递一个参数与函数或较小的所要求的参数相同的函数。您传递了一个具有更具体参数的函数。

票数 0
EN
页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接:

https://stackoverflow.com/questions/72372766

复制
相关文章

相似问题

领券
问题归档专栏文章快讯文章归档关键词归档开发者手册归档开发者手册 Section 归档