Java字节码（.class文件）格式详解（三） (三)

ClassBound:

: FieldTypeSignatureopt

InterfaceBound:

: FieldTypeSignature

SuperclassSignature:

ClassTypeSignature

SuperinterfaceSignature:

ClassTypeSignature

FieldTypeSignature:

ClassTypeSignature

ArrayTypeSignature

TypeVariableSignature

ClassTypeSignature:

L PackageSpecifier* SimpleClassTypeSignature

ClassTypeSignatureSuffix* ;

PackageSpecifier:

Identifier / PackageSpecifier*

SimpleClassTypeSignature:

Identifier TypeArgumentsopt

ClassTypeSignatureSuffix:

. SimpleClassTypeSignature

TypeVariableSignature:

T Identifier ;

TypeArguments:

<TypeArgument+>

TypeArgument:

WildcardIndicatoropt FieldTypeSignature

*

WildcardIndicator:

+

-

ArrayTypeSignature:

[TypeSignature

TypeSignature:

FieldTypeSignature

BaseType

以上定义没有看懂？？例子如：

对class MyClass { } 定义的类，产生如下的签名：

Ljava/lang/Object;

而对以下类定义：

classMyClass extendsClassFileParser implementsIndexParser {

}

则产生如下签名：

Lorg/levin/classfilereader/ClassFileParser;Lorg/levin/classfilereader/IndexParser;

2. 字段签名

语法定义如上，没能看懂。从Tomcat代码中的Digester.class文件中可以解析得到如下的例子：

Ljava/util/HashMap;>;（对应的descriptor：“Ljava/util/HashMap;”）

Ljava/util/Stack;（对应的descriptor：“Ljava/util/Stack;”）

3. 方法签名

语法定义：

MethodTypeSignature:

FormalTypeParametersopt (TypeSignature*) ReturnType

ThrowsSignature*

ReturnType:

TypeSignature

VoidDescriptor

ThrowsSignature:

^ClassTypeSignature

^TypeVariableSignature

也没能看懂。同样从Tomcat代码中的Digester.class文件中可以解析得到如下例子：

(Ljava/lang/String;Ljava/lang/Class<*>;Ljava/lang/String;)V（对应descriptor：“(Ljava/lang/String;Ljava/lang/Class;Ljava/lang/String;)V”）

(Ljava/lang/String;Ljava/lang/Class<*>;Ljava/lang/String;Z)V（对应descriptor：“(Ljava/lang/String;Ljava/lang/Class;Ljava/lang/String;Z)V”）

()Ljava/util/Map;（对应descriptor：“()Ljava/util/Map;”）

附录E：annotation结构和element_value结构

1. annotation结构

每一项annotation结构记录一项用户定义的annotation的值。如：

@Test(id = 4, description = "description",useCase = @UseCase())

@UseCase()

voidtestExecute(inta) {

}

编译器会为该方法生成两项annotation。每项annotation指定了annotation的类型和键值对。

2. element_value结构

element_value结构记录了所有annotation类型的键值对中的值。它是一个联合类型，可以表示多种类型的值。