Scala中的闭包与Java中的闭包

如何解决Scala中的闭包与Java中的闭包

| 不久前,Oracle决定将Closures添加到Java 8是一个好主意。我不知道与第一天就关闭的Scala相比,那里的设计问题是如何解决的。 引用javac.info中的未解决问题: 方法句柄可以用于函数类型吗? 如何使这项工作尚不清楚。一个问题是“方法句柄”可以对类型参数进行验证,但是会干扰函数子类型化。 我们可以摆脱“ throws”类型参数的显式声明吗? 想法是,只要声明的边界是检查的异常类型,就使用析取类型推断。这不是严格的向后兼容,但是不太可能破坏实际的现有代码。但是,由于句法歧义性,我们可能无法摆脱类型参数中的“抛出”。 禁止在老式循环索引变量上使用@Shared 处理诸如Comparator之类的接口,它们定义了多个方法,除一个接口外,所有接口都将由从Object继承的方法实现。 “具有单个方法的接口”的定义应仅计入对象中某个方法无法实现的方法,并且如果实现其中一个可以全部实现,则应将多个方法视为一个方法。主要是,这要求对接口仅具有一个抽象方法的含义进行更精确的说明。 指定从功能类型到接口的映射:名称,参数等。 我们应该完全指定从函数类型到系统生成的接口的精确映射。 类型推断。需要增加类型推断的规则以适应异常类型参数的推断。同样,闭包转换使用的子类型关系也应得到反映。 消除了异常类型参数,以帮助改进异常透明性。 也许使被忽略的异常类型参数意味着界限。这样可以通过添加新的泛型异常参数来改造不具有异常类型参数的现有泛型接口,例如java.util.concurrent.Callable。 函数类型的类文字是如何形成的? 是#void()。class吗?如果是这样,如果删除了对象类型,它将如何工作?是#?(?)。class吗? 系统类加载器应动态生成函数类型接口。 与功能类型相对应的接口应由引导类加载器按需生成,以便可以在所有用户代码之间共享。对于原型,我们可以让javac生成这些接口,以便原型生成的代码可以在常规(JDK5-6)VM上运行。 每次对lambda表达式求值都必须产生一个新对象吗? 希望不会。例如,如果lambda没有从封闭范围中捕获任何变量,则可以静态分配它。同样,在其他情况下,如果lambda无法捕获在循环内部声明的任何变量,则可以将其移出内部循环。因此,最好的是,该规范对lambda表达式的结果的引用标识不做任何承诺,因此,此类优化可由编译器完成。 据我了解,2.,6.和7.在Scala中不是问题,因为Scala不会将Checked Exceptions用作Java之类的“影子类型系统”。 其余的呢?     

解决方法

1)方法句柄可以用于函数类型吗? Scala的目标对象是没有方法句柄的JDK 5和6,因此它尚未尝试解决该问题。 2)我们可以摆脱“ throws”类型参数的显式声明吗? Scala没有检查过的异常。 3)禁止在老式循环索引变量上使用@Shared。 Scala没有循环索引变量。同样,可以通过某种while循环来表达相同的想法。 Scala的语义在这里非常标准。捕获符号绑定,如果符号碰巧映射到可变参考单元格,那么就由您自己决定。 4)处理诸如Comparator之类的接口,这些接口定义了不止一种方法,但所有方法均来自对象 Scala用户倾向于使用函数(或隐式函数)将正确类型的函数强制转换为接口。例如
[implicit] def toComparator[A](f : (A,A) => Int) = new Comparator[A] { 
    def compare(x : A,y : A) = f(x,y) 
}
5)指定从功能类型到接口的映射: Scala的标准库包括0 <= N <= 22的FuncitonN特征,并且规范说函数文字会创建这些特征的实例 6)类型推断。需要增加类型推断的规则以适应异常类型参数的推断。 由于Scala没有检查异常,因此可以在整个问题上进行调整 7)消除了异常类型参数,以帮助改进异常透明性。 一样的交易,没有检查异常。 8)函数类型的类文字是如何形成的?是#void()。class吗?如果是这样,如果删除了对象类型,它将如何工作?是#?(?)。class吗?
classOf[A => B] //or,equivalently,classOf[Function1[A,B]]
类型擦除就是类型擦除。不论A和B的选择如何,以上文字都会生成scala.lang.Function1。如果愿意,可以编写
classOf[ _ => _ ] // or
classOf[Function1[ _,_ ]]
9)系统类加载器应动态生成函数类型接口。 Scala任意将参数的数量限制为最多22个,这样就不必动态生成FunctionN类。 10)每次对lambda表达式求值都必须产生一个新对象吗? Scala规范没有说必须这样做。但是从2.8.1开始,编译器不会优化lambda不能从其环境中捕获任何内容的情况。我尚未使用2.9.0进行测试。     ,我在这里只讲数字4。 将Java \“ closures \”与其他语言中的闭包区分开来的一件事是,它们可以代替不描述函数的接口使用,例如
Runnable
。这就是SAM(单一抽象方法)的含义。 Java之所以这样做,是因为这些接口在Java库中比比皆是,而在Java库中则比比皆是,因为Java是在没有函数类型或闭包的情况下创建的。在没有它们的情况下,每个需要控制反转的代码都必须使用SAM接口。 例如,“ 4”采用一个“ 5”对象,该对象将在要排序的数组成员之间执行比较。相比之下,Scala可以通过接收函数
(A,A) => Int
来对
List[A]
进行排序,该函数很容易通过闭包传递。但是,请参阅末尾的注释1。 因此,由于Scala库是针对具有函数类型和闭包的语言创建的,因此不需要在Scala中支持SAM闭包之类的功能。 当然,存在Scala / Java互操作性的问题-尽管Scala的库可能不需要像SAM这样的东西,但Java库却需要。有两种方法可以解决。首先,由于Scala支持闭包和函数类型,因此创建辅助方法非常容易。例如:
def runnable(f: () => Unit) = new Runnable {
    def run() = f()
}

runnable { () => println(\"Hello\") } // creates a Runnable
实际上,通过使用Scala的by-name参数,可以使此特定示例更短,但这并不重要。无论如何,这可以说是Java可以完成的事情,而不是它将要做的事情。考虑到SAM接口的普遍性,这并不令人惊讶。 Scala处理此问题的另一种方法是通过隐式转换。通过仅在上面的
runnable
方法之前添加
implicit
,就可以创建一种方法,该方法在需要
Runnable
但提供函数
() => Unit
时会自动应用(注2)。 隐式是非常独特的,但是在一定程度上还是有争议的。 注意1:实际上,这个特定示例是用一些恶意来选择的。。。
Comparator
有两种抽象方法而不是一种,这就是问题的全部。由于它的一种方法可以用另一种方法实现,因此我认为它们只是从抽象列表中“减去”防御者方法。 而且,在Scala方面,即使有一种使用
(A,A) => Boolean
而不是
(A,A) => Int
的排序方法,标准排序方法也需要一个
Ordering
对象,这与Java的
Comparator
非常相似!但是,在Scala的情况下,ѭ16扮演类型类的角色。 注意2:将隐式导入到合并范围后,将自动应用它们。     

版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。

相关推荐


依赖报错 idea导入项目后依赖报错,解决方案:https://blog.csdn.net/weixin_42420249/article/details/81191861 依赖版本报错:更换其他版本 无法下载依赖可参考:https://blog.csdn.net/weixin_42628809/a
错误1:代码生成器依赖和mybatis依赖冲突 启动项目时报错如下 2021-12-03 13:33:33.927 ERROR 7228 [ main] o.s.b.d.LoggingFailureAnalysisReporter : *************************** APPL
错误1:gradle项目控制台输出为乱码 # 解决方案:https://blog.csdn.net/weixin_43501566/article/details/112482302 # 在gradle-wrapper.properties 添加以下内容 org.gradle.jvmargs=-Df
错误还原:在查询的过程中,传入的workType为0时,该条件不起作用 &lt;select id=&quot;xxx&quot;&gt; SELECT di.id, di.name, di.work_type, di.updated... &lt;where&gt; &lt;if test=&qu
报错如下,gcc版本太低 ^ server.c:5346:31: 错误:‘struct redisServer’没有名为‘server_cpulist’的成员 redisSetCpuAffinity(server.server_cpulist); ^ server.c: 在函数‘hasActiveC
解决方案1 1、改项目中.idea/workspace.xml配置文件,增加dynamic.classpath参数 2、搜索PropertiesComponent,添加如下 &lt;property name=&quot;dynamic.classpath&quot; value=&quot;tru
删除根组件app.vue中的默认代码后报错:Module Error (from ./node_modules/eslint-loader/index.js): 解决方案:关闭ESlint代码检测,在项目根目录创建vue.config.js,在文件中添加 module.exports = { lin
查看spark默认的python版本 [root@master day27]# pyspark /home/software/spark-2.3.4-bin-hadoop2.7/conf/spark-env.sh: line 2: /usr/local/hadoop/bin/hadoop: No s
使用本地python环境可以成功执行 import pandas as pd import matplotlib.pyplot as plt # 设置字体 plt.rcParams[&#39;font.sans-serif&#39;] = [&#39;SimHei&#39;] # 能正确显示负号 p
错误1:Request method ‘DELETE‘ not supported 错误还原:controller层有一个接口,访问该接口时报错:Request method ‘DELETE‘ not supported 错误原因:没有接收到前端传入的参数,修改为如下 参考 错误2:cannot r
错误1:启动docker镜像时报错:Error response from daemon: driver failed programming external connectivity on endpoint quirky_allen 解决方法:重启docker -&gt; systemctl r
错误1:private field ‘xxx‘ is never assigned 按Altʾnter快捷键,选择第2项 参考:https://blog.csdn.net/shi_hong_fei_hei/article/details/88814070 错误2:启动时报错,不能找到主启动类 #
报错如下,通过源不能下载,最后警告pip需升级版本 Requirement already satisfied: pip in c:\users\ychen\appdata\local\programs\python\python310\lib\site-packages (22.0.4) Coll
错误1:maven打包报错 错误还原:使用maven打包项目时报错如下 [ERROR] Failed to execute goal org.apache.maven.plugins:maven-resources-plugin:3.2.0:resources (default-resources)
错误1:服务调用时报错 服务消费者模块assess通过openFeign调用服务提供者模块hires 如下为服务提供者模块hires的控制层接口 @RestController @RequestMapping(&quot;/hires&quot;) public class FeignControl
错误1:运行项目后报如下错误 解决方案 报错2:Failed to execute goal org.apache.maven.plugins:maven-compiler-plugin:3.8.1:compile (default-compile) on project sb 解决方案:在pom.
参考 错误原因 过滤器或拦截器在生效时,redisTemplate还没有注入 解决方案:在注入容器时就生效 @Component //项目运行时就注入Spring容器 public class RedisBean { @Resource private RedisTemplate&lt;String
使用vite构建项目报错 C:\Users\ychen\work&gt;npm init @vitejs/app @vitejs/create-app is deprecated, use npm init vite instead C:\Users\ychen\AppData\Local\npm-