草庐IT

java - 有什么办法可以规避 lambda 表达式的类型化?

coder 2024-03-13 原文

自从在 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 表达式被解析为一种特定类型?

特别是,是否有任何技巧或解决方法允许 useFuseP上面概述的方法使用相同的对象调用,如

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/

有关java - 有什么办法可以规避 lambda 表达式的类型化?的更多相关文章

  1. ruby - 为什么我可以在 Ruby 中使用 Object#send 访问私有(private)/ protected 方法? - 2

    类classAprivatedeffooputs:fooendpublicdefbarputs:barendprivatedefzimputs:zimendprotecteddefdibputs:dibendendA的实例a=A.new测试a.foorescueputs:faila.barrescueputs:faila.zimrescueputs:faila.dibrescueputs:faila.gazrescueputs:fail测试输出failbarfailfailfail.发送测试[:foo,:bar,:zim,:dib,:gaz].each{|m|a.send(m)resc

  2. ruby-on-rails - Rails - 子类化模型的设计模式是什么? - 2

    我有一个模型:classItem项目有一个属性“商店”基于存储的值,我希望Item对象对特定方法具有不同的行为。Rails中是否有针对此的通用设计模式?如果方法中没有大的if-else语句,这是如何干净利落地完成的? 最佳答案 通常通过Single-TableInheritance. 关于ruby-on-rails-Rails-子类化模型的设计模式是什么?,我们在StackOverflow上找到一个类似的问题: https://stackoverflow.co

  3. ruby - 什么是填充的 Base64 编码字符串以及如何在 ruby​​ 中生成它们? - 2

    我正在使用的第三方API的文档状态:"[O]urAPIonlyacceptspaddedBase64encodedstrings."什么是“填充的Base64编码字符串”以及如何在Ruby中生成它们。下面的代码是我第一次尝试创建转换为Base64的JSON格式数据。xa=Base64.encode64(a.to_json) 最佳答案 他们说的padding其实就是Base64本身的一部分。它是末尾的“=”和“==”。Base64将3个字节的数据包编码为4个编码字符。所以如果你的输入数据有长度n和n%3=1=>"=="末尾用于填充n%

  4. ruby - 解析 RDFa、微数据等的最佳方式是什么,使用统一的模式/词汇(例如 schema.org)存储和显示信息 - 2

    我主要使用Ruby来执行此操作,但到目前为止我的攻击计划如下:使用gemsrdf、rdf-rdfa和rdf-microdata或mida来解析给定任何URI的数据。我认为最好映射到像schema.org这样的统一模式,例如使用这个yaml文件,它试图描述数据词汇表和opengraph到schema.org之间的转换:#SchemaXtoschema.orgconversion#data-vocabularyDV:name:namestreet-address:streetAddressregion:addressRegionlocality:addressLocalityphoto:i

  5. ruby - 使用 Vim Rails,您可以创建一个新的迁移文件并一次性打开它吗? - 2

    使用带有Rails插件的vim,您可以创建一个迁移文件,然后一次性打开该文件吗?textmate也可以这样吗? 最佳答案 你可以使用rails.vim然后做类似的事情::Rgeneratemigratonadd_foo_to_bar插件将打开迁移生成的文件,这正是您想要的。我不能代表textmate。 关于ruby-使用VimRails,您可以创建一个新的迁移文件并一次性打开它吗?,我们在StackOverflow上找到一个类似的问题: https://sta

  6. ruby - 为什么 4.1%2 使用 Ruby 返回 0.0999999999999996?但是 4.2%2==0.2 - 2

    为什么4.1%2返回0.0999999999999996?但是4.2%2==0.2。 最佳答案 参见此处:WhatEveryProgrammerShouldKnowAboutFloating-PointArithmetic实数是无限的。计算机使用的位数有限(今天是32位、64位)。因此计算机进行的浮点运算不能代表所有的实数。0.1是这些数字之一。请注意,这不是与Ruby相关的问题,而是与所有编程语言相关的问题,因为它来自计算机表示实数的方式。 关于ruby-为什么4.1%2使用Ruby返

  7. ruby - 我可以使用 Ruby 从 CSV 中删除列吗? - 2

    查看Ruby的CSV库的文档,我非常确定这是可能且简单的。我只需要使用Ruby删除CSV文件的前三列,但我没有成功运行它。 最佳答案 csv_table=CSV.read(file_path_in,:headers=>true)csv_table.delete("header_name")csv_table.to_csv#=>ThenewCSVinstringformat检查CSV::Table文档:http://ruby-doc.org/stdlib-1.9.2/libdoc/csv/rdoc/CSV/Table.html

  8. ruby 正则表达式 - 如何替换字符串中匹配项的第 n 个实例 - 2

    在我的应用程序中,我需要能够找到所有数字子字符串,然后扫描每个子字符串,找到第一个匹配范围(例如5到15之间)的子字符串,并将该实例替换为另一个字符串“X”。我的测试字符串s="1foo100bar10gee1"我的初始模式是1个或多个数字的任何字符串,例如,re=Regexp.new(/\d+/)matches=s.scan(re)给出["1","100","10","1"]如果我想用“X”替换第N个匹配项,并且只替换第N个匹配项,我该怎么做?例如,如果我想替换第三个匹配项“10”(匹配项[2]),我不能只说s[matches[2]]="X"因为它做了两次替换“1fooX0barXg

  9. ruby - ruby 中的 TOPLEVEL_BINDING 是什么? - 2

    它不等于主线程的binding,这个toplevel作用域是什么?此作用域与主线程中的binding有何不同?>ruby-e'putsTOPLEVEL_BINDING===binding'false 最佳答案 事实是,TOPLEVEL_BINDING始终引用Binding的预定义全局实例,而Kernel#binding创建的新实例>Binding每次封装当前执行上下文。在顶层,它们都包含相同的绑定(bind),但它们不是同一个对象,您无法使用==或===测试它们的绑定(bind)相等性。putsTOPLEVEL_BINDINGput

  10. ruby - 我可以使用 aws-sdk-ruby 在 AWS S3 上使用事务性文件删除/上传吗? - 2

    我发现ActiveRecord::Base.transaction在复杂方法中非常有效。我想知道是否可以在如下事务中从AWSS3上传/删除文件:S3Object.transactiondo#writeintofiles#raiseanexceptionend引发异常后,每个操作都应在S3上回滚。S3Object这可能吗?? 最佳答案 虽然S3API具有批量删除功能,但它不支持事务,因为每个删除操作都可以独立于其他操作成功/失败。该API不提供任何批量上传功能(通过PUT或POST),因此每个上传操作都是通过一个独立的API调用完成的

随机推荐