Định dạng tệp thực thi Dalvik

Tài liệu này mô tả bố cục và nội dung của các tệp .dex. Các tệp này được dùng để lưu giữ một tập hợp các định nghĩa lớp và dữ liệu bổ trợ được liên kết của chúng.

Hướng dẫn về các loại

LEB128

LEB128 ("Little-Endian Base 128") là một phương thức mã hoá có độ dài thay đổi cho số lượng số nguyên có dấu hoặc không dấu tuỳ ý. Định dạng này được mượn từ quy cách DWARF3. Trong tệp .dex, LEB128 chỉ được dùng để mã hoá các số lượng 32 bit.

Mỗi giá trị được mã hoá LEB128 bao gồm từ 1 đến 5 byte, cùng nhau biểu thị một giá trị 32 bit duy nhất. Mỗi byte đều có bit quan trọng nhất được đặt, ngoại trừ byte cuối cùng trong chuỗi có bit quan trọng nhất bị xoá. 7 bit còn lại của mỗi byte là tải trọng, với 7 bit ít quan trọng nhất của số lượng trong byte đầu tiên, 7 bit tiếp theo trong byte thứ hai, v.v. Trong trường hợp LEB128 đã ký (sleb128), bit tải trọng quan trọng nhất của byte cuối cùng trong chuỗi được mở rộng dấu để tạo ra giá trị cuối cùng. Trong trường hợp chưa ký (uleb128), mọi bit không được biểu thị rõ ràng đều được diễn giải là 0.

Biến thể uleb128p1 được dùng để biểu thị một giá trị đã ký, trong đó giá trị biểu thị là giá trị cộng một được mã hoá dưới dạng uleb128. Điều này giúp mã hoá -1 (hoặc có thể coi là giá trị không có dấu 0xffffffff) – nhưng không có số âm nào khác – thành một byte duy nhất và hữu ích trong chính những trường hợp mà số được biểu thị phải là số không âm hoặc -1 (hoặc 0xffffffff) và không được phép có giá trị âm nào khác (hoặc khi không cần đến các giá trị không có dấu lớn).

Dưới đây là một số ví dụ về các định dạng:

Bố cục tệp

Định dạng vùng chứa

Phiên bản 41 giới thiệu một định dạng vùng chứa mới cho dữ liệu DEX nhằm mục đích tiết kiệm dung lượng. Định dạng vùng chứa này cho phép kết hợp một số tệp DEX logic thành một tệp vật lý duy nhất. Định dạng mới chủ yếu chỉ là sự kết hợp đơn giản của các tệp ở định dạng cũ, với một số điểm khác biệt:

• file_size là kích thước của tệp logic, chứ không phải tệp thực. Bạn có thể dùng phương thức này để lặp lại tất cả các tệp logic trong vùng chứa.
• Các tệp dex logic có thể tham chiếu đến mọi dữ liệu sau này trong vùng chứa (nhưng không phải dữ liệu trước đó). Điều này cho phép các tệp dex chia sẻ dữ liệu (chẳng hạn như chuỗi) giữa chúng.
• Tất cả các độ lệch đều liên quan đến tệp thực. Không có độ lệch nào so với tiêu đề. Điều này đảm bảo rằng các phần có độ lệch có thể được chia sẻ giữa các tệp logic.
• Tiêu đề này thêm 2 trường mới để mô tả các điều kiện ràng buộc của vùng chứa. Đây là một bước kiểm tra tính nhất quán bổ sung và giúp việc chuyển mã sang định dạng mới dễ dàng hơn.
• data_size và data_off hiện không được dùng nữa. Dữ liệu có thể được trải rộng trên nhiều tệp logic và không nhất thiết phải liền kề.

Định nghĩa về trường bit, chuỗi và hằng số

DEX_FILE_MAGIC

Được nhúng trong header_item

Mảng/chuỗi hằng số DEX_FILE_MAGIC là danh sách các byte phải xuất hiện ở đầu tệp .dex để được nhận dạng là tệp đó. Giá trị này cố ý chứa một dòng mới ("\n" hoặc 0x0a) và một byte rỗng ("\0" hoặc 0x00) để giúp phát hiện một số dạng hỏng dữ liệu. Giá trị này cũng mã hoá số phiên bản định dạng dưới dạng 3 chữ số thập phân, dự kiến sẽ tăng đơn điệu theo thời gian khi định dạng phát triển.

ubyte[8] DEX_FILE_MAGIC = { 0x64 0x65 0x78 0x0a 0x30 0x33 0x39 0x00 }
                        = "dex\n039\0"

Lưu ý: Chúng tôi đã thêm tính năng hỗ trợ phiên bản 041 của định dạng này trong bản phát hành Android 16, hỗ trợ định dạng vùng chứa.

Lưu ý: Chúng tôi đã thêm tính năng hỗ trợ phiên bản 040 của định dạng này trong bản phát hành Android 10.0, giúp mở rộng tập hợp các ký tự được phép trong SimpleNames.

Lưu ý: Chúng tôi đã thêm tính năng hỗ trợ cho phiên bản 039 của định dạng này trong bản phát hành Android 9.0. Bản phát hành này giới thiệu 2 mã byte mới là const-method-handle và const-method-type. (Mỗi loại được mô tả trong bảng Tóm tắt bộ mã byte.) Trong Android 10, phiên bản 039 mở rộng định dạng tệp DEX để bao gồm thông tin API ẩn chỉ áp dụng cho các tệp DEX trên đường dẫn lớp khởi động.

Lưu ý: Chúng tôi đã thêm tính năng hỗ trợ phiên bản 038 của định dạng này trong bản phát hành Android 8.0. Phiên bản 038 đã thêm các mã byte mới (invoke-polymorphic và invoke-custom) và dữ liệu cho các hàm xử lý phương thức.

Lưu ý: Chúng tôi đã thêm tính năng hỗ trợ phiên bản 037 của định dạng này trong bản phát hành Android 7.0. Trước phiên bản 037, hầu hết các phiên bản Android đều sử dụng phiên bản 035 của định dạng này. Điểm khác biệt duy nhất giữa phiên bản 035 và 037 là việc bổ sung các phương thức mặc định và điều chỉnh invoke.

Lưu ý: Ít nhất một vài phiên bản trước của định dạng này đã được dùng trong các bản phát hành phần mềm công khai có sẵn rộng rãi. Ví dụ: phiên bản 009 được dùng cho các bản phát hành M3 của nền tảng Android (tháng 11 – tháng 12 năm 2007) và phiên bản 013 được dùng cho các bản phát hành M5 của nền tảng Android (tháng 2 – tháng 3 năm 2008). Ở một số khía cạnh, các phiên bản trước của định dạng này khác biệt đáng kể so với phiên bản được mô tả trong tài liệu này.

ENDIAN_CONSTANT và REVERSE_ENDIAN_CONSTANT

Được nhúng trong header_item

Hằng số ENDIAN_CONSTANT được dùng để cho biết thứ tự byte của tệp mà hằng số này xuất hiện. Mặc dù định dạng .dex tiêu chuẩn là little-endian, nhưng các hoạt động triển khai có thể chọn thực hiện việc hoán đổi byte. Nếu quá trình triển khai gặp phải một tiêu đề có endian_tag là REVERSE_ENDIAN_CONSTANT thay vì ENDIAN_CONSTANT, thì quá trình triển khai đó sẽ biết rằng tệp đã được hoán đổi byte từ dạng thức dự kiến.

uint ENDIAN_CONSTANT = 0x12345678;
uint REVERSE_ENDIAN_CONSTANT = 0x78563412;

NO_INDEX

Được nhúng trong class_def_item và debug_info_item

Hằng số NO_INDEX được dùng để cho biết rằng giá trị chỉ mục không có.

Lưu ý: Giá trị này không được xác định là 0, vì trên thực tế, đó thường là một chỉ mục hợp lệ.

Giá trị đã chọn cho NO_INDEX có thể biểu thị dưới dạng một byte duy nhất trong phương thức mã hoá uleb128p1.

uint NO_INDEX = 0xffffffff;    // == -1 if treated as a signed int

Định nghĩa access_flags

Được nhúng trong class_def_item, encoded_field, encoded_method và InnerClass

Bitfield của các cờ này được dùng để cho biết khả năng tiếp cận và các thuộc tính tổng thể của các lớp và thành viên lớp.

* Chỉ được phép xuất hiện trên chú thích InnerClass và không được xuất hiện trong class_def_item.

Phương thức mã hoá UTF-8 đã sửa đổi

Để dễ dàng hỗ trợ các phiên bản cũ, định dạng .dex sẽ mã hoá dữ liệu chuỗi của mình ở dạng UTF-8 đã sửa đổi theo tiêu chuẩn thực tế, sau đây gọi là MUTF-8. Biểu mẫu này giống hệt với UTF-8 tiêu chuẩn, ngoại trừ:

• Chỉ sử dụng các phương thức mã hoá một, hai và ba byte.
• Các điểm mã trong dải U+10000 … U+10ffff được mã hoá dưới dạng một cặp thay thế, mỗi cặp được biểu thị dưới dạng một giá trị được mã hoá gồm 3 byte.
• Điểm mã U+0000 được mã hoá ở dạng 2 byte.
• Một byte rỗng đơn giản (giá trị 0) cho biết phần cuối của một chuỗi, theo cách diễn giải tiêu chuẩn của ngôn ngữ C.

Hai mục đầu tiên ở trên có thể được tóm tắt như sau: MUTF-8 là một định dạng mã hoá cho UTF-16, thay vì là một định dạng mã hoá trực tiếp hơn cho các ký tự Unicode.

Hai mục cuối cùng ở trên giúp bạn có thể đồng thời đưa điểm mã U+0000 vào một chuỗi và vẫn thao tác với chuỗi đó dưới dạng chuỗi kết thúc bằng giá trị rỗng theo kiểu C.

Tuy nhiên, phương thức mã hoá đặc biệt của U+0000 có nghĩa là không giống như UTF-8 thông thường, kết quả của việc gọi hàm C tiêu chuẩn strcmp() trên một cặp chuỗi MUTF-8 không phải lúc nào cũng cho biết kết quả được ký đúng cách của việc so sánh các chuỗi không bằng nhau. Khi thứ tự (không chỉ là sự bình đẳng) là một vấn đề, cách đơn giản nhất để so sánh các chuỗi MUTF-8 là giải mã chúng từng ký tự và so sánh các giá trị đã giải mã. (Tuy nhiên, bạn cũng có thể triển khai theo cách thông minh hơn.)

Vui lòng tham khảo Tiêu chuẩn Unicode để biết thêm thông tin về hệ thống mã hoá ký tự. MUTF-8 thực sự gần với phương thức mã hoá CESU-8 (tương đối ít người biết đến) hơn là UTF-8.

mã hoá encoded_value

Được nhúng trong annotation_element và encoded_array_item

encoded_value là một phần được mã hoá của dữ liệu có cấu trúc phân cấp (gần như) tuỳ ý. Mục đích của việc mã hoá là để vừa nhỏ gọn vừa dễ phân tích cú pháp.

Định dạng giá trị

định dạng encoded_array

định dạng encoded_annotation

định dạng annotation_element

Cú pháp chuỗi

Có một số loại mục trong tệp .dex, cuối cùng sẽ tham chiếu đến một chuỗi. Các định nghĩa theo kiểu BNF sau đây cho biết cú pháp chấp nhận được cho các chuỗi này.

SimpleName

SimpleName là cơ sở cho cú pháp của tên của những thứ khác. Định dạng .dex cho phép một lượng lớn khoảng trống ở đây (nhiều hơn hầu hết các ngôn ngữ nguồn phổ biến). Nói tóm lại, tên đơn giản bao gồm mọi ký tự chữ cái hoặc chữ số ASCII thấp, một số ký hiệu ASCII thấp cụ thể và hầu hết các điểm mã không phải ASCII không phải là ký tự điều khiển, khoảng trắng hoặc ký tự đặc biệt. Kể từ phiên bản 040, định dạng này cũng cho phép các ký tự dấu cách (danh mục Unicode Zs). Xin lưu ý rằng các điểm mã thay thế (trong phạm vi U+d800 … U+dfff) không được coi là ký tự tên hợp lệ, nhưng các ký tự bổ sung Unicode là hợp lệ (được biểu thị bằng lựa chọn thay thế cuối cùng của quy tắc cho SimpleNameChar) và chúng phải được biểu thị trong một tệp dưới dạng các cặp điểm mã thay thế trong mã hoá MUTF-8.

Tên thành viên

được dùng bởi field_id_item và method_id_item

MemberName là tên của một thành viên trong lớp, các thành viên là trường, phương thức và lớp bên trong.

FullClassName

FullClassName là tên lớp đủ điều kiện, bao gồm một bộ chỉ định gói không bắt buộc, theo sau là một tên bắt buộc.

TypeDescriptor

Được dùng bởi type_id_item

TypeDescriptor là biểu thị của mọi loại, bao gồm cả các kiểu dữ liệu nguyên thuỷ, lớp, mảng và void. Xem bên dưới để biết ý nghĩa của các phiên bản.

ShortyDescriptor

Được dùng bởi proto_id_item

ShortyDescriptor là dạng biểu diễn ngắn của một nguyên mẫu phương thức, bao gồm cả các loại dữ liệu trả về và tham số, ngoại trừ việc không có sự phân biệt giữa nhiều loại tham chiếu (lớp hoặc mảng). Thay vào đó, tất cả các loại tham chiếu đều được biểu thị bằng một ký tự 'L'.

Ngữ nghĩa TypeDescriptor

Đây là ý nghĩa của từng biến thể của TypeDescriptor.

Các mục và cấu trúc liên quan

Phần này bao gồm các định nghĩa cho từng mục cấp cao nhất có thể xuất hiện trong tệp .dex.

header_item

Xuất hiện trong phần đầu trang

Căn chỉnh: 4 byte

map_list

Xuất hiện trong phần dữ liệu

Được tham chiếu từ header_item

Căn chỉnh: 4 byte

Đây là danh sách toàn bộ nội dung của một tệp, theo thứ tự. Nó chứa một số thông tin dư thừa liên quan đến header_item nhưng được dự định là một biểu mẫu dễ sử dụng để lặp lại toàn bộ tệp. Một loại nhất định chỉ được xuất hiện tối đa một lần trong bản đồ, nhưng không có hạn chế nào về thứ tự xuất hiện của các loại, ngoài những hạn chế ngụ ý theo phần còn lại của định dạng (ví dụ: phần header phải xuất hiện trước, theo sau là phần string_ids, v.v.). Ngoài ra, các mục nhập bản đồ phải được sắp xếp theo độ lệch ban đầu và không được trùng lặp.

Định dạng map_item

Mã loại

string_id_item

Xuất hiện trong phần string_ids

Căn chỉnh: 4 byte

string_data_item

Xuất hiện trong phần dữ liệu

Căn chỉnh: không có (căn chỉnh theo byte)

type_id_item

Xuất hiện trong phần type_ids

Căn chỉnh: 4 byte

proto_id_item

Xuất hiện trong phần proto_ids

Căn chỉnh: 4 byte

field_id_item

Xuất hiện trong phần field_ids

Căn chỉnh: 4 byte

method_id_item

Xuất hiện trong phần method_ids

Căn chỉnh: 4 byte

class_def_item

Xuất hiện trong phần class_defs

Căn chỉnh: 4 byte

call_site_id_item

Xuất hiện trong mục call_site_ids

Căn chỉnh: 4 byte

call_site_item

Xuất hiện trong phần dữ liệu

Căn chỉnh: không có (căn chỉnh theo byte)

call_site_item là một encoded_array_item có các phần tử tương ứng với các đối số được cung cấp cho một phương thức liên kết khởi động. Ba đối số đầu tiên là:

1. Một phương thức xử lý đại diện cho phương thức liên kết khởi động (VALUE_METHOD_HANDLE).
2. Tên phương thức mà trình liên kết khởi động cần phân giải (VALUE_STRING).
3. Một loại phương thức tương ứng với loại tên phương thức cần phân giải (VALUE_METHOD_TYPE).

Mọi đối số bổ sung đều là các giá trị hằng số được truyền đến phương thức liên kết khởi động. Các đối số này được truyền theo thứ tự và không có bất kỳ lượt chuyển đổi loại nào.

Phương thức xử lý đại diện cho phương thức liên kết khởi động phải có kiểu trả về là java.lang.invoke.CallSite. Ba loại tham số đầu tiên là:

1. java.lang.invoke.Lookup
2. java.lang.String
3. java.lang.invoke.MethodType

Các loại tham số của mọi đối số bổ sung được xác định từ các giá trị hằng số của chúng.

method_handle_item

Xuất hiện trong phần method_handles

Căn chỉnh: 4 byte

Mã loại xử lý phương thức

class_data_item

Được tham chiếu từ class_def_item

Xuất hiện trong phần dữ liệu

Căn chỉnh: không có (căn chỉnh theo byte)

Lưu ý: Tất cả các thực thể field_id và method_id của phần tử đều phải tham chiếu đến cùng một lớp xác định.

Định dạng encoded_field

Định dạng encoded_method

type_list

Được tham chiếu từ class_def_item và proto_id_item

Xuất hiện trong phần dữ liệu

Căn chỉnh: 4 byte

định dạng type_item

code_item

Được tham chiếu từ encoded_method

Xuất hiện trong phần dữ liệu

Căn chỉnh: 4 byte

Định dạng try_item

định dạng encoded_catch_handler_list

định dạng encoded_catch_handler

định dạng encoded_type_addr_pair

debug_info_item

Được tham chiếu từ code_item

Xuất hiện trong phần dữ liệu

Căn chỉnh: không có (căn chỉnh theo byte)

Mỗi debug_info_item xác định một máy trạng thái được mã hoá theo byte lấy cảm hứng từ DWARF3. Khi được diễn giải, máy này sẽ phát ra bảng vị trí và (có thể) thông tin biến cục bộ cho một code_item. Trình tự này bắt đầu bằng một tiêu đề có độ dài thay đổi (độ dài phụ thuộc vào số lượng tham số phương thức), theo sau là mã byte của máy trạng thái và kết thúc bằng một byte DBG_END_SEQUENCE.

Máy trạng thái bao gồm 5 thanh ghi. Thanh ghi address biểu thị độ lệch lệnh trong insns_item được liên kết theo đơn vị mã 16 bit. Thanh ghi address bắt đầu từ 0 ở đầu mỗi chuỗi debug_info và chỉ được tăng đơn điệu. Thanh ghi line biểu thị số dòng nguồn cần được liên kết với mục nhập bảng vị trí tiếp theo do máy trạng thái phát ra. Tham số này được khởi tạo trong tiêu đề chuỗi và có thể thay đổi theo hướng dương hoặc âm nhưng không bao giờ được nhỏ hơn 1. Thanh ghi source_file đại diện cho tệp nguồn mà các mục số dòng tham chiếu đến. Biến này được khởi tạo thành giá trị của source_file_idx trong class_def_item. Hai biến còn lại, prologue_end và epilogue_begin, là các cờ boolean (được khởi tạo thành false) cho biết liệu vị trí tiếp theo được phát ra có được coi là phần mở đầu hay phần kết của phương thức hay không. Máy trạng thái cũng phải theo dõi tên và loại của biến cục bộ gần đây nhất trong mỗi thanh ghi cho mã DBG_RESTART_LOCAL.

Tiêu đề như sau:

Các giá trị mã byte như sau:

Mã lệnh đặc biệt

Các mã lệnh có giá trị từ 0x0a đến 0xff (bao gồm cả 0x0a và 0xff) sẽ di chuyển cả các thanh ghi line và address một chút rồi phát ra một mục nhập bảng vị trí mới. Công thức cho các mức tăng như sau:

DBG_FIRST_SPECIAL = 0x0a  // the smallest special opcode
DBG_LINE_BASE   = -4      // the smallest line number increment
DBG_LINE_RANGE  = 15      // the number of line increments represented

adjusted_opcode = opcode - DBG_FIRST_SPECIAL

line += DBG_LINE_BASE + (adjusted_opcode % DBG_LINE_RANGE)
address += (adjusted_opcode / DBG_LINE_RANGE)

annotations_directory_item

Được tham chiếu từ class_def_item

Xuất hiện trong phần dữ liệu

Căn chỉnh: 4 byte

Lưu ý: Tất cả các thực thể field_id và method_id của phần tử đều phải tham chiếu đến cùng một lớp xác định.

định dạng field_annotation

định dạng method_annotation

định dạng parameter_annotation

annotation_set_ref_list

Được tham chiếu từ parameter_annotations_item

Xuất hiện trong phần dữ liệu

Căn chỉnh: 4 byte

định dạng annotation_set_ref_item

annotation_set_item

Được tham chiếu từ annotations_directory_item, field_annotations_item, method_annotations_item và annotation_set_ref_item

Xuất hiện trong phần dữ liệu

Căn chỉnh: 4 byte

định dạng annotation_off_item

annotation_item

Được tham chiếu từ annotation_set_item

Xuất hiện trong phần dữ liệu

Căn chỉnh: không có (căn chỉnh theo byte)

Giá trị chế độ hiển thị

Đây là các lựa chọn cho trường visibility trong annotation_item:

encoded_array_item

Được tham chiếu từ class_def_item

Xuất hiện trong phần dữ liệu

Căn chỉnh: không có (căn chỉnh theo byte)

hiddenapi_class_data_item

Phần này chứa dữ liệu về các giao diện bị hạn chế mà mỗi lớp sử dụng.

Lưu ý: Tính năng API ẩn được giới thiệu trong Android 10.0 và chỉ áp dụng cho các tệp DEX của các lớp trong đường dẫn lớp khởi động. Danh sách cờ được mô tả bên dưới có thể được mở rộng trong các bản phát hành Android trong tương lai. Để biết thêm thông tin, hãy xem các hạn chế đối với giao diện không phải SDK.

Các loại cờ hạn chế:

Chú thích hệ thống

Chú thích hệ thống được dùng để biểu thị nhiều phần thông tin phản chiếu về các lớp (cũng như phương thức và trường). Thông thường, mã ứng dụng (không phải hệ thống) chỉ truy cập gián tiếp vào thông tin này.

Chú thích hệ thống được biểu thị trong các tệp .dex dưới dạng chú thích có chế độ hiển thị được đặt thành VISIBILITY_SYSTEM.

dalvik.annotation.AnnotationDefault

Xuất hiện trên các phương thức trong giao diện chú giải

Chú thích AnnotationDefault được đính kèm vào mỗi giao diện chú thích muốn cho biết các liên kết mặc định.

dalvik.annotation.EnclosingClass

Xuất hiện trên các lớp học

Chú thích EnclosingClass được đính kèm vào mỗi lớp được xác định là thành phần của một lớp khác, hoặc là ẩn danh nhưng không được xác định trong phần nội dung phương thức (ví dụ: một lớp bên trong giả tạo). Mọi lớp có chú giải này cũng phải có chú giải InnerClass. Ngoài ra, một lớp không được có cả chú giải EnclosingClass và EnclosingMethod.

dalvik.annotation.EnclosingMethod

Xuất hiện trên các lớp học

Chú thích EnclosingMethod được đính kèm vào mỗi lớp được xác định bên trong phần nội dung phương thức. Mọi lớp có chú giải này cũng phải có chú giải InnerClass. Ngoài ra, một lớp không được có cả chú giải EnclosingClass và EnclosingMethod.

dalvik.annotation.InnerClass

Xuất hiện trên các lớp học

Chú thích InnerClass được đính kèm vào mỗi lớp được xác định trong phạm vi từ vựng của định nghĩa lớp khác. Mọi lớp có chú thích này cũng phải có một trong hai chú thích EnclosingClass hoặc chú thích EnclosingMethod.

dalvik.annotation.MemberClasses

Xuất hiện trên các lớp học

Chú thích MemberClasses được đính kèm vào mỗi lớp khai báo các lớp thành phần. (Lớp thành viên là một lớp bên trong trực tiếp có tên.)

dalvik.annotation.MethodParameters

Xuất hiện trên các phương thức

Lưu ý: Chú thích này được thêm sau Android 7.1. Sự hiện diện của nó trên các bản phát hành Android trước đó sẽ bị bỏ qua.

Chú thích MethodParameters là không bắt buộc và có thể dùng để cung cấp siêu dữ liệu tham số, chẳng hạn như tên tham số và đối tượng sửa đổi.

Bạn có thể bỏ qua chú giải này một cách an toàn trong một phương thức hoặc hàm khởi tạo khi không cần siêu dữ liệu tham số trong thời gian chạy. Bạn có thể dùng java.lang.reflect.Parameter.isNamePresent() để kiểm tra xem một tham số có siêu dữ liệu hay không, và các phương thức phản chiếu được liên kết (chẳng hạn như java.lang.reflect.Parameter.getName()) sẽ quay lại hành vi mặc định trong thời gian chạy nếu không có thông tin.

Khi đưa siêu dữ liệu tham số vào, trình biên dịch phải đưa thông tin vào các lớp được tạo, chẳng hạn như enum, vì siêu dữ liệu tham số bao gồm cả việc một tham số có phải là tham số tổng hợp hay bắt buộc hay không.

Chú thích MethodParameters chỉ mô tả các tham số phương thức riêng lẻ. Do đó, trình biên dịch có thể bỏ qua hoàn toàn chú thích cho các hàm khởi tạo và phương thức không có tham số, vì mục đích kích thước mã và hiệu quả thời gian chạy.

Các mảng được ghi lại bên dưới phải có cùng kích thước với cấu trúc dex method_id_item được liên kết với phương thức, nếu không, java.lang.reflect.MalformedParametersException sẽ được truyền trong thời gian chạy.

Tức là: method_id_item.proto_idx -> proto_id_item.parameters_off -> type_list.size phải giống với names().length và accessFlags().length.

Vì MethodParameters mô tả tất cả các tham số phương thức chính thức, ngay cả những tham số không được khai báo rõ ràng hoặc ngầm định trong mã nguồn, kích thước của các mảng có thể khác với Chữ ký hoặc thông tin siêu dữ liệu khác chỉ dựa trên các tham số rõ ràng được khai báo trong mã nguồn. MethodParameters cũng sẽ không bao gồm bất kỳ thông tin nào về các tham số của đối tượng nhận chú thích kiểu không tồn tại trong chữ ký phương thức thực tế.

dalvik.annotation.Signature

Xuất hiện trên các lớp, trường và phương thức

Chú thích Signature được đính kèm vào mỗi lớp, trường hoặc phương thức được xác định theo một loại phức tạp hơn so với loại có thể biểu thị bằng type_id_item. Định dạng .dex không xác định định dạng cho chữ ký; định dạng này chỉ nhằm mục đích có thể biểu thị bất kỳ chữ ký nào mà ngôn ngữ nguồn yêu cầu để triển khai thành công ngữ nghĩa của ngôn ngữ đó. Do đó, các chữ ký thường không được các hoạt động triển khai máy ảo phân tích cú pháp (hoặc xác minh). Các chữ ký chỉ được chuyển cho các API và công cụ cấp cao hơn (chẳng hạn như trình gỡ lỗi). Do đó, mọi hoạt động sử dụng chữ ký đều phải được viết sao cho không đưa ra bất kỳ giả định nào về việc chỉ nhận được chữ ký hợp lệ, đồng thời tự bảo vệ một cách rõ ràng trước khả năng gặp phải chữ ký không hợp lệ về mặt cú pháp.

Vì chuỗi chữ ký có xu hướng có nhiều nội dung trùng lặp, nên chú thích Signature được xác định là một mảng gồm các chuỗi, trong đó các phần tử trùng lặp tự nhiên đề cập đến cùng một dữ liệu cơ bản và chữ ký được coi là sự nối kết của tất cả các chuỗi trong mảng. Không có quy tắc nào về cách tách chữ ký thành các chuỗi riêng biệt; điều đó hoàn toàn tuỳ thuộc vào các công cụ tạo tệp .dex.

dalvik.annotation.Throws

Xuất hiện trên các phương thức

Chú thích Throws được đính kèm vào mỗi phương thức được khai báo để truyền một hoặc nhiều loại ngoại lệ.