predicate 相关问题

我想我已经找到了定义谓词的最佳方法：声明函数 isNumber(x: T): x 是 Extract; 声明函数 isFunction(x: T): x 是 Extract 我认为我已经找到了定义谓词的最佳方法： declare function isNumber<T>(x: T): x is Extract<T, number>; declare function isFunction<T>(x: T): x is Extract<T, Function>; ... and so on 这种方法在用于过滤数组时会产生很好的缩小类型，例如： type Handler = () => void; declare const a: (number|string)[]; declare const b: string[]; declare const c: (Handler|null)[]; const a1 = a.filter(isNumber); // number[] 👍 const b1 = b.filter(isNumber); // never[] 👍 const c1 = c.filter(isFunction); // Handler[] 👍 不幸的是，unknown和any会导致令人惊讶的行为： declare const d: any[]; declare const e: unknown[]; const d1 = d.filter(isNumber); // any[] 😩 want number[] const e1 = e.filter(isNumber); // never[] 😩 want number[] 所以这毕竟不是最好的方法！然而，即使是 Typescript 手册中定义谓词的方法在用于过滤时也会表现得“奇怪”： declare function isNumber2(x: any): x is number; declare function isFunction2(x: any): x is Function; const a2 = a.filter(isNumber2); // number[] 👍 const b2 = b.filter(isNumber2); // string[] 🤯 want never[] const c2 = c.filter(isFunction2); // (Handler|null)[] 🤯 want Handler[] const d2 = d.filter(isNumber2); // number[] 👍 const e2 = e.filter(isNumber2); // number[] 👍 游乐场我花了很长时间尝试各种方法，例如重载、通用参数约束等，以使其适用于所有上述情况，但一无所获。有没有一种方法可以定义谓词，在过滤时可以很好地缩小数组范围？（抱歉，我知道“很好”是主观的。通常它是最狭窄的预期类型。）或者我只需要选择一种可以容忍的方法？还在寻找指导，因为我目前正在学习 Typescript，所以我完全走在错误的道路上。我认为你可以使用泛型和条件类型断言来实现你想要的。 declare function isNumber<T>(value: T): value is T extends number ? T : never; declare function isFunction<T>(value: T): value is T extends Function ? T : never; 上面给出了我在每个示例中所期望的输出。

typescript types predicate

回答 1 投票 0

如何向 JS Array.includes() 提供 equals/hash 函数？ [重复]

有没有办法通过提供 equals+hash 谓词让 Array.prototype.includes() 也可以处理非原始对象？例如给定一个列表： var 列表 = [{id:111},{id:222},{id:333}]; 合作...

javascript arrays contains equality predicate

回答 1 投票 0

common lisp 函数中后缀“p”是什么意思？

参见示例：https://github.com/vindarel/cl-str#empty-emptyp-s 或者这个：https://stackoverflow.com/a/33379360/12400477 我在好几个地方都看到过这个，不知道什么意思。难道……

common-lisp naming-conventions predicate

回答 5 投票 0

谓词构建器选择所有替代方案

我正在为应用程序创建过滤器，对同一窗口有两种方法，第一种方法是当我传递代码并用它获取所有记录时，第二种方法是当代码为 N 时我需要获取所有记录...

c# .net predicate

回答 1 投票 0

Swift #谓词在参数上使用函数

是否可以使用#Predicate，其表达式的一部分调用函数（尝试将该谓词传递到 SwiftData 查询）： func myPredicate(年: Int, 月: Int) -> Predicate 是否可以使用#Predicate，其表达式的一部分调用函数（尝试将该谓词传递到SwiftData Query）： func myPredicate(year: Int, month: Int) -> Predicate<MyObj> { #Predicate<MyObj> { obj in let components = Calendar.current.dateComponents([.year, .month], from: obj.date)) return components.year == year && components.month == month } } 在这种情况下，我收到一个错误：Predicate body may only contain one expression。我尝试将其移动到另一个静态函数，如下所示： extension MyObj { static func checkDate(date: Date, year: Int, month: Month) { let components = Calendar.current.dateComponents([.year, .month], from: obj.date)) return components.year == year && components.month == month } } 但现在我得到了The checkDate function is not supported in this predicate 除了将日期存储为单独的年份和月份字段之外，还有其他方法吗？谢谢您不能从谓词调用函数，文档中有您可以使用哪些操作的列表您可以根据给定参数计算日期间隔，然后在谓词中使用这些日期值 static func predicate(year: Int, month: Int) -> Predicate<MyObj> { let minDate = Calendar.current.date(from: DateComponents(year: year, month: month))! let maxDate = Calendar.current.date(byAdding: .month, value: 1, to: minDate)! return #Predicate<MyObj> { object in object.date >= minDate && object.date < maxDate } }

swift predicate swift-data

回答 1 投票 0

在 MongoDB Singleton 中创建使用 linq 进行查询的函数

我正在创建一个单例类来查询 .Net 6 Web api 中的 mongo 集合。由于我的应用程序将查询 3 个不同数据库中的多个不同集合，因此我正在创建一个函数

c# mongodb linq predicate

回答 1 投票 0

具有多对多关系的 SwiftData 谓词

我正在构建一个照片管理应用程序，它使用标签来帮助过滤图像。我决定使用 SwiftData，因为它使通过 CloudKit 同步图像变得非常容易。但是，我在获取照片时遇到了麻烦...

swift cloudkit predicate swift-data

回答 1 投票 0

为什么谓词模板参数推理在某些情况下有效，但在其他情况下无效？

我有一个类，其成员函数以“谓词”类型为模板。直到最近，MSVC 编译器接受了以下代码，但现在它说无法推断模板 ar...