以前只是一直用equals()来判断字符串变量是不是和某个定值相等,知道这样比较稳妥,但是我想有必要说说清楚这其中的原理。
首先,引入java常量池的概念,也就是编译的时候,常量们会被确定在.class文件中,java常量池中一共有如下这么多内容:
常量表类型
|
标志值(占1 byte)
|
描述
|
CONSTANT_Utf8
|
1
|
UTF-8编码的
Unicode字符串
|
CONSTANT_Integer
|
3
|
int类型的字面值
|
CONSTANT_Float
|
4
|
float类型的字面值
|
CONSTANT_Long
|
5
|
long类型的字面值
|
CONSTANT_Double
|
6
|
double类型的字面值
|
CONSTANT_Class
|
7
|
对一个类或接口的符号引用
|
CONSTANT_String
|
8
|
String类型字面值的引用
|
CONSTANT_Fieldref
|
9
|
对一个字段的符号引用
|
CONSTANT_Methodref
|
10
|
对一个类中方法的符号引用
|
CONSTANT_InterfaceMethodref
|
11
|
对一个接口中方法的符号引用
|
CONSTANT_NameAndType
|
12
|
对一个字段或方法的部分符号引用
|
所以String也会被编译到常量池中。
下面来看一个例子。
比如:
------------------------------------------
result:
true;
true;
true;
根据这个结果来看,所有的等值常量都是相等的,而str3两个常量相加,最后也得到常量。java虚拟机会保证一个String常量只有一份copy。所以其实这里三个字符串都是对“cityu”这个常量的引用。
但是如果用到了new关键字,创建的是对象而不再是常量。
比如:
------------------------------------------
result:
false;
false;
false;
使用new关键字创建的字符串,str2会被放在操作数栈中,而字符串“cityu”会在常量池中出现,然后被复制到堆中,并且在堆中的这一份拷贝由str2来引用,所以new字符串这个动作一共会产生一个字符串的两份拷贝和一个引用(如果不是匿名的话)。
那么在这里,str1引用的是常量池中那一份拷贝,而str2指向的是堆中的那一份拷贝,虽然他们的值相同,但是并不是引用同一个拷贝,结果自然就是false。
当然,可以使用String的一个函数:intern();
先看例子:
------------------------------------------
result:
true;
true;
false;
intern()函数是用来扩充JVM常量池的,一个字符串调用到intern的时候,会查找常量池中是否有相同内容的Unicode字符串常量,如果有,返回该常量的引用值,如果没有就创建一份常量池拷贝并且返回引用,创建之后原来在堆中的拷贝和操作数对象还是会保持不变。所以会有以上的运行结果。
说到这里,用“==”来判断字符串的结果应该已经很清楚了。
那么想要比较稳妥的比较字符串的值的话,还是推荐用equals()。
下面来介绍一下java的equals()函数。
equals()函数的最高层参数是Object对象,他的源码是:
可以看出返回的是两个对象是否相等的布尔值。
然而沼跃卵子早已看穿了一切,String中的equals被重写了。源码如下:
可以看到,只要两个String对象相等,或者内容相等,返回值就是true。
看到这里我想不用多说,比较两个字符串的值是否相等,当首推equals()函数。
虽然说清楚了用法,但是还没有细节到JVM的指令部分,接下去继续研究。