脱了马甲我也认识你: 聊聊 Android 中类的真实形态
【這是 ZY 第 19 篇原創(chuàng)技術(shù)文章】
我們?cè)谄綍r(shí)開發(fā)過程中，一定定義過無數(shù)個(gè)千奇百怪的類，但是大家有想過，一個(gè) Java 文件中的 Class，在虛擬機(jī)中的真實(shí)形態(tài)是什么么？
這篇文章就帶大家探討一下在 Android ART 里，類的真實(shí)形態(tài)，以及類加載的過程。
本文基于 ART-8.0.0_r1 分支代碼進(jìn)行分析
預(yù)備知識(shí)
看完本文可以達(dá)到什么程度
閱讀前準(zhǔn)備工作
文章概覽
一、在 Java 中如何定義一個(gè)類
對(duì)于如何在 Java 代碼中定義一個(gè)類，我們一定非常熟悉了，代碼如下：
class MInterface {void imethod() {} }class Parent { }class Child extends Parent implements MInterface { } 復(fù)制代碼二、ART 中如何表示一個(gè) Java 類
那么對(duì)于一個(gè) Java 類，在 ART 中是如何表示的呢？
在 ART 中，也定義了一個(gè) Class 類，用來表示 Java 世界中的類。
當(dāng)然，這個(gè)類是 c++ 定義的，畢竟 ART 就是 c++ 實(shí)現(xiàn)的。???
下面這張圖展示了 ART 中類的重要部分。
下面我們就看看這個(gè) Class 的具體定義：
2.1 類的定義
// C++ mirror of java.lang.Class class MANAGED Class FINAL : public Object {private:// 指向定義 Class 的 ClassLoader，如果為 null，說明是 bootstrap system loaderHeapReference<ClassLoader> class_loader_;// 對(duì)于數(shù)組類型有用，保存了數(shù)組的原始類型，比如 對(duì)于 String[]，這里指向的是 String// 對(duì)非數(shù)組類型，值為 nullHeapReference<Class> component_type_;// 指向 DexCache，如果是運(yùn)行時(shí)生成的 Class，值為 nullHeapReference<DexCache> dex_cache_;HeapReference<ClassExt> ext_data_;// interface table，接口方法表，IfTable 中保存了接口類指針和方法表指針HeapReference<IfTable> iftable_;// Descriptor for the class such as "java.lang.Class" or "[C". Lazily initialized by ComputeName// 類描述符 eg: java.lang.Class 或者 [CHeapReference<String> name_;// 父類，如果是 java.lang.Object 值為 nullHeapReference<Class> super_class_;// 虛方法表，"invoke-virtual" 指令會(huì)用到，用來保存父類虛方法以及自身虛方法HeapReference<PointerArray> vtable_;// 保存類屬性，只保存自身屬性u(píng)int64_t ifields_;// 指向 ArtMethod 數(shù)組，保存了所有的方法，包括私有方法，靜態(tài)方法，final 方法，虛方法和繼承的方法uint64_t methods_;// 保存靜態(tài)屬性u(píng)int64_t sfields_;// 訪問修飾符uint32_t access_flags_;uint32_t class_flags_;// 類實(shí)例大小，GC 時(shí)使用uint32_t class_size_;// 線程 id，類加載時(shí)加鎖使用pid_t clinit_thread_id_;// ClassDex 在 DEX 文件中的 indexint32_t dex_class_def_idx_;// DEX 文件中的類型 idint32_t dex_type_idx_;// 實(shí)例屬性數(shù)量uint32_t num_reference_instance_fields_;// 靜態(tài)變量數(shù)量uint32_t num_reference_static_fields_;// 對(duì)象大小，GC 時(shí)使用uint32_t object_size_;uint32_t object_size_alloc_fast_path_;uint32_t primitive_type_;// ifields 的偏移量uint32_t reference_instance_offsets_;// 類初始化狀態(tài)Status status_;// methods_ 中第一個(gè)從接口中復(fù)制的虛方法的偏移uint16_t copied_methods_offset_;// methods_ 中第一個(gè)自身定義的虛方法的偏移uint16_t virtual_methods_offset_;// java.lang.Classstatic GcRoot<Class> java_lang_Class_; }; 復(fù)制代碼上面的類就是 Java 類在 ART 中的真實(shí)形態(tài)，各個(gè)屬性在上面做了注釋。
這里對(duì)幾個(gè)比較重要的屬性再做一下解釋。
和 Java 類方法有關(guān)的兩個(gè)屬性是 iftable_，vtable_ 和 methods_。
其中 iftable_ 保存的是接口中的方法，vtable_ 保存的是虛方法，methods_ 保存的是所有方法。
什么是虛方法呢？虛方法其實(shí)是 C++ 中的概念，在 C++ 中，被 virtual 關(guān)鍵字修飾的方法就是虛方法。
而在 Java 中，我們可以理解為所有子類復(fù)寫的方法都是虛方法。
和 Java 類屬性有關(guān)的兩個(gè)屬性是 ifields_ 和 sfields_。分別保存的是類的實(shí)例屬性和靜態(tài)屬性。
從上面的我們可以看到，Java 類的屬性就都保存在 ART 中定義的 Class 里了。
其中方法最終會(huì)指向 ArtMethod 實(shí)例上，屬性，最終會(huì)指向 ArtField 實(shí)例上。
2.2 類方法的定義
在 ART 中，一個(gè) Java 的類方法是用 ArtMethod 實(shí)例來表示的。
ArtMethod 結(jié)構(gòu)如下：
2.3 類屬性的定義
在 ART 中，一個(gè) Java 類屬性是用 ArtField 實(shí)例來表示的。
ArtField 結(jié)構(gòu)如下：
三、ART 中加載類的過程
3.1 類加載的本質(zhì)
在 Java 中定義好一個(gè)類之后，還需要通過 ClassLoader 進(jìn)行加載。
我們經(jīng)常會(huì)說到類加載，但是類加載的本質(zhì)是什么呢？
在我們上面了解了一個(gè) Java 類在 ART 中的真實(shí)形態(tài)以后，我們就比較容易理解類加載的本質(zhì)了。
我們都知道，Java 文件編譯完成的產(chǎn)物是 .class 文件，在 Android 中是 .dex 文件，類加載的本質(zhì)就是解析 .class / .dex 文件，并根據(jù)對(duì)應(yīng)的信息生成 ArtField，ArtMethod，最后生成 Class 實(shí)例。
再簡(jiǎn)單點(diǎn)來說，類加載的本質(zhì)就是根據(jù) .dex 文件內(nèi)容創(chuàng)建 Class 實(shí)例。
3.2 ART 中類加載的入口 -- ClassLinker#DefineClass
在 Android 中，常見的兩個(gè) ClassLoader 就是 PathClassLoader 和 DexClassLoader，都是繼承了 BaseDexClassLoader，我們就從 BaseDexClassLoader#findClass 開始看一下整個(gè)加載的流程。
// BaseDexClassLoader#findClass protected Class<?> findClass(String name) throws ClassNotFoundException {List<Throwable> suppressedExceptions = new ArrayList<Throwable>();Class c = pathList.findClass(name, suppressedExceptions);// ...return c; } // DexPathList#findClass public Class<?> findClass(String name, List<Throwable> suppressed) {for (Element element : dexElements) {Class<?> clazz = element.findClass(name, definingContext, suppressed);if (clazz != null) {return clazz;}}// ...return null; } // Element#findCLass public Class<?> findClass(String name, ClassLoader definingContext,List<Throwable> suppressed) {return dexFile != null ? dexFile.loadClassBinaryName(name, definingContext, suppressed): null; } 復(fù)制代碼從上面的代碼來看，BaseDexClassLoader#findClass 一路調(diào)用，調(diào)用到 DexFile#loadClassBinaryName，我們?cè)倮^續(xù)往下看。
// DexFile public Class loadClassBinaryName(String name, ClassLoader loader, List<Throwable> suppressed) {return defineClass(name, loader, mCookie, this, suppressed); }private static Class defineClass(String name, ClassLoader loader, Object cookie,DexFile dexFile, List<Throwable> suppressed) {Class result = null;try {result = defineClassNative(name, loader, cookie, dexFile);} catch (NoClassDefFoundError e) {if (suppressed != null) {suppressed.add(e);}} catch (ClassNotFoundException e) {if (suppressed != null) {suppressed.add(e);}}return result; } 復(fù)制代碼在 DexFile 里，最終調(diào)用到 defineClassNative 方法去加載 Class，對(duì)應(yīng)到 JNI 中的方法是 DexFile_defineClassNative，位于 runtime/native/dalvik_system_DexFile.cc 文件中。
static jclass DexFile_defineClassNative(JNIEnv* env,jclass,jstring javaName,jobject javaLoader,jobject cookie,jobject dexFile) {// 調(diào)用for (auto& dex_file : dex_files) {ObjPtr<mirror::Class> result = class_linker->DefineClass(soa.Self(),descriptor.c_str(),hash,class_loader,*dex_file,*dex_class_def);} } 復(fù)制代碼而在 defineClassNative 中，又是調(diào)用 ClassLinker#DefineClass 去加載類的。
所以我們可以說，ClassLinker#DefineClass 就是 ART 中類加載的入口。
入口已經(jīng)出現(xiàn)，我們就進(jìn)去探索一番，看看類加載的時(shí)候，是如何創(chuàng)建 Class 實(shí)例的～
DefineClass 本身代碼比較多，我們這里把代碼簡(jiǎn)化一下，看其主要流程。
mirror::Class* ClassLinker::DefineClass(Thread* self,const char* descriptor,size_t hash,Handle<mirror::ClassLoader> class_loader,const DexFile& dex_file,const DexFile::ClassDef& dex_class_def) {auto klass = hs.NewHandle<mirror::Class>(nullptr);// 一些常用的，并且類大小可以確定的，會(huì)提前構(gòu)造好對(duì)應(yīng)的 Class，所以這里直接使用if (UNLIKELY(!init_done_)) {// finish up init of hand crafted class_roots_if (strcmp(descriptor, "Ljava/lang/Object;") == 0) {klass.Assign(GetClassRoot(kJavaLangObject));} else if (strcmp(descriptor, "Ljava/lang/Class;") == 0) {klass.Assign(GetClassRoot(kJavaLangClass));} else if (strcmp(descriptor, "Ljava/lang/String;") == 0) {klass.Assign(GetClassRoot(kJavaLangString));} else if (strcmp(descriptor, "Ljava/lang/ref/Reference;") == 0) {klass.Assign(GetClassRoot(kJavaLangRefReference));} else if (strcmp(descriptor, "Ljava/lang/DexCache;") == 0) {klass.Assign(GetClassRoot(kJavaLangDexCache));} else if (strcmp(descriptor, "Ldalvik/system/ClassExt;") == 0) {klass.Assign(GetClassRoot(kDalvikSystemClassExt));}}if (klass == nullptr) {// 創(chuàng)建其他類實(shí)例klass.Assign(AllocClass(self, SizeOfClassWithoutEmbeddedTables(dex_file, dex_class_def)));}// 設(shè)置對(duì)應(yīng)的 DEX 緩存klass->SetDexCache(dex_cache);// 設(shè)置 Class 的一些屬性，包括 ClassLoader，訪問修飾符，Class 在 DEX 中對(duì)應(yīng)的 index 等等SetupClass(*new_dex_file, *new_class_def, klass, class_loader.Get());// 把 Class 插入 ClassLoader 的 class_table 中做一個(gè)緩存ObjPtr<mirror::Class> existing = InsertClass(descriptor, klass.Get(), hash);// 加載類屬性LoadClass(self, *new_dex_file, *new_class_def, klass);// 加載父類if (!LoadSuperAndInterfaces(klass, *new_dex_file)) {// 加載失敗的處理}if (!LinkClass(self, descriptor, klass, interfaces, &h_new_class)) {// 連接失敗的處理}// ...return h_new_class.Get(); } 復(fù)制代碼從上面 DefineClass 的代碼里我們可以看到，加載分為幾個(gè)步驟：
下面我們主要看下后面加載類成員，加載父類，連接這三個(gè)步驟。
3.3 加載類成員 -- LoadClass
加載類成員這一過程，主要有下面幾個(gè)步驟：
3.3.1 加載靜態(tài)變量
// class_linker.cc void ClassLinker::LoadClassMembers(Thread* self,const DexFile& dex_file,const uint8_t* class_data,Handle<mirror::Class> klass) {{// Load static fields.// 獲取 DEX 文件中的變量迭代器ClassDataItemIterator it(dex_file, class_data);LengthPrefixedArray<ArtField>* sfields = AllocArtFieldArray(self,allocator,it.NumStaticFields());// ...// 遍歷靜態(tài)變量for (; it.HasNextStaticField(); it.Next()) {// ...LoadField(it, klass, &sfields->At(num_sfields));}// ...klass->SetSFieldsPtr(sfields);} }// 加載變量，設(shè)置變量 Class 以及訪問修飾符 void ClassLinker::LoadField(const ClassDataItemIterator& it,Handle<mirror::Class> klass,ArtField* dst) {const uint32_t field_idx = it.GetMemberIndex();dst->SetDexFieldIndex(field_idx);dst->SetDeclaringClass(klass.Get());dst->SetAccessFlags(it.GetFieldAccessFlags()); } 復(fù)制代碼加載靜態(tài)變量時(shí)，取出 DEX 文件中對(duì)應(yīng)的 Class 數(shù)據(jù)，遍歷其中的靜態(tài)變量，設(shè)置給 Class#sfield_ 變量。
3.3.2 加載實(shí)例變量
加載實(shí)例變量和加載靜態(tài)變量是類似的，這里不做過多的解讀了。
void ClassLinker::LoadClassMembers(Thread* self,const DexFile& dex_file,const uint8_t* class_data,Handle<mirror::Class> klass) {{// Load instance fields.LengthPrefixedArray<ArtField>* ifields = AllocArtFieldArray(self,allocator,it.NumInstanceFields());for (; it.HasNextInstanceField(); it.Next()) {LoadField(it, klass, &ifields->At(num_ifields));}// ...klass->SetIFieldsPtr(ifields);} } 復(fù)制代碼3.3.3 加載方法
void ClassLinker::LoadClassMembers(Thread* self,const DexFile& dex_file,const uint8_t* class_data,Handle<mirror::Class> klass) {{for (size_t i = 0; it.HasNextDirectMethod(); i++, it.Next()) {ArtMethod* method = klass->GetDirectMethodUnchecked(i, image_pointer_size_);LoadMethod(dex_file, it, klass, method);LinkCode(this, method, oat_class_ptr, class_def_method_index);// ...}for (size_t i = 0; it.HasNextVirtualMethod(); i++, it.Next()) {ArtMethod* method = klass->GetVirtualMethodUnchecked(i, image_pointer_size_);LoadMethod(dex_file, it, klass, method);LinkCode(this, method, oat_class_ptr, class_def_method_index);// ...}} } 復(fù)制代碼加載方法時(shí)分為兩個(gè)步驟，LoadMethod 和 LinkCode。
void ClassLinker::LoadMethod(const DexFile& dex_file,const ClassDataItemIterator& it,Handle<mirror::Class> klass,ArtMethod* dst) {// ...dst->SetDexMethodIndex(dex_method_idx);dst->SetDeclaringClass(klass.Get());dst->SetCodeItemOffset(it.GetMethodCodeItemOffset());dst->SetDexCacheResolvedMethods(klass->GetDexCache()->GetResolvedMethods(), image_pointer_size_);uint32_t access_flags = it.GetMethodAccessFlags();// ...dst->SetAccessFlags(access_flags); } 復(fù)制代碼LoadMethod 主要是給 ArtMethod 設(shè)置訪問修飾符等屬性。
LinkCode 這一步驟，可以理解為是給 ArtMethod 設(shè)置方法入口，即從其他方法如何跳轉(zhuǎn)到此方法進(jìn)行執(zhí)行。這里也分為了幾種情況：
這就是解析方法的主要過程，關(guān)于方法的調(diào)用，其實(shí)還比較復(fù)雜，如果大家感興趣，后面可以再專門說說。
3.4 加載父類和接口 -- LoadSuperAndInterfaces
自身類成員加載完成后，就去加載父類。加載父類調(diào)用的是 LoadSuperAndInterfaces，主要代碼如下：
bool ClassLinker::LoadSuperAndInterfaces(Handle<mirror::Class> klass, const DexFile& dex_file) {// 加載父類ObjPtr<mirror::Class> super_class = ResolveType(dex_file, super_class_idx, klass.Get());// 檢查父類可見性if (!klass->CanAccess(super_class)) {// ...}// 設(shè)置父類klass->SetSuperClass(super_class);// 加載接口const DexFile::TypeList* interfaces = dex_file.GetInterfacesList(class_def);for (size_t i = 0; i < interfaces->Size(); i++) {ObjPtr<mirror::Class> interface = ResolveType(dex_file, idx, klass.Get());// ...// 檢查接口可見性if (!klass->CanAccess(interface)) {}}// 此時(shí)說明類已經(jīng)加載完畢了mirror::Class::SetStatus(klass, mirror::Class::kStatusLoaded, nullptr); } 復(fù)制代碼加載父類和接口都是通過 ResolveType 來的，ResolveType 中又是調(diào)用了 ClassLinker#FindClass -> ClassLinker#DefineClass 來的，于是加載父類的流程又回到了我們本小結(jié)開頭。
就這樣遞歸加載下去，直到父類全部加載完成，也就標(biāo)識(shí)著類自身也加載完成了。
3.5 連接 -- LinkClass
之后就是 LinkClass，這里步驟比較清晰，我們先看一下主要代碼：
bool ClassLinker::LinkClass(Thread* self,const char* descriptor,Handle<mirror::Class> klass,Handle<mirror::ObjectArray<mirror::Class>> interfaces,MutableHandle<mirror::Class>* h_new_class_out) {if (!LinkSuperClass(klass)) {return false;}// ...if (!LinkMethods(self, klass, interfaces, &new_conflict, imt_data)) {return false;}if (!LinkInstanceFields(self, klass)) {return false;}size_t class_size;if (!LinkStaticFields(self, klass, &class_size)) {return false;}// ...return true; } 復(fù)制代碼從主要代碼中可以看到，主要有四個(gè)步驟：
3.5.1 LinkSuperClass
這里主要是對(duì)父類權(quán)限做了一下檢查，包括是否是 final，是否對(duì)子類可見（父類為 public 或者同包名），以及繼承父類一些屬性（包括是否有 finalize?方法，ClassFlags 等等）。
bool ClassLinker::LinkSuperClass(Handle<mirror::Class> klass) {ObjPtr<mirror::Class> super = klass->GetSuperClass();// // Verifyif (super->IsFinal() || super->IsInterface()) {}if (!klass->CanAccess(super)) {}if (super->IsFinalizable()) {klass->SetFinalizable();}if (super->IsClassLoaderClass()) {klass->SetClassLoaderClass();}uint32_t reference_flags = (super->GetClassFlags() & mirror::kClassFlagReference);klass->SetClassFlags(klass->GetClassFlags() | reference_flags);return true; } 復(fù)制代碼3.5.2 LinkMethods
LinkMethods 主要做的事情是填充 vtable 和 itable。主要通過 SetupInterfaceLookupTable，LinkVirtualMethods，LinkInterfaceMethods 三個(gè)方法來進(jìn)行的：
bool ClassLinker::LinkMethods(Thread* self,Handle<mirror::Class> klass,Handle<mirror::ObjectArray<mirror::Class>> interfaces,bool* out_new_conflict,ArtMethod** out_imt) {// ...return SetupInterfaceLookupTable(self, klass, interfaces)&& LinkVirtualMethods(self, klass, /*out*/ &default_translations)&& LinkInterfaceMethods(self, klass, default_translations, out_new_conflict, out_imt); } 復(fù)制代碼SetupInterfaceLookupTable 用來填充 iftable_，就是上面說到保存接口的地方。iftable_ 對(duì)應(yīng)的是 IfTable 類。IfTable 類結(jié)構(gòu)如下：
class MANAGED IfTable FINAL : public ObjectArray<Object> {enum {// Points to the interface class.kInterface = 0,// Method pointers into the vtable, allow fast map from interface method index to concrete// instance method.kMethodArray = 1,kMax = 2,}; } 復(fù)制代碼其中 kInterface 指向 Interface 的 Class 對(duì)象，kMethodArray 指向的是 vtable，通過此變量可以方便的找到接口方法的實(shí)現(xiàn)。
LinkVirtualMethods 和 LinkInterfaceMethods 會(huì)填充 vtable_，這里具體的代碼很長(zhǎng)，我們暫且不分析（這里具體流程對(duì)于理解本文主旨其實(shí)影響不大），有兩個(gè)重要的過程是：
通過上面兩個(gè)過程，我們可以知道，vtable 中保存的就是真正方法的實(shí)現(xiàn)，也就是 Java 中多態(tài)的實(shí)現(xiàn)原理。
3.5.3 LinkInstanceFields & LinkStaticFields
這里的兩個(gè)方法最終都調(diào)用了 LinkFields?方法里做了兩件事情：
其中 fields 排序規(guī)則如下：
引用類型 -> long (64-bit) -> double (64-bit) -> int (32-bit) -> float (32-bit) -> char (16-bit) -> short (16-bit) -> boolean (8-bit) -> byte (8-bit)
總結(jié)
通過上面的分析，我們知道了一個(gè) Java 類在 Android ART 中的真實(shí)形態(tài)，也對(duì) ART 中類加載的過程做了一些簡(jiǎn)單的分析。
其實(shí)在寫這篇文章的時(shí)候，里面有一些知識(shí)點(diǎn)也會(huì)有些疑問，如果大家有任何想法，歡迎討論~
最后用文章開始的圖總結(jié)一下，回顧一下 ART 中類的全貌。
參考資料
www.zhihu.com/question/48…
blog.csdn.net/guoguodaern…
關(guān)于我
ZYLAB 專注高質(zhì)量原創(chuàng)，把代碼寫成詩
歡迎關(guān)注下面賬號(hào)，獲取更新：
微信搜索公眾號(hào): ZYLAB
Github
知乎
掘金
總結(jié)
以上是生活随笔為你收集整理的脱了马甲我也认识你: 聊聊 Android 中类的真实形态的全部?jī)?nèi)容，希望文章能夠幫你解決所遇到的問題。
- 上一篇： 美股周四：三大股指全线上涨，特斯拉涨近
- 下一篇： 富文本-测试