[jvm]深入JVM(一):从"abc"=="abc"看java的连接过程

一般说来，我不关注java底层的东西，这次是一个朋友问到了，注意不光是 System.out.println("abc"=="abc");返回true， System.out.println(("a"+"b"+"c").intern()=="abc");也返回true；这和java的连接过程有关。
java解析CONSTANT_String_info时，java虚拟机必须把一个字符串对象的引用，放到constant pool entry 中。每个java虚拟机维护着一张列表，里面有所有程序被"interned"的字符串对象的引用。
查看constPoolOop.cpp文件
oop constantPoolOopDesc::string_at_impl(constantPoolHandle this_oop, int which, TRAPS) {
oop entry = *(this_oop->obj_at_addr(which));
if (entry->is_symbol()) {
ObjectLocker ol(this_oop, THREAD);
if (this_oop->tag_at(which).is_unresolved_string()) {
// Intern string
symbolOop sym = this_oop->unresolved_string_at(which);
entry = StringTable::intern(sym, CHECK_(constantPoolOop(NULL)));
this_oop->string_at_put(which, entry);
} else {
// Another thread beat us and interned string, read string from constant pool
entry = this_oop->resolved_string_at(which);
}
}
assert(java_lang_String::is_instance(entry), "must be string");
return entry;
}
注意有特定字符序列的字符串只会出现一次。如果存在这个Unicode字符序列的字符串，直接返回这个字符串的引用，否则创建新的字符串对象。
查看symbolTable.cpp文件
oop StringTable::intern(Handle string_or_null, jchar* name,
int len, TRAPS) {
unsigned int hashValue = hash_string(name, len);
int index = the_table()->hash_to_index(hashValue);
oop string = the_table()->lookup(index, name, len, hashValue);

// Found
if (string != NULL) return string;

// Otherwise, add to symbol to table
return the_table()->basic_add(index, string_or_null, name, len,
hashValue, CHECK_0);
}
the_table()的定义，SymbolTable* SymbolTable::_the_table = NULL;
使用string类的intern（）方法，来intern一个字符串，如果具有相同字符序列的字符串被intern过，那末intern（）方法直接返回被interned字符串对象的引用。
这样的代码
public static final String a="123";
public static final String b="123";
System.out.println(a==b);

返回也是true，如果一个程序多个类使用相同的字符串，这些类的方法使用ldc或者ldc_w把内容为"123"的string对象的引用压入栈。也就是说java虚拟机把所有具有相同字符顺序的字符串处理为同一个java对象。
对于任何两个字符串 s 和 t，当且仅当 s.equals(t) 为 true 时，s.intern() == t.intern() 才为 true。
从String源码得知这是一个native方法。
查看jdk代码
JVM_ENTRY(jstring, JVM_InternString(JNIEnv *env, jstring str))
JVMWrapper("JVM_InternString");
JvmtiVMObjectAllocEventCollector oam;
if (str == NULL) return NULL;
oop string = JNIHandles::resolve_non_null(str);
oop result = StringTable::intern(string, CHECK_0);
return (jstring) JNIHandles::make_local(env, result);
JVM_END
也调用了StringTable::intern。