- iOS/Objective-C 元类和类别
- objective-c - -1001 错误,当 NSURLSession 通过 httpproxy 和/etc/hosts
- java - 使用网络类获取 url 地址
- ios - 推送通知中不播放声音
自从在 Java 中引入了 lambda 并受到 a related question 的启发,这是我想知道的一个问题,我想我可能会提出来,看看有没有想法。
(旁注:有一个 similar question for C#,但我没有找到用于 Java 的。关于“将 lambda 存储在变量中”的 Java 问题总是指 type 的变量是固定的——这正是我要规避的)
Lambda 表达式通过目标类型推断接收它们需要的类型。这一切都由编译器处理。例如,函数
static void useF(Function<Integer, Boolean> f) { ... }
static void useP(Predicate<Integer> p) { ... }
都可以用相同的 lambda 表达式调用:
useF(x -> true);
useP(x -> true);
该表达式将自己表现为一个实现 Function<Integer,Boolean>
的类接口(interface),一次作为实现 Predicate<Integer>
的类界面。
但不幸的是,没有办法将 lambda 表达式存储为适用于这两个函数的类型,例如
GenericLambdaType
lambda = x -> true;
此“通用 lambda 类型”必须对给定 lambda 表达式可以实现的方法类型进行编码。所以在这种情况下,它将是
(Ljava.lang.Integer)Ljava.lang.Boolean
lambda = x -> true;
(基于 standard type signatures ,用于说明)。 (这并非完全不合理:C++ lambda expressions 基本上就是这样做的……)
那么是否有任何方法来防止 lambda 表达式被解析为一种特定类型?
特别是,是否有任何技巧或解决方法允许 useF
和 useP
上面概述的方法使用相同的对象调用,如
useF(theObject);
useP(theObject);
这不太可能,所以我假设答案显然是:“否”,但是:是否有任何方法来编写一个通用、神奇的适应方法,例如
useF(convertToRequiredTargetType(theObject));
useP(convertToRequiredTargetType(theObject));
?
请注意,这个问题更多是出于好奇。所以我真的在寻找任何方法来实现这一点(自定义预编译器或字节码操作除外)。
似乎没有简单的解决方法。通过将表达式包装到通用辅助方法中来延迟类型推断的幼稚尝试,如
static <T> T provide()
{
return x -> true;
}
当然失败了,声明“这个表达式的目标类型必须是一个函数式接口(interface)”(这里不能简单地推断类型)。但我也考虑过其他选择,比如 MethodHandles ,残酷的未经检查的类型转换或讨厌的反射黑客。编译后一切似乎都立即丢失了,其中 lambda 隐藏在匿名类的匿名对象中,其唯一方法通过 InvokeVirtual
调用。 ...
最佳答案
我看不到有任何方法可以将解析为一种特定功能接口(interface)类型的 lambda 表达式直接解释为等效的功能接口(interface)类型。没有两个功能接口(interface)扩展或可以扩展的 super 接口(interface)或“通用 lambda 类型”,即强制它只接受一个特定类型的参数并返回特定类型。
但是您可以编写一个实用程序类,其中包含将一种类型的功能接口(interface)转换为另一种类型的方法。
此实用程序类将谓词转换为返回 boolean 值的函数,反之亦然。它包括身份转换,因此您不必担心是否调用转换方法。
public class Convert
{
static <T> Predicate<T> toPred(Function<? super T, Boolean> func)
{
return func::apply;
}
static <T> Predicate<T> toPred(Predicate<? super T> pred)
{
return pred::test;
}
static <T> Function<T, Boolean> toFunc(Predicate<? super T> pred)
{
return pred::test;
}
static <T> Function<T, Boolean> toFunc(Function<? super T, Boolean> func)
{
return func::apply;
}
}
输入函数和谓词是 T
的消费者, 所以 PECS 指示 ? super
.您还可以添加其他可能需要 BooleanSupplier
的重载小号,Supplier<Boolean>
,或任何其他返回 boolean
的功能接口(interface)类型或 Boolean
.
此测试代码编译。它允许您传递功能接口(interface)类型的变量并将其转换为所需的功能接口(interface)类型。如果您已经有了确切的功能接口(interface)类型,则不必调用转换方法,但如果需要也可以。
public class Main
{
public static void main(String[] args)
{
Function<Integer, Boolean> func = x -> true;
useF(func);
useF(Convert.toFunc(func));
useP(Convert.toPred(func));
Predicate<Integer> pred = x -> true;
useP(pred);
useP(Convert.toPred(pred));
useF(Convert.toFunc(pred));
}
static void useF(Function<Integer, Boolean> f) {
System.out.println("function: " + f.apply(1));
}
static void useP(Predicate<Integer> p) {
System.out.println("predicate: " + p.test(1));
}
}
输出是:
function: true
function: true
predicate: true
predicate: true
predicate: true
function: true
关于java - 有什么办法可以规避 lambda 表达式的类型化?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/36336848/
可以使用 lambda 和函数创建有序对(Lisp 中的缺点),如 Use of lambda for cons/car/cdr definition in SICP 所示。 它也适用于 Python
我正在尝试从另一个调用一个 AWS lambda 并执行 lambda 链接。这样做的理由是 AWS 不提供来自同一个 S3 存储桶的多个触发器。 我创建了一个带有 s3 触发器的 lambda。第一
根据以下源代码,常规 lambda 似乎可以与扩展 lambda 互换。 fun main(args: Array) { val numbers = listOf(1, 2, 3) f
A Tutorial Introduction to the Lambda Calculus 本文介绍乘法函数 The multiplication of two numbers x and y ca
我想弄清楚如何为下面的表达式绘制语法树。首先,这究竟是如何表现的?看样子是以1和2为参数,如果n是 0,它只会返回 m . 另外,有人可以指出解析树的开始,还是一个例子?我一直找不到一个。 最佳答案
在 C++0x 中,我想知道 lambda 函数的类型是什么。具体来说: #include type1 foo(int x){ return [x](int y)->int{return x * y
我在其中一个职位发布中看到了这个问题,它询问什么是 lambda 函数以及它与高阶函数的关系。我已经知道如何使用 lambda 函数,但不太自信地解释它,所以我做了一点谷歌搜索,发现了这个:What
很难说出这里问的是什么。这个问题是含糊的、模糊的、不完整的、过于宽泛的或修辞性的,无法以目前的形式得到合理的回答。如需帮助澄清此问题以便重新打开它,visit the help center 。 已关
Evaluate (((lambda(x y) (lambda (x) (* x y))) 5 6) 10) in Scheme. 我不知道实际上该怎么做! ((lambda (x y) (+ x x
我正在处理 MyCustomType 的实例集合如下: fun runAll(vararg commands: MyCustomType){ commands.forEach { it.myM
Brian 在他对问题 "Are side effects a good thing?" 的论证中的前提很有趣: computers are von-Neumann machines that are
在 Common Lisp 中,如果我希望两个函数共享状态,我将按如下方式执行 let over lambda: (let ((state 1)) (defun inc-state () (in
Evaluate (((lambda(x y) (lambda (x) (* x y))) 5 6) 10) in Scheme. 我不知道实际上该怎么做! ((lambda (x y) (+ x x
作为lambda calculus wiki说: There are several possible ways to define the natural numbers in lambda cal
我有一个数据类,我需要初始化一些 List .我需要获取 JsonArray 的值(我使用的是 Gson)。 我做了这个函数: private fun arrayToList(data: JsonAr
((lambda () )) 的方案中是否有简写 例如,代替 ((lambda () (define x 1) (display x))) 我希望能够做类似的事情 (empty-lam
我在 Java library 中有以下方法: public void setColumnComparator(final int columnIndex, final Comparator colu
我正在研究一个函数来计算国际象棋游戏中棋子的有效移动。 white-pawn-move 函数有效。当我试图将其概括为任一玩家的棋子 (pawn-move) 时,我遇到了非法函数调用。我已经在 repl
考虑这段代码(在 GCC 和 MSVC 上编译): int main() { auto foo = [](auto p){ typedef decltype(p) p_t;
我正在阅读一个在 lambda 内部使用 lambda 的片段,然后我想通过创建一个虚拟函数来测试它,该函数从文件中读取然后返回最大和最小数字。 这是我想出来的 dummy = lambda path
我是一名优秀的程序员,十分优秀!