面试结束复盘查漏补缺
每次面试都是检验自己知识与技术实力的一次机会,面试结束后建议大家及时总结复盘,查漏补缺,然后有针对性地进行学习,既能提高下一场面试的成功概率,还能增加自己的技术知识栈储备,可谓是一举两得。
以下最新总结的阿里P6资深Java必考题范围和答案,包含最全MySQL、Redis、Java并发编程等等面试题和答案,用于参考~
重要的事说三遍,关注+关注+关注!
更多笔记分享
LocalVariableTable:
Start Length Slot Name Signature
0 1 1 i I
成员变量(类变量)
一个成员变量(field)被作为一个类实例(或对象)的一部分存储在堆上。关于这个成员变量的信息被定义到在类文件class字节码中field_info[] 数组中,如下:
ClassFile {
u4 magic;
u2 minor_version;
u2 major_version;
u2 constant_pool_count;
cp_info contant_pool[constant_pool_count – 1];
u2 access_flags;
u2 this_class;
u2 super_class;
u2 interfaces_count;
u2 interfaces[interfaces_count];
u2 fields_count;
field_info fields[fields_count];
u2 methods_count;
method_info methods[methods_count];
u2 attributes_count;
attribute_info attributes[attributes_count];
}
另外,如果这个变量被初始化, 进行初始化操作的字节码将被添加到实例构造器中 。
当如下的代码被编译:
public class SimpleClass{
public int simpleField = 100;
}
一个额外的小结将会使用javap命令来演示将成员变量添加到field_info数组中。
public int simpleField;
Signature: I
flags: ACC_PUBLIC
进行初始化操作的字节码被添加到构造器中,如下:
public SimpleClass();
Signature: ()V
flags: ACC_PUBLIC
Code:
stack=2, locals=1, args_size=1
0: aload_0
1: invokespecial #1 // Method java/lang/Object.“”😦)V
4: aload_0
5: bipush 100
7: putfield #2 // Field simpleField:I
10: return
aload_0
将本地变量数组slot中一个对象引用推送到操作数栈栈顶。
尽管,上面的代码中显示没有构造器对成员变量进行初始化,实际上,编译器会创建一个默认的构造器对成员变量进行初始化。
-
第一个局部变量实际上指向this。
-
aload_0操作码将this这个引用变量推送到操作数栈。
-
aload_0是一组格式为aload_的操作数中其中一员,它们的作用都是将一个对象引用推送到操作数栈。
-
其中n指的是被访问的本地变量数组中这个对象引用所在的位置,取值只能为0,1,2或3 。
-
与之类似的操作码有iload_,lload_,fload_和dload_,不过这些操作码是用来加载值而不是一个对象引用,这里的i指的是int,l指的是long,f指的是float,d指的是double 。
-
本地变量的索引大于3的可以使用iload,lload,fload,dload和aload来加载,这些操作码都需要一个单个的操作数指定要加载的本地变量的索引 。
invokespecial
invokespecial指令用来调用实例方法,私有方法和当前类的父类的方法,构造方法等。
方式调用方法的操作码的一部分:
-
invokedynamic(MethodHandle、Lamdba)
-
invokeinterface(接口方法)
-
invokespecial(构造器、父类方法、私有方法)
-
invokestatic(静态方法)
-
invokevirtual(实例方法)
invokespecial指令在这段代码用来调用父类的构造器。
bipush
将一个字节作为一个整数推送到操作数栈。在这个例子中100被推送到操作数栈。
putfield
后面跟一个操作数 #2,这个操作数是运行时常量池(cp_info)中一个成员变量的引用,在这个例子中这个成员变量叫做simpleField。 给这个成员变量赋值,然后包含这个成员变量的对象一起被弹出操作数栈 。
前面的 aload_0
指令将包含这个成员变量的对象和前面的 bipush
指令将100分别推送到操作数栈顶 。 putfield
随后将它们都从操作数栈顶移除(弹出)。最终结果就是在这个对象上的成员变量simpleFiled的值被更新为100 。
上面的代码在内存中执行的情况如下:
java_class_variable_creation_byte_code
putfield操作码有一个单个的操作数指向在常量池中第二个位置。
JVM维护了一个常量池,一 个类似于符号表的运行时数据结构,但是包含了更多的数据 。
Java中的字节码需要数据,通常由于这种数据太大而不能直接存放在字节码中,而是放在常量池中,字节码中持有一个指向常量池中的引用。当一个类文件被创建时,其中就有一部分为常量池,如下所示:
Constant pool:
#1 = Methodref #4.#16 // java/lang/Object.“”😦)V
#2 = Fieldref #3.#17 // SimpleClass.simpleField:I
#3 = Class #13 // SimpleClass
#4 = Class #19 // java/lang/Object
#5 = Utf8 simpleField
#6 = Utf8 I
#7 = Utf8
#8 = Utf8 ()V
#9 = Utf8 Code
#10 = Utf8 LineNumberTable
#11 = Utf8 LocalVariableTable
#12 = Utf8 this
#13 = Utf8 SimpleClass
#14 = Utf8 SourceFile
#15 = Utf8 SimpleClass.java
#16 = NameAndType #7:#8 // “”😦)V
#17 = NameAndType #5:#6 // simpleField:I
#18 = Utf8 LSimpleClass;
#19 = Utf8 java/lang/Object
常量(类常量)
被final修饰的变量我们称之为常量,在类文件中我们标识为ACC_FINAL。
例如:
public class SimpleClass {
public final int simpleField = 100;
public int simpleField2 = 100;
}
变量描述中多了一个ACC_FINAL参数:
public static final int simpleField = 100;
Signature: I
flags: ACC_PUBLIC, ACC_FINAL
ConstantValue: int 100
不过,构造器中的初始化操作并没有受影响:
4: aload_0
5: bipush 100
7: putfield #2 // Field simpleField2:I
静态变量
被static修饰的变量,我们称之为静态类变量,在类文件中被标识为ACC_STATIC,如下所示:
public static int simpleField;
Signature: I
flags: ACC_PUBLIC, ACC_STATIC
在实例构造器中并没有发现用来对静态变量进行初始化的字节码。 静态变量的初始化是在类构造器中,使用putstatic操作码而不是putfield字节码,是类构造器的一部分 。
static {};
Signature: ()V
flags: ACC_STATIC
Code:
stack=1, locals=0, args_size=0
0: bipush 100
2: putstatic #2 // Field simpleField:I
5: return
条件语句
条件流控制,比如,if-else语句和switch语句,在字节码层面都是通过使用一条指令来与其它的字节码比较两个值和分支。
-
for循环和while循环这两条循环语句也是使用类似的方式来实现的,不同的是它们通常还包含一条goto指令,来达到循环的目的。
-
do-while循环不需要任何goto指令因为他们的条件分支位于字节码的尾部。更多的关于循环的细节可以查看loops section。
一些操作码可以比较两个整数或者两个引用,然后在一个单条指令中执行一个分支。其它类型之间的比较如double,long或float需要分为两步来实现。
首先,进行比较后将1,0或-1推送到操作数栈顶。接下来,基于操作数栈上值是大于,小于还是等于0执行一个分支。
首先,我们拿if-else语句为例进行讲解,其他用来进行分支跳转的不同的类型的指令将会被包含在下面的讲解之中。
if-else
下面的代码展示了一条简单的用来比较两个整数大小的if-else语句。
public int greaterThen(int intOne, int intTwo) {
if (intOne > intTwo) {
return 0;
} else {
return 1;
}
}
这个方法编译成如下的字节码:
0: iload_1
1: iload_2
2: if_icmple 7
5: iconst_0
6: ireturn
7: iconst_1
8: ireturn
-
首先, 使用iload_1和iload_2将两个参数推送到操作数栈 。
-
然后, 使用if_icmple比较操作数栈栈顶的两个值 。
-
如果intOne小于或等于intTwo,这个操作数分支变成字节码7,跳转到字节码指令行7line 。
注意,在Java代码中if条件中的测试与在字节码中是完全相反的,因为在字节码中如果if条件语句中的测试成功执行,则执行else语句块中的内容,而在Java代码,如果if条件语句中的测试成功执行,则执行if语句块中的内容。
换句话说,if_icmple指令是在测试如果if条件不为true,则跳过if代码块。if代码块的主体是序号为5和6的字节码,else代码块的主体是序号为7和8的字节码。
java_if_else_byte_code
下面的代码示例展示了一个稍微复杂点的例子,需要一个两步比较:
public int greaterThen(float floatOne, float floatTwo) {
int result;
if (floatOne > floatTwo) {
result = 1;
} else {
result = 2;
}
return result;
}
这个方法产生如下的字节码:
0: fload_1
1: fload_2
2: fcmpl
3: ifle 11
6: iconst_1
7: istore_3
8: goto 13
11: iconst_2
12: istore_3
13: iload_3
14: ireturn
在这个例子中,首先使用fload_1和fload_2将两个参数推送到操作数栈栈顶。这个例子与上一个例子不同在于这个需要两步比较。 fcmpl首先比较floatOne和floatTwo ,然后将结果推送到操作数栈栈顶。如下所示:
floatOne > floatTwo -> 1
floatOne = floatTwo -> 0
floatOne < floatTwo -> -1 floatOne or floatTwo= Nan -> 1
接下来,如果fcmpl的结果是<=0,ifle用来跳转到索引为11处的字节码。
-
这个例子和上一个例子的不同之处还在于这个方法的尾部只有一个单个的return语句,而在if语句块的尾部还有一条goto指令用来防止else语句块被执行。
-
goto分支对应于序号为13处的字节码iload_3,用来将局部变量表中第三个slot中存放的结果推送扫操作数栈顶,这样就可以由return语句来返回。
java_if_else_byte_code_extra_goto
和存在进行数值比较的操作码一样,也有进行引用相等性比较的操作码比如==,与null进行比较比如 == null和 != null,测试一个对象的类型比如 instanceof。
if_cmp eq ne lt le gt ge
这组操作码用于操作数栈栈顶的两个整数并跳转到一个新的字节码处。可取的值有:
eq – 等于
ne – 不等于
lt – 小于
le – 小于或等于
gt – 大于
ge – 大于或等于
-
if_acmp eq ne
这两个操作码用于测试两个引用相等(eq)还是不相等(ne),然后跳转到由操作数指定的新一个新的字节码处。 -
ifnonnull/ifnull
这两个字节码用于测试两个引用是否为null或者不为null,然后跳转到由操作数指定的新一个新的字节码处。 -
lcmp
这个操作码用于比较在操作数栈栈顶的两个整数,然后将一个值推送到操作数栈,如下所示:
如果 value1 > value2 -> 推送1 如果 value1 = value2 -> 推送0 如果 value1 < value2 -> 推送-1
fcmp l g / dcmp l g 这组操作码用于比较两个float或者double值,然后将一个值推送的操作数栈,如下所示:
如果 value1 > value2 -> 推送1 如果 value1 = value2 -> 推动0 如果value1 < value2 -> 推送-1
以l或g类型操作数结尾的差别在于它们如何处理NaN。
-
fcmpg和dcmpg将int值1推送到操作数栈而fcmpl和dcmpl将-1推送到操作数栈。这就确保了在测试时如果两个值中有一个为NaN(Not A Number),测试就不会成功。
-
比如,如果x > y(这里x和y都为doube类型),x和y中如果有一个为NaN,fcmpl指令就会将-1推送到操作数栈。
-
接下来的操作码总会是一个ifle指令,如果这是栈顶的值小于0,就会发生分支跳转。结果,x和y中有一个为NaN,ifle就会跳过if语句块,防止if语句块中的代码被执行到。
-
instanceof 如果操作数栈栈顶的对象一个类的实例,这个操作码将一个int值1推送到操作数栈。这个操作码的操作数用来通过提供常量池中的一个索引来指定类。如果这个对象为null或者不是指定类的实例则int值0就会被推送到操作数栈。
if eq ne lt le gt ge所有的这些操作码都是用来将操作数栈栈顶的值与0进行比较,然后跳转到操作数指定位置的字节码处。
如果比较成功,这些指令总是被用于更复杂的,不能用一条指令完成的条件逻辑,例如,测试一个方法调用的结果。
一个Java switch表达式允许的类型可以为char,byte,short,int,Character,Byte,Short.Integer,String或者一个enum类型。为了支持switch语句。
Java虚拟机使用两个特殊的指令: tableswitch和lookupswitch ,它们背后都是通过整数值来实现的。仅使用整数值并不会出现什么问题,因为char,byte,short和enum类型都可以在内部被提升为int类型。
在Java7中添加对String的支持,背后也是通过整数来实现的。tableswitch通过速度更快,但是通常占用更多的内存。
tableswitch通过列举在最小和最大的case值之间所有可能的case值来工作。最小和最大值也会被提供,所以如果switch变量不在列举的case值的范围之内,JVM就会立即跳到default语句块。在Java代码没有提供的case语句的值也会被列出,不过指向default语句块,确保在最小值和最大值之间的所有值都会被列出来。
例如,执行下面的swicth语句:
public int simpleSwitch(int intOne) {
switch (intOne) {
case 0:
return 3;
case 1:
return 2;
case 4:
return 1;
default:
return -1;
}
这段代码产生如下的字节码:
0: iload_1
1: tableswitch {
default: 42
min: 0
max: 4
0: 36
1: 38
2: 42
3: 42
4: 40
}
36: iconst_3
37: ireturn
38: iconst_2
39: ireturn
40: iconst_1
41: ireturn
42: iconst_m1
43: ireturn
tableswitch指令拥有值0,1和4去匹配Java代码中提供的case语句,每一个值指向它们对应的代码块的字节码。tableswitch指令还存在值2和3,它们并没有在Java代码中作为case语句提供,它们都指向default代码块。当这些指令被执行时,在操作数栈栈顶的值会被检查看是否在最大值和最小值之间。如果值不在最小值和最大值之间,代码执行就会跳到default分支,在上面的例子中它位于序号为42的字节码处。为了确保default分支的值可以被tableswitch指令发现,所以它总是位于第一个字节处(在任何需要的对齐补白之后)。如果值位于最小值和最大值之间,就用于索引tableswitch内部,寻找合适的字节码进行分支跳转。
例如,值为,则代码执行会跳转到序号为38处的字节码。 下图展示了这个字节码是如何执行的:
java_switch_tableswitch_byte_code
如果在case语句中的值”离得太远“(比如太稀疏),这种方法就会不太可取,因为它会占用太多的内存。当switch中case比较稀疏时,可以使用lookupswitch来替代tableswitch。lookupswitch会为每一个case语句例举出分支对应的字节码,但是不会列举出所有可能的值。
-
当执行lookupswitch时,位于操作数栈栈顶的值会同lookupswitch中的每一个值进行比较,从而决定正确的分支地址。使用lookupswitch,JVM会查找在匹配列表中查找正确的匹配,这是一个耗时的操作。而使用tableswitch,JVM可以快速定位到正确的值。
-
当一个选择语句被编译时,编译器必须在内存和性能二者之间做出权衡,决定选择哪一种选择语句。下面的代码,编译器会使用lookupswitch:
public int simpleSwitch(int intOne) {
switch (intOne) {
case 10:
return 1;
case 20:
return 2;
case 30:
return 3;
default:
return -1;
}
}
这段代码产生的字节码,如下:
0: iload_1
1: lookupswitch {
default: 42
count: 3
10: 36
20: 38
30: 40
}
36: iconst_1
37: ireturn
38: iconst_2
39: ireturn
40: iconst_3
41: ireturn
42: iconst_m1
43: ireturn
为了更高效的搜索算法(比线性搜索更高效),lookupswitch会提供匹配值个数并对匹配值进行排序。下图显示了上述代码是如何被执行的:
java_switch_lookupswitch_byte_code
String switch
在Java7中,switch语句增加了对字符串类型的支持。虽然现存的实现switch语句的操作码仅支持int类型且没有新的操作码加入。 字符串类型的switch语句分为两个部分完成。首先,比较操作数栈栈顶和每个case语句对应的值之间的哈希值 。 这一步可以通过lookupswitch或者tableswitch来完成(取决于哈希值的稀疏度) 。
这也会导致一个分支对应的字节码去调用String.equals()进行一次精确地匹配。一个tableswitch指令将利用String.equlas()的结果跳转到正确的case语句的代码处。
public int simpleSwitch(String stringOne) {
switch (stringOne) {
case “a”:
return 0;
case “b”:
return 2;
case “c”:
return 3;
最后
金三银四到了,送上一个小福利!
switch会提供匹配值个数并对匹配值进行排序。下图显示了上述代码是如何被执行的:
java_switch_lookupswitch_byte_code
String switch
在Java7中,switch语句增加了对字符串类型的支持。虽然现存的实现switch语句的操作码仅支持int类型且没有新的操作码加入。 字符串类型的switch语句分为两个部分完成。首先,比较操作数栈栈顶和每个case语句对应的值之间的哈希值 。 这一步可以通过lookupswitch或者tableswitch来完成(取决于哈希值的稀疏度) 。
这也会导致一个分支对应的字节码去调用String.equals()进行一次精确地匹配。一个tableswitch指令将利用String.equlas()的结果跳转到正确的case语句的代码处。
public int simpleSwitch(String stringOne) {
switch (stringOne) {
case “a”:
return 0;
case “b”:
return 2;
case “c”:
return 3;
最后
金三银四到了,送上一个小福利!
[外链图片转存中…(img-5iuveFQt-1715654944414)]
[外链图片转存中…(img-AONPtNK4-1715654944414)]
[外链图片转存中…(img-IAonyxAr-1715654944414)]