- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
我的问题是基于这个 question and answer
假设我们有下一个代码:
const myFn = <T,>(p: {
a: (n: number) => T,
b: (o: T) => void,
}) => {
// ...
}
myFn({
a: () => ({ n: 0 }), // Parameter of a is ignored
b: o => { o.n }, // Works!
})
myFn({
a: i => ({ n: 0 }), // Parameter i is used
b: o => { o.n }, // Error at o: Object is of type 'unknown'.ts(2571)
})
我能够修复它。它适用于额外的通用:
const myFn = <T,>(p: {
a: (n: number) => T,
b: <U extends T /* EXTRA U generic */>(o: U) => void,
}) => {
// ...
}
我凭直觉修复了它。我无法解释为什么会出现此错误,更无法解释为什么我的解决方案有帮助:)
我相信答案在协变/协变/不变/双变定义中。
能否请您解释一下为什么会出现此错误以及为什么我的解决方案有效?
谢谢
更新
似乎此行为已在 TypeScript 4.7 中修复/更新
最佳答案
Contextual type : 类型,代码位置必须基于它分配给的周围类型。
Context-sensitive function : 带有无类型参数的函数表达式。参数类型派生自上下文类型。
type Fn = (s: string) => number
const fn : Fn = s => s.length
// `s => s.length` is context-sensitive function
// contextual type of `s` is `string`, obtained from `Fn`
编译器分两个阶段进行类型推断:
首先它会推断出所有非上下文相关的函数。
在第二阶段中,类型参数(如 T
)的推理结果随后用于推断上下文相关的函数。
如果在阶段 1 中没有推理候选对象用于阶段 2,您可能会遇到类型问题 - 在有问题的情况下,T
获得类型 unknown
。
案例一:
myFn({
a: () => ({ n: 0 }),
b: o => { o.n }
})
b
是上下文相关的,a
不是(无参数函数)。因此,在第一阶段我们可以分析a
并推断T
为{n: number}
,然后可用于类型参数o
in b
用于第 2 阶段。这里一切正常。
案例二:
myFn({
a: i => ({ n: 0 }), // Parameter i is used
b: o => { o.n }, // Error at o: Object is of type 'unknown'.ts(2571)
})
魔鬼来了。 a
和 b
都是上下文相关的,因此我们需要跳过阶段 1 - T
没有推理候选。这两个函数现在在阶段 2 中被独立分析。这是 b
中参数类型的问题,因为我们无法引用 a
不再是什么推断类型 T
了。
唯一的方法是从基本约束中推断出 unknown
- 更糟糕的是:T
的上下文类型被“固定”,因为第 2 阶段的内部 TypeScript 算法由于某些限制/优化,此时需要对 T
进行具体类型实例化。所以我们不可逆转地陷入 unknown
for T
。
案例三:
const myFn = <T,>(p: {
a: (n: number) => T,
b: <U extends T /* EXTRA U generic */>(o: U) => void,
}) => {
// ...
}
有效,因为您引入了一个完整的新类型参数 U
并进行了新的推断,独立于 T
。这是一个聪明的解决方法,但我还没有测试过这种方法是否有任何缺点。
为了通过类型推断解决讨厌的边缘情况,只需确保至少一个带有类型参数的函数是不上下文敏感的,方法是显式键入函数参数。
例如,在a
中输入n: number
即可:
myFn({
a: (n: number) => ({ n: 0 }), // n explicitly typed
b: o => { o.n }, // works again
})
关于typescript - TypeScript 如何推断回调参数类型,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/65550146/
我已经写了并且 npm 发布了这个:https://github.com/justin-calleja/pkg-dependents 现在我正在用 Typescript 编写这个包:https://g
我有一个函数,我想在 TypeScript 中模拟它以进行测试。在我的测试中,我只关心 json和 status .但是,当使用 Jest 的 jest.spyOn 时我的模拟函数的类型设置为返回 h
我正在使用一个库 (Axios),它的包中包含 Typescript 声明。 我想声明一个将 AxiosResponse(在库的 .d.ts 文件中声明)作为参数的函数。我有以下内容: functio
我是 Typescript 的新手。我想使用 将一个 Typescript 文件加载到另一个 Typescript 文件中标签。 我做了一些事情,但它不起作用!请帮助我。 first.ts: imp
为什么我会收到下面屏幕截图中显示的错误? Atom 说我的 tsconfig.json“项目文件包含无效选项”用于 allowJs、buildOnSave 和 compileOnSave。 但是应该允
所以我正在创建一个 TypeScript 库,我可以轻松地将所有生成的 JS 文件编译成一个文件。有没有办法将所有 .ts 和 .d.ts 编译成一个 .ts 文件? 除了支持 JS 的版本(较少的智
Microsoft Research 提供了一种名为Safer TypeScript 的新 TypeScript 编译器变体: http://research.microsoft.com/en-us/
我需要这个来在单个文件中分发 TypeScript 中的库。有没有办法将多个 typescript 文件合并到(一个js文件+一个 typescript 定义)文件中? 最佳答案 要创建一个库,您可以
用例:我想知道一个函数在 typescript 中执行需要多少时间。我想为此目的使用装饰器。我希望装饰器应该返回时间以便(我可以进一步使用它),而不仅仅是打印它。 例如: export functio
我想检查一个类型是否可以为 null,以及它是否具有值的条件类型。 我尝试实现 type IsNullable = T extends null ? true : false; 但是好像不行 type
我的问题是基于这个 question and answer 假设我们有下一个代码: const myFn = (p: { a: (n: number) => T, b: (o: T) => v
我知道双重否定前缀,我知道 TypeScript 的单后缀(非空断言)。 但是这个双后缀感叹号是什么? /.*验证码为(\d{6}).*/.exec(email.body!!)!![1] 取自here
我正在使用以下文件结构在 Webstorm 中开发一个项目 | src | ... | many files | types | SomeInterface |
在 TypeScript 类中,可以为属性声明类型,例如: class className { property: string; }; 如何在对象字面量中声明属性的类型? 我试过下面的代码,但它
我正在寻找一种在不丢失推断类型信息的情况下将 TypeScript 中的文字值限制为特定类型的好方法。 让我们考虑一个类型Named,它保证有一个名字。 type Named = { name:
在 TypeScript 中,我想创建一个联合类型来表示属于一个或多个不同类型的值,类似于 oneOf在 OpenAPI或 JSON Schema .根据a previous answer on a
type Func = (foo:string) => void // function expression const myFunctionExpression:Func = function(f
假设我有一个联合类型,我正在使用类似 reducer 的 API 调用模式,看起来像这样: type Action = { request: { action: "create
我在 typescript 中有以下去抖功能: export function debounce( callback: (...args: any[]) => void, wait: numb
在 Vue3 的 defineComponent 函数中,第一个泛型参数是 Props,所以我在这里使用 Typescript 接口(interface)提供我的 props 类型。喜欢: expor
我是一名优秀的程序员,十分优秀!