根据这篇文章http://slurp.doc.ic.ac.uk/pubs/observing/linking.html#assignment :
Due to the differences in information between Java code and bytecode (bytecode does not contain the types of local variables), the verifier does not need to check subtypes for assignments to local variables, or to parameters.
我的问题:为什么字节码不包含局部变量的类型信息，而它确实包含参数和返回值的类型信息？
最佳答案
首先，有几种不同的类型概念。有编译时类型，其中包括泛型。但是，泛型在编译时间后不存在。
有一个变量的验证推断静态类型，可以是int、float、long、double、returnaddress，也可以是对象引用。对象引用还带有上限类型，因此所有引用都是 java/lang/String 的子类型。字段还可以具有短类型之一:byte、short、char 或 boolean。出于执行目的，它们与 int 相同，但具有不同的存储空间。
最后是运行时类型，它与经过验证的静态类型相同，但在对象引用的情况下，表示被引用实例的实际类型。请注意，由于验证者惰性，在某些情况下，运行时类型实际上可能不是已验证类型的子类型。例如，声明类型为 Comparable 的变量实际上可以保存 Hotspot 中的任何对象，因为 VM 不会在验证时检查接口(interface)。
除非通过用于反射和调试的可选属性，否则不会保留编译时信息。这是因为没有理由保留它。
局部变量没有明确的类型信息(新的 StackMapTable 属性除外，但这是技术问题)。相反，当类被加载时，字节码 validator 通过运行静态数据流分析来推断每个值的类型。这样做的目的不是像编译时类型检查那样捕获错误，因为假定字节码在编译时已经通过了这种检查。
相反，验证的目的是确保指令对 VM 本身没有危险。例如，它需要确保您没有使用整数并将其作为对象引用进行解释，因为这可能会导致任意内存访问和入侵 VM。
因此，虽然字节码值没有显式类型信息，但它们确实具有隐式类型，这是静态类型推断的结果。虽然它们应该遵循 JVM 标准，但其细节因每个 VM 的内部实现细节而异。但您只需要担心手写字节码。
字段具有显式类型，因为 VM 需要知道其中存储的数据类型。方法参数和返回类型被编码在所谓的方法描述符中，也用于类型检查。它们不可能自动推断，因为这些值可以来自或去往任何地方，而类型检查是在每个类的基础上完成的。
附言在谈论验证类型时，我遗漏了一些小细节。对象类型还跟踪它们是否已被初始化，如果未初始化，则由哪条指令创建它们。地址类型跟踪创建它们的 jsr 的目标。
关于Java 字节码 : types of local variables?，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/16001584/
我真的很习惯使用Ruby编写以下代码:my_hash={}my_hash['test']=1Java中对应的数据结构是什么？ 最佳答案 HashMapmap=newHashMap();map.put("test",1);我假设？ 关于java-等价于Java中的RubyHash，我们在StackOverflow上找到一个类似的问题： https://stackoverflow.com/questions/22737685/
我正在尝试使用boilerpipe来自JRuby。我看过guide从JRuby调用Java，并成功地将它与另一个Java包一起使用，但无法弄清楚为什么同样的东西不能用于boilerpipe。我正在尝试基本上从JRuby中执行与此Java等效的操作:URLurl=newURL("http://www.example.com/some-location/index.html");Stringtext=ArticleExtractor.INSTANCE.getText(url);在JRuby中试过这个:require'java'url=java.net.URL.new("http://www
我只想对我一直在思考的这个问题有其他意见，例如我有classuser_controller和classuserclassUserattr_accessor:name,:usernameendclassUserController//dosomethingaboutanythingaboutusersend问题是我的User类中是否应该有逻辑user=User.newuser.do_something(user1)oritshouldbeuser_controller=UserController.newuser_controller.do_something(user1,user2)我
什么是ruby的rack或python的Java的wsgi？还有一个路由库。 最佳答案 来自Python标准PEP333:Bycontrast,althoughJavahasjustasmanywebapplicationframeworksavailable,Java's"servlet"APImakesitpossibleforapplicationswrittenwithanyJavawebapplicationframeworktoruninanywebserverthatsupportstheservletAPI.ht
我正在使用Ruby，我正在与一个网络端点通信，该端点在发送消息本身之前需要格式化“header”。header中的第一个字段必须是消息长度，它被定义为网络字节顺序中的2二进制字节消息长度。比如我的消息长度是1024。如何将1024表示为二进制双字节？ 最佳答案 Ruby(以及Perl和Python等)中字节整理的标准工具是pack和unpack。ruby的packisinArray.您的长度应该是两个字节长，并且按网络字节顺序排列，这听起来像是n格式说明符的工作:n|Integer|16-bitunsigned,network(bi
这篇文章是继上一篇文章“Observability：从零开始创建Java微服务并监控它（一）”的续篇。在上一篇文章中，我们讲述了如何创建一个Javaweb应用，并使用Filebeat来收集应用所生成的日志。在今天的文章中，我来详述如何收集应用的指标，使用APM来监控应用并监督web服务的在线情况。源码可以在地址 https://github.com/liu-xiao-guo/java_observability 进行下载。摄入指标指标被视为可以随时更改的时间点值。当前请求的数量可以改变任何毫秒。你可能有1000个请求的峰值，然后一切都回到一个请求。这也意味着这些指标可能不准确，你还想提取最小/
HashMap中为什么引入红黑树，而不是AVL树呢1.概述开始学习这个知识点之前我们需要知道，在JDK1.8以及之前，针对HashMap有什么不同。JDK1.7的时候，HashMap的底层实现是数组+链表JDK1.8的时候，HashMap的底层实现是数组+链表+红黑树我们要思考一个问题，为什么要从链表转为红黑树呢。首先先让我们了解下链表有什么不好？？？2.链表上述的截图其实就是链表的结构，我们来看下链表的增删改查的时间复杂度增：因为链表不是线性结构，所以每次添加的时候，只需要移动一个节点，所以可以理解为复杂度是N(1)删：算法时间复杂度跟增保持一致查：既然是非线性结构，所以查询某一个节点的时候
遍历文件夹我们通常是使用递归进行操作，这种方式比较简单，也比较容易理解。本文为大家介绍另一种不使用递归的方式，由于没有使用递归，只用到了循环和集合，所以效率更高一些！一、使用递归遍历文件夹整体思路1、使用File封装初始目录，2、打印这个目录3、获取这个目录下所有的子文件和子目录的数组。4、遍历这个数组，取出每个File对象4-1、如果File是否是一个文件，打印4-2、否则就是一个目录，递归调用代码实现publicclassSearchFile{publicstaticvoidmain(String[]args){//初始目录Filedir=newFile("d:/Dev");Datebeg
我基本上来自Java背景并且努力理解Ruby中的模运算。(5%3)(-5%3)(5%-3)(-5%-3)Java中的上述操作产生，2个-22个-2但在Ruby中，相同的表达式会产生21个-1-2.Ruby在逻辑上有多擅长这个？模块操作在Ruby中是如何实现的？如果将同一个操作定义为一个web服务，两个服务如何匹配逻辑。 最佳答案 在Java中，模运算的结果与被除数的符号相同。在Ruby中，它与除数的符号相同。remainder()在Ruby中与被除数的符号相同。您可能还想引用modulooperation.
Java的Collections.unmodifiableList和Collections.unmodifiableMap在Ruby标准API中是否有等价物？ 最佳答案 使用freeze应用程序接口(interface):Preventsfurthermodificationstoobj.ARuntimeErrorwillberaisedifmodificationisattempted.Thereisnowaytounfreezeafrozenobject.SeealsoObject#frozen?.Thismethodretur
