在Scala中如何评估方法?

如何解决在Scala中如何评估方法?

方法类型没有价值。我们如何评估一种方法?

我以SML为例

fun myFunc(x) = x + 5
val b = myFunc(2)

在第二个表达式中,myFun具有类型和值,我们使用其类型进行类型检查,并将其值与参数一起使用来计算b

的值

但是在没有值的Scala方法中,我们如何评估?我对Scala还是很陌生,所以可能不太清楚。

def myFunc(x) = x + 5
val b = myFunc(2)

val b = myFunc(2)val b = 2 + 5之间发生了什么?我们从哪里或什么对象知道myFunc(x)x + 5

谢谢!

解决方法

简单的答案是:仅仅因为方法不是“可以被 you 操纵的事物”意义上的值,并不意味着它不是意义上的价值“可以由编译器作者的作者操纵的事物”。

当然,方法在编译器内部将有一个表示它的对象。实际上,该对象看起来可能与表示内部函数的对象非常相似,例如MLTon SML编译器或SML / NJ。

在SML中,语法不是值,但是您也不怀疑如何编写函数调用,不是吗?毕竟,为了在SML中调用函数,我需要使用函数调用语法编写函数调用,所以当语法不是值时,该怎么做?

嗯,答案是一样的:仅仅因为语法不是程序员可以操纵的值,编译器(或更确切地说是解析器)显然是 知道语法。

我无法告诉您为什么决定将函数作为Scala中的值而不是方法中的值,但是我可以猜测。 Scala是一种面向对象的语言。在面向对象的语言中,每个值都是一个对象,并且每个对象都有绑定到该对象的方法。因此,如果方法是对象,则它们需要具有方法,即对象,具有方法,对象等。

当然,有很多方法可以解决此问题,但这会使语言更加复杂。出于类似的原因,类不是对象(不同于Smalltalk,Python和Ruby)。请注意,即使在像Ruby这样的高度反射,内省的动态语言中,方法也不是对象。类是方法,而不是方法。

有可能使用反射来获取表示方法的 proxy 对象,但该对象本身不是方法本身。实际上,您也可以在Scala中执行相同的操作。

当然,可以通过η扩展将方法转换为函数值。

,

我假设您正在编译为Java虚拟机(JVM)字节码,例如使用scalac,这可能是使用Scala的最常见方法。免责声明:我不是JVM方面的专家,因此此答案的某些部分可能有点错误,但总体思路是正确的。

从本质上讲,方法是运行时要执行的一组指令。它作为磁盘上已编译代码的一部分(例如.class文件)存在。 JVM加载类时,会将整个类文件(包括方法)拉入内存。 JVM遇到方法调用时,它将查找该方法并开始执行其中的指令。如果该方法返回结果,则JVM将在调用代码中提供该结果,然后在该处执行您想对其进行的任何操作,例如分配给变量。

有了这些知识,我们可以回答您的一些问题:

从val b = myFunc(2)到val b = 2 + 5,这之间发生了什么?

这不是它的工作方式,因为JVM不会将myFunc“扩展”到位,而是查找myFunc并执行其中的指令。

我们从哪里或什么对象知道myFunc(x)是x + 5?

不是来自任何对象。当myFunc在内存中时,它在您不能直接访问的内存区域中(但JVM可以访问)。

为什么它不是值,因为它是一块内存?

并非所有的内存都适合类型和值的漂亮抽象。

版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 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时,该条件不起作用 <select id="xxx"> SELECT di.id, di.name, di.work_type, di.updated... <where> <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,添加如下 <property name="dynamic.classpath" value="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['font.sans-serif'] = ['SimHei'] # 能正确显示负号 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 -> 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("/hires") 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<String
使用vite构建项目报错 C:\Users\ychen\work>npm init @vitejs/app @vitejs/create-app is deprecated, use npm init vite instead C:\Users\ychen\AppData\Local\npm-