1.《Lua5.4 源码剖析——基本数据类型 之 数字类型》
2.Integer比较大小用“==”的析源坑
3.第7讲 | int和Integer有什么区别?
4.优雅的避坑不要轻易使用==比较两个Integer的值
5.面试题系列第3篇:Integer等号判断的内幕,你可能不知道?
《Lua5.4 源码剖析——基本数据类型 之 数字类型》
数字类型在编程中分为整数和浮点数两种。源码在Lua语言的析源5.3版本之前,所有数字都被底层实现为浮点数,源码整数的析源概念并未独立出来,而是源码生成标题二维码源码通过浮点数的IEEE表示法进行表示与数据存储。这样,析源在进行整数运算时,源码可能会在多次运算后累积产生出意外的析源浮点误差。因此,源码从Lua5.3版本开始,析源Lua引入了对整数的源码支持,使其不再依赖于浮点数进行表示,析源并且支持位运算等整数运算操作符。源码
在Lua语言中,析源每个基础对象需要存储其类型标识,这个标识在源码《lua.h》中定义为tt,数字类型的tt枚举值为LUA_TNUMBER(对应数字3)。由于数字类型分为整型和浮点型,它们通过类型变体来区分。在源码《lobject.h》中,类型变体LUA_VNUMINT表示整型,而LUA_VNUMFLT表示浮点型。
数字类型在TValue中定义了Value字段,这个字段包含i和n两个字段,用于分别存储整型和浮点型的数值。在历史原因的影响下,lua_Number并不是指所有数字类型,而是专门指浮点类型;lua_Integer则专门指整型。因此,设置整数或浮点数时,需要先设置Value字段中的n字段(整型)或i字段(浮点型),然后使用settt_宏设置type tag(tt)字段为对应值LUA_VNUMFLT或LUA_VNUMINT。
在底层,至尊数据指标源码数字类型的数据类型具体表现为lua_Integer和lua_Number。在源码《lua.h》中声明,lua_Number为LUA_NUMBER,lua_Integer为LUA_INTEGER。深入学习它们的定义,可以看到整型有int、long、long long三种类型,浮点型有float、double、long double三种类型。Lua5.4的默认配置中,整型使用long long类型,浮点型使用double类型。在Windows平台上,整型使用__int类型。
至此,数字类型的讲解就告一段落。希望本文对理解Lua语言中的数字类型有所帮助。
Integer比较大小用“==”的坑
让我们通过一个实例来理解Integer比较大小的微妙之处: 通常,许多人可能会认为这两个表达式的输出结果都为true。然而,出乎意料的是,实际情况是: 为何会有这样的差异?为何与我们的直觉不符?这难道意味着我学习的Java有问题吗?让我们深入探究一下背后的原理: Integer类内部有个特性,它会缓存-到范围内的整数,当值超出这个范围时,会新建一个Integer对象。这是为了提升效率,避免频繁创建对象。类加载时,这个缓存就已经建立好了。所以,当我们比较两个在缓存范围内的溯源码在哪看Integer对象时,由于指向的是同一个对象,结果自然为true;而超出缓存范围的两个对象则是新创建的,比较时会检查地址,地址不同,所以返回false。 那么,如何正确地比较Integer的大小呢? 继续查看源码,你会发现Integer类型的比较实际上转化为基本类型的int比较,这样就避免了对象地址的考虑。 对于Integer以外的整数类型,如Long,一般可以使用equals方法,但需要注意浮点数,如Double和Float,它们的比较更为复杂。 通常,这些类型在常规情况下不会有太大问题,但需要留意以下特殊情况:NaN值
无穷大和无穷小
精度问题
由于本篇主要关注Integer,浮点数的处理将在其他场合详细讨论。第7讲 | int和Integer有什么区别?
典型回答:
int是Java中的一种基本数据类型,属于原始数据类型的一种。它是Java编程语言中的8个基本数据类型之一,包括boolean、byte、short、char、int、float、double、long。
Integer是int类型的包装类,它是一个对象,包含一个存储数据的下载软件vc源码int类型的字段,并提供了一些基本操作,如数学运算、int与字符串之间的转换等。在Java 5中,引入了自动装箱和自动拆箱功能,简化了相关编程。
关于Integer的值缓存,这涉及Java 5中的一个改进。传统上,构建Integer对象的方式是直接调用构造器,创建一个新的对象。但实践表明,大部分数据操作都集中在有限的、较小的数值范围内。因此,在Java 5中引入了静态工厂方法valueOf,它利用一个缓存机制,提高了性能。按照Javadoc,这个值默认缓存范围是-到之间。
知识扩展:
1. 理解自动装箱、拆箱
自动装箱是一种语法糖,它实际上是一种语法上的简化。简单来说,Java平台为我们自动进行了一些转换,以保证不同的写法在运行时等价。这些转换发生在编译阶段,生成的字节码是一致的。
2. 源码分析
考察是否阅读过、是否理解JDK源代码可能是部分面试官的关注点。阅读并实践高质量代码也是程序员成长的必经之路。下面我来分析下Integer的源码。
3. 原始类型线程安全
前面提到了线程安全设计,易物系统源码你可能想过,原始数据类型操作是否线程安全。
4. Java原始数据类型和引用类型局限性
从Java平台发展的角度来看,原始数据类型和对象的局限性和演进是值得关注的。
再扩展:
你知道对象的内存结构是什么样的吗?比如,对象头的结构。如何计算或获取某个Java对象的大小?
优雅的避坑不要轻易使用==比较两个Integer的值
直接进入主题,来看一段代码,让我们探索Integer比较的奥秘:
许多人可能会理所当然地认为这段代码会打印出 j = ,但背后的原理却值得深入探讨。i作为Integer对象,而j为基本类型int,它们如何协同工作呢?这涉及到Java 5引入的自动装箱和拆箱机制。借助IDEA的jclasslib Bytecode viewer插件,我们可以看到程序运行的底层指令:
这段程序的字节码指令揭示了自动装箱和拆箱的过程。第3行调用Integer的valueOf方法进行自动装箱,第8行则调用intValue方法进行自动拆箱,将Integer对象转换为int。
进一步研究valueOf和intValue的源码,我们发现Integer类中有一个IntegerCache机制,它在虚拟机初始化时预加载了(-,]范围内的整数。这解释了为什么i1 == i2为true,而i3 == i4为false:在缓存范围内,而超出了。
为了避免这类陷阱,正确的比较两个Integer值的方法是使用equals()函数,而不是简单的==。equals会比较两个对象的整数值,不受类型影响。
阿里Java开发手册推荐的策略是,当比较整型包装类对象的值时,始终使用equals()方法,以确保准确无误的比较。
面试题系列第3篇:Integer等号判断的内幕,你可能不知道?
《Java面试题系列》:深入挖掘面试题中经典内容,剖析源码,总结原理,形成公众号系列文章,不论面试与否,均可提升技能。本篇为系列第3篇。面试过程中关于Integer的比较“==”的问题层出不穷,但了解其底层原理后,即可轻松应对。根据《阿里巴巴Java开发手册》,所有整形包装类对象之间的值比较应使用equals方法,对于在-到范围内的赋值,Integer对象会在IntegerCache.cache产生并复用,这个区间内的Integer值可以直接使用“==”进行判断。然而,该区间之外的所有数据会在堆上产生,并不会复用已有对象,这是个陷阱,推荐使用equals方法进行判断。
执行下面的程序,打印结果为true的有几项?
执行程序后,打印结果为:只有C和F项打印为false。读者可能疑惑为什么i1等于i2,i1等于i3,i2等于i4,都为true,根据等号的传递性,i3应该等于i4啊?为什么i1和i3相等,但i5和i6却不相等呢?
在彻底弄清楚问题之前,我们先了解一下基础类型变量、引用类型变量在JVM中的存储。通常变量分为局部变量和全局(成员)变量。局部变量声明在方法内,而全局变量声明在类中。基础类型的变量和值在分配时一起,都在方法区、栈内存或堆内存。而引用类型的变量和值不一定在一起。
局部变量存储在方法栈中,当方法被调用时,Java虚拟机同步创建一个栈帧,局部变量存储其中。方法结束后,栈帧销毁,其中声明的变量也随之结束。因此,局部变量只能在方法中有效。基础类型与引用类型的存储有所不同,基础类型存储在JAVA虚拟机的栈中,引用类型存储在栈中,指向堆中的对象。栈属于线程私有的空间,局部变量的生命周期和作用域一般都很短,为了提高gc效率,所以没必要放在堆里面。
全局变量存储在堆中,不会随着方法结束而销毁。类中声明的变量分为基本类型和引用类型,基本类型存储在堆内存中,引用类型存储在堆中,是一个引用地址,指向所引用的对象。
结合上述理论,我们通过一段代码来分析各种类型所存储的位置。
基础类型的栈内存储,在同一栈帧中,针对int类型的处理模式如下:
假设编译器先处理int a=3,此时会在栈中创建a的引用变量,然后查找栈中是否存在3这个值,如果没有就将3存放进来,然后将a指向3。接着处理int b=3,创建完b的引用变量后,同样进行查找。因为在栈中已经有3这个值,便将b直接指向3。此时,a与b同时指向3这个值,自然是相等的。
对于“==”操作符号,JVM会根据其两边相互比较的操作数的类型,在编译时生成不同的指令。对于boolean、byte、short、int、long这种整形操作数会生成if_icmpne指令,用于比较整形数值是否相等。如果操作数是对象,则生成if_acmpne指令,与if_icmpne相比将i(int)改成了a(object reference)。
学习了底层理论知识,我们得出以下两个int类型比较,直接使用双等号即可;int的包装类Integer对象比较时,使用equals进行比较即可。但结果只能说E项目是正确的,其比较项还涉及到整形的装箱拆箱操作、Integer的缓存。下面逐一分析。
不同创建形式的比较,先看Integer的初始化,有三种创建形式,分别是直接赋值、valueOf方法和new关键字。因为通过new和valueOf创建的是完全两个对象,那么针对题目中的C项,直接比较两个对象的引用肯定是不相等的,因此结果为false。但B项为什么为true呢?后面我们会讲到。
比较中的拆箱,在题目中,我们发现A、D都为true,它们的比较格式都是基础类型与包装类型的对比。针对这种形式的对比,包装类型会进行自动拆箱,变成基础类型(int)。很显然,结果是相等的。
Integer的缓存机制,为什么i1和i3相等,但i5和i6却不相等呢?对应题目中的B和G项。我们已经知道,Integer直接赋值和valueOf是等效的,接下来看一下valueOf及相关的方法。valueOf方法判断数字是否大于low(-)并且小于high(),如果满足条件,则直接从IntegerCache中返回对应数字。IntegerCache用于存储一些常用的数,防止重复创建,在Integer类装入内存时通过静态代码进行初始化。因此,只要是用valueOf或者Integer直接赋值的方式创建的对象,其值小于且大于-的,无论对其进行“==”比较还是equals比较,都是true。
关于Integer的比较核心点有以下三点:引用对象的存储结构、Integer的缓存机制、自动装箱与拆箱。总结Integer在“==”运算时的核心点如下:如果“==”两端有一个是基础类型(int),则会发生自动拆箱操作,这时比较的是值。如果“==”两端都是包装类型(Integer),则不会自动拆箱,首先会面临缓存问题,即便在缓存范围内的数据还会再次面临创建方式的问题,因此强烈建议使用equals方法进行比较。
如果觉得文章写的还不错,就关注一下。下篇文章,我们来讲讲equals和hashcode方法的重写底层逻辑。本文首发来自微信公众号:程序新视界,一个软实力、硬技术同步学习的平台。
2024-12-22 16:33
2024-12-22 16:24
2024-12-22 15:49
2024-12-22 15:19
2024-12-22 15:18
2024-12-22 15:01