- Java 双重比较
- java - 比较器与 Apache BeanComparator
- Objective-C 完成 block 导致额外的方法调用?
- database - RESTful URI 是否应该公开数据库主键?
我正在尝试输入一个函数,该函数接受一个参数,将一系列项目减少为一个累加值。这是我所拥有的简化:
// A stub type for the items
interface Item { t: 'item'; }
function paginate<A>(reduce: (acc: A, item: Item, index: number) => A): Promise<A> {
// ... stub for actual implementation ...
return true as unknown as Promise<A>;
}
如果我调用这个函数,我不会得到我想要的推理类型。我希望当 reduce
的返回类型已知时,第一个参数 (acc
) 也应该被推断为该类型。
// expected: Promise<number>, inferred: Promise<{}>
const result = paginate((acc, item, index) => {
acc; // expected: number, inferred: {}
item; // expected: Item, inferred: Item
index; // expected number, inferred: number
return 5;
});
我尝试使用带推理的条件类型来解决这个问题,但我尝试过的所有变体都失败了,因为它们没有将 acc
的通用类型参数限制为任何特定的或失败因为推理是递归的。我不太确定。
type Reducer<A> = (acc: A, item: Item, index: number) => A;
type Accumulator<Reduce> = Reduce extends (acc: infer A, item: Item, index: number) => infer A ? A : never;
// Probably too loose (using an any)
function paginateA<R extends Reducer<any>>(reduce: R): Promise<Accumulator<R>> {
// ...
return true as unknown as Promise<Accumulator<R>>;
}
// expected: Promise<number>, inferred: Promise<number>
const resultA = paginateA((acc, item, index) => {
acc; // expected: number, inferred: any
item; // expected: Item, inferred: Item
index; // expected number, inferred: number
return 5;
});
// Probably too recursive (tried to circuit-break with only inferring the return type first)
function paginateB<R extends Reducer<ReturnType<R>>>(reduce: R): Promise<Accumulator<R>> {
// ...
return true as unknown as Promise<Accumulator<R>>;
}
// expected: Promise<number>, inferred: Promise<any>
const resultB = paginateB((acc, item, index) => {
acc; // expected: number, inferred: any
item; // expected: Item, inferred: Item
index; // expected number, inferred: number
return 5;
});
是否有任何技术可以“断路”递归条件类型推断?我看到 Anders mention that some class of recursive inference is okay (即使快速信息将类型显示为 any
),但我无法理解发生这种情况的条件。
我还缺少其他一些技术吗? paginateA()
似乎效果最好,因为至少它得到了正确的 resultA
类型。这有什么原因吗?
最佳答案
正如我所说,我认为 A
的特殊推论来自 Reducer<A>
您尝试实现的可能会在 TypeScript 3.4 及更高版本中自动发生,但尚未发布。对于 TypeScript 3.3 及以下版本:
我见过的特殊技术用在你想说的这种情况下
declare function f<T extends Something<T>>(x: T): void; // circularity error or other issue
是离开通用T
不受约束,并通过交集对函数参数施加约束:
declare function f<T>(x: T & Something<T>): void; // works now
我找不到这方面的规范文档,但我认为它的工作方式是当您调用 f(x)
时,编译器会尝试推断 T
来自 x
类型 T & Something<T>
.自 x
是 T & Something<T>
, 它必须是 T
,从十字路口的工作方式。所以 x
的类型参数用作 T
.然后它将检查与 Something<T>
的交叉点如果这不起作用,则会出现编译器错误。
让我们在您的情况下尝试一下,但在我们这样做之前,有一个很大的警告:您可能无法让编译器同时推断出 paginate()
。的 R
从您传入的值类型参数 reduce
、和 推断您传入的值的参数类型为 reduce
来自 R
的类型在对 paginate()
的调用中推断.也就是说,R
将被推断为Reducer<number>
但你必须注释 (acc:number, item:Item, index:number)
...或您将必须指定 R
作为Reducer<number>
并且编译器将推断 acc, item, index
的类型.你想要两种方式,但我认为编译器不够聪明。或者至少我不能让它发生。所以我现在假设您正在尝试推断 R
来自完整注释的 reduce
回调:
interface Item {
t: "item";
}
type Reducer<A> = (acc: A, item: Item, index: number) => A;
type Accumulator<Reduce> = Reduce extends Reducer<infer A> ? A : never;
declare function paginateC<R extends Reducer<any>>(
reduce: R & Reducer<ReturnType<R>> // intersection here
): Promise<Accumulator<R>>;
// Promise<number> as desired
const resultC = paginateC((acc: number, item: Item, index: number) => 5);
// error, string is not number:
paginateC((x: number, y: Item, z: number)=>"string");
// okay, since string is a subtype of unknown
paginateC((x: unknown, y: Item, z: number)=>"string")
// also works with any
paginateC((x: any, y: Item, z: number)=>"string")
这样就好了。
回到推断的问题acc, item, index
...您始终可以指定 R
像这样:
// acc, item, index inferred from specified R
paginateC<Reducer<number>>((acc, item, index) => 5);
但你不想那样做。
事实上,我不希望编译器缩小 acc
参数降低到您想要的 A
因为函数参数总是可以安全地加宽(contravariance of function parameters)。编译器可能会留下 acc
像{}
这样的东西, unknown
, 或 any
除非你注释它或指定 R
如上所述手动。
我有点惊讶它没有变窄item
和 index
下降到 Item
和 number
分别而不是将它们保留为 any
.但可能没什么可做的,因为它是一个 known limitation类型推断它不会在多次传递中发生。好吧。
好的,希望对你有帮助。祝你好运!
关于javascript - TypeScript:有什么技术可以中断递归条件类型推断吗?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/55156671/
我正在努力处理查询的 WHERE 部分。查询本身包含一个基于两个表中都存在的 ID 的 LEFT JOIN。但是,我要求 where 语句仅返回其中一列中存在的最大单个结果。目前我返回连接中的所有值,
我有这个代码来改变文件系统的大小。问题是,即使满足 if 条件,它也不会进入 if 条件,而我根本没有检查 if 条件。它直接进入 else 条件。 运行代码后的结果 post-install-ray
假设我有一个包含 2 列的 Excel 表格:单元格 A1 到 A10 中的日期和 B1 到 B10 中的值。 我想对五月日期的所有值求和。我有3种可能性: {=SUM((MONTH(A1:A10)=
伪代码: SELECT * FROM 'table' WHERE ('date' row.date 或 ,我们在Stack Overflow上找到一个类似的问题: https://stackove
我有下面这行代码做一个简单的查询 if ($this->fulfilled) $criteria->addCondition('fulfilled ' . (($this->fulfilled
如果在数据库中找到用户输入的键,我将尝试显示“表”中的数据。目前我已将其设置为让数据库检查 key 是否存在,如下所示: //Select all from table if a key entry
关闭。此题需要details or clarity 。目前不接受答案。 想要改进这个问题吗?通过 editing this post 添加详细信息并澄清问题. 已关闭 5 年前。 Improve th
在MYSQL中可以吗 一共有三个表 任务(task_id、task_status、...) tasks_assigned_to(ta_id、task_id、user_id) task_suggeste
我想先根据用户的状态然后根据用户名来排序我的 sql 请求。该状态由 user_type 列设置: 1=活跃,2=不活跃,3=创始人。 我会使用此请求来执行此操作,但它不起作用,因为我想在“活跃”成员
下面两个函数中最专业的代码风格是什么? 如果函数变得更复杂和更大,例如有 20 个检查怎么办? 注意:每次检查后我都需要做一些事情,所以我不能将所有内容连接到一个 if 语句中,例如: if (veh
我在 C# 项目中使用 EntityFramework 6.1.3 和 SQL Server。我有两个查询,基本上应该执行相同的操作。 1. Exams.GroupBy(x=>x.SubjectID)
我试图在 case when 语句中放入两个条件,但我在 postgresql 中遇到语法错误 case when condition 1 and condition 2 then X else Y
我正在构建一个连接多个表的查询,一个表 prodRecipe 将包含某些行的数据,但不是全部,但是 tmp_inv1 将包含所有行的计数信息。问题是,tmp_inv1.count 取决于某个项目是否在
我有一个涉及 couples of rows which have a less-than-2-hours time-difference 的查询(~0.08333 天): SELECT mt1.*,
我有一个包含许多这样的 OR 条件的代码(工作正常)来检查其中一个值是否为空,然后我们抛出一条错误消息(所有这些都必须填写) } elsif ( !$params{'account'}
我有一个名为 spGetOrders 的存储过程,它接受一些参数:@startdate 和 @enddate。这将查询“订单”表。表中的一列称为“ClosedDate”。如果订单尚未关闭,则此列将保留
在代码中,注释部分是我需要解决的问题...有没有办法在 LINQ 中编写这样的查询?我需要这个,因为我需要根据状态进行排序。 var result = ( from contact in d
我正在尝试创建一个允许省略参数的存储过程,但如果提供了参数,则进行 AND 操作: CREATE PROCEDURE MyProcedure @LastName Varchar(30)
我正在寻找一种方法来过滤我的主机文件中的新 IP 地址。我创建了一个脚本,每次我用来自矩阵企业管理器的数据调用它时都会更新我的主机文件。它工作正常。但是我必须找到一个解决方案,只允许更新 10.XX.
所以我正在做一种 slider ,当它完全向下时隐藏向下按钮,反之亦然,当向上按钮隐藏时,我遇到了问题。 var amount = $('slide').attr('number'); $('span
我是一名优秀的程序员,十分优秀!