- 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/
当使用模板模板参数时,我如何推断或删除模板模板的模板类型? 考虑以下 SSCCE: #include #include #include using namespace std; templat
假设我有一些特质: trait A[T] { def foo: T } 一个扩展它的类: class B[T](t: T) extends A[T] { def foo = t } 以及父特征的子特征
一边玩-rectypes在某些时候选择 OCaml 我只是迷路了。 这个表达式几乎可以打字: # fun x -> x x;; - : ('a -> 'b as 'a) -> 'b = 但是这里 O
我正在编写一个类似 CRUD 的应用程序,并且通过主键进行大量查找(主键可以有不同的类型)。所以我定义了以下类型类: {-# LANGUAGE MultiParamTypeClasses #-} cl
我已经创建了关系 A 'is functional parent of' B并定义 'has functional parent'作为 'is functional parent of' 的倒数. '
给定一个使用 Kotlin 版本 1.3.61 和 JOOQ 版本 3.13.1 的系统,这样的方法会构建 union正常查询: val selectCommonPart = coalesce
考虑以下错误代码: fun x = if (null x) then 0 else (take 50 x) : (fun (drop 50 x)) 我注意到,我可以毫无问题地将它加载到
给定一个具有以下类型的函数 a: a::x -> Bool 和以下类型的另一个函数 b: b::Bool -> y 我正在尝试找出推断以下函数类型的步骤: c =\d -> d a b 有人可以帮助解
我正在尝试使用 Infer 工具来分析我的应用代码。我关注了these steps每次我尝试运行 infer -- gradle build 时,我都会收到以下错误: infer -- gradle
所以我制作了这个模板来定义内联仿函数: template struct AsFunctor { template std::invoke_result_t operator()(A
是否可以推断 CRTP 基类中模板化成员函数的返回类型? 虽然推断参数类型效果很好,但它因返回类型而失败。考虑以下示例。 #include template struct base { tem
使用 Series.interpolate 很容易在 Pandas.DataFrame 中插入值,如何进行外推? 例如,给定一个如图所示的 DataFrame,我们如何将它外推 14 个月到 2014
我想知道为什么这不起作用(缺少参数类型)? Seq(1,2,3).toSet.map(_ + 1) 但这确实: val foo = Seq(1,2,3).toSet foo.map(_ + 1)
我没有必要使用 SQLite3 shell 工具来维护一个小型数据库。我正在使用 -header -ascii标志,尽管据我所知,这适用于任何输出选择。我正在寻找一种方法来避免对返回的任何一个值的类型
我有以下组件 type PropTypes = { items: T[], header: (item: T) => React.Element, body: (item: T) => R
我想在 Eclipse/JSDT 中指定实例变量的类型,如下例所示: /** * @constructor */ function A() { /** @type Node */
我正在用 Python 编写一个方法,它看起来像这样: def rgb_to_grayscale(image): print(image.shape) pass 此处预期的类型是 nu
我有一个 my_values 数组,我正在尝试为其推断 true_values 数组中最接近、较小的值。使用下面的 find_nearest 函数并不能完成我想要的。我如何追加它以找到最近的、较小的值
在下面的代码中: template int b(int q, const std::array& types) { int r = q; for (int t : types)
在 Pandas DataFrame 中插入 NaN 单元非常容易: In [98]: df Out[98]: neg neu pos av
我是一名优秀的程序员,十分优秀!