- Java 双重比较
- java - 比较器与 Apache BeanComparator
- Objective-C 完成 block 导致额外的方法调用?
- database - RESTful URI 是否应该公开数据库主键?
在 TypeScript 中,如果将函数表达式作为参数传递,则可以完美地推断出其参数的类型:
var foo = (fn: (a: string) => void) => {};
foo(a => {
// a is inferred to be a string
alert(a.toLowerCase());
});
对于事件处理程序和其他回调来说真的很方便。但是,如果函数表达式被包装在通用包装函数的调用中,该函数将函数作为参数并返回具有相同签名(返回值除外)的函数,例如_.debounce
在 Lodash 中,推理不会发生。
var debounce = <T>(fn: (a: T) => void) => {
return (a: T) => { /* ... */ };
};
foo(debounce(a => {
// a is inferred to be {}
// type error: 'toLowerCase' doesn't exist on '{}'
alert(a.toLowerCase());
}));
作为foo
希望它的参数是 (a: string) => void
,编译器可以尝试为 T
找到这样的类型那debounce<T>
会返回 (a: string) => void
.但它不会尝试这样做。
我错过了什么吗?我应该为 debounce
写类型注释吗?不知何故?是设计使然吗? GitHub 上有关于这个案例的问题吗?
2017 年更新:现在可以使用了! TS 2.5。
最佳答案
首先,当您调用不带类型参数的泛型函数时,编译器必须确定每个类型参数的类型。
因此,当您调用debounce
时,编译器必须找到T
类型的候选项。但是 debounce
唯一可以从中得出推论的地方是您的函数,而您没有为您的类型参数提供明确的类型。
因此编译器认为它没有任何类型可供使用,并回退到 {}
(“空类型”,通常简称为“curly curly”) T
.
整个过程称为类型参数推断。
然后编译器会注意到您没有为箭头函数的参数指定类型。它不是默认为 any
,而是认为它可以从 debounce
的参数类型中找出来。此过程称为上下文打字。
嗯,fn
的类型基本上是 (a: {}) => void
,所以编译器认为“好吧,很好,我们可以给 a
一种类型!”不幸的是,它最终成为……{}
。
因此,虽然这不是绝对的好,但修复并不是那么糟糕。只需为 a
添加类型注释:
foo(debounce((a: string) => {
// Everything is fine!
alert(a.toLowerCase());
}));
或者使用类型参数:
foo(debounce<string>(a => {
// Everything is fine!
alert(a.toLowerCase());
}));
关于typescript - 传递给通用函数包装器(如 _.debounce)的函数的类型推断,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/35613446/
正在尝试创建一个 python 包。似乎有效,但我收到警告。我的 setup.py 是: #! /usr/bin/env python from distutils.core import setup
我导入了一个数据类型 X ,定义为 data X a = X a 在本地,我定义了一个通用量化的数据类型,Y type Y = forall a. X a 现在我需要定义两个函数, toY 和 fro
我似乎无法让编译器让我包装 Tokio AsyncRead: use std::io::Result; use core::pin::Pin; use core::task::{Context, Po
我有两个函数“a”和“b”。当用户上传文件时,“b”被调用。 “b”重命名文件并返回新文件名。之后应该编辑该文件。像这样: def a(): edits file def b(): r
我使用 Entity Framework 作为我的 ORM,我的每个类都实现了一个接口(interface),该接口(interface)基本上表示表结构(每个字段一个只读属性)。这些接口(inter
有没有办法打开一个程序,通常会打开一个新的jframe,进入一个现有的jframe? 这里是解释,我下载了一个java游戏,其中一个是反射游戏,它在一个jframe中打开,框架内有一堆子面板,我想要做
我想要下面的布局 | AA BBBBBBB | 除非没有足够的空间,在这种情况下 | AA | | BBBBBBB | 在这种情况下,A 是复选框,B 是复选框旁边的 Text
我正在尝试以不同的方式包装我的网站,以便将背景分为 2 部分。灰色部分是主要背景,还有白色部分,它较小并包装主要内容。 基本上我想要this看起来像this . 我不太确定如何添加图像来创建阴影效果,
我正在使用 : 读取整数文件 int len = (int)(new File(file).length()); FileInputStream fis = new FileInputStream(f
我使用 maven 和 OpenJDK 1.8 打包了一个 JavaFX 应用程序我的 pom.xml 中的相关部分: maven-assembly-plugin
我正在使用两个不同的 ItemsControl 来生成一个按钮列表。
我有一个情况,有一个变量会很方便,to , 可以是 TimerOutput或 nothing .我有兴趣提供一个采用与 @timeit 相同参数的宏来自 TimerOutputs(例如 @timeit
我正在尝试包装一个名为 content 的 div与另一个具有不同背景的 div。 但是,当将“margin-top”与 content 一起使用时div,似乎包装 DIV 获得了边距顶部而不是 co
文档不清楚,它似乎允许包装 dll 和 csproj 以在 Asp.Net Core 5 应用程序中使用。它是否允许您在 .Net Core 5 网站中使用针对 .Net Framework 4.6
我被要求开发一个层,该层将充当通用总线,而不直接引用 NServiceBus。到目前为止,由于支持不引人注目的消息,这并不太难。除了现在,我被要求为 IHandleMessages 提供我们自己的定义
我正在尝试包装 getServersideProps使用身份验证处理程序函数,但不断收到此错误:TypeError: getServerSideProps is not a function我的包装看
我有一个项目,它在特定位置(不是/src/resources)包含资源(模板文件)。我希望在运行 package-bin 时将这些资源打包。 我看到了 package-options 和 packag
我正在寻找打印从一系列对象中绘制的 div。我可以通过使用下面的管道语法来实现这一点。 each i, key in faq if (key == 0) |
我在 Meteor.js“main.js - Server”中有这个方法。 Meteor.methods({ messageSent: function (message) { var a
我注意到,如果我的自定义Polymer 1.x元素的宽度比纸张输入元素上的验证错误消息的宽度窄,那么错误将超出自定义元素的右边界。参见下图: 有没有一种机制可以防止溢出,例如在到达自定义元素的边界时自
我是一名优秀的程序员,十分优秀!