Java SE核心考点全解析：从基础类型到字节码

Java SE 的知识点看似零散，实则内部存在严密的类型体系与执行模型。很多开发者在面试或代码评审中被问住的，往往不是复杂框架，而是基础语义的边界条件。本文按照”类型系统—运算符—控制流—工具链”的脉络，把最容易混淆的细节逐一拆开讲透。

一、八种基本类型：默认值与取值范围

Java 的基本类型共八种，可归为四组：

• 整数型：byte（1 字节）、short（2 字节）、int（4 字节）、long（8 字节）
• 浮点型：float（4 字节）、double（8 字节）
• 字符型：char（2 字节，无符号）
• 布尔型：boolean

需要重点掌握两点：默认值和取值范围。

类型	默认值	取值范围
byte	0	-128 ~ 127
short	0	-32768 ~ 32767
int	0	-2^31 ~ 2^31-1
long	0L	-2^63 ~ 2^63-1
float	0.0f	约 ±3.4e38
double	0.0d	约 ±1.7e308
char	‘\u0000’	0 ~ 65535
boolean	false	true / false

char 的默认值是 '\u0000'，即码点为 0 的字符，而不是字符 '0'，这一点在打印输出时容易造成误解——它通常表现为不可见字符。boolean 只有 true 和 false 两个取值，默认 false。

基本类型的默认值只在成员变量场景下自动生效；局部变量不会自动初始化，使用未初始化的局部变量会直接编译失败。这是 Java 有意设计的安全约束，避免读到脏数据。

二、引用类型与字面值

引用类型包括 String、数组、接口、类、枚举等。引用变量存储的是对象的地址，默认值为 null。与基本类型不同，null 表示”不指向任何对象”，对 null 调用实例方法会抛出空指针异常，因此在使用引用类型前做判空是常规防御手段。

字面值是直接写在代码中的常量，例如 5、"hello"、12.21。字面值同样有类型规则：整数字面值默认是 int，超过 int 范围需加 L 后缀；小数字面值默认是 double，要表示 float 需加 f 后缀。理解这一点能避免”为什么赋值报错”这类问题。

三、整型提升：最常被忽视的坑

Java 在运算时会对小于 int 的整数类型做整型提升：byte、short、char 参与算术运算时，会先自动提升为 int，结果类型也是 int。因此下面这段代码无法通过编译：

byte a = 10;
byte b = 20;
byte c = a + b;          // 编译错误：int 不能赋值给 byte
byte d = (byte) (a + b); // 正确：显式强制转换

原因在于 a + b 的结果类型是 int，把 int 赋给 byte 属于窄化转换，必须显式强转。反过来，byte c = 10 + 20; 却能编译通过，因为编译器在编译期就能确认常量结果在 byte 范围内，这属于常量折叠。区分”编译期常量”与”运行期变量”是理解该规则的关键。

四、布尔类型：不可转换的孤岛

Java 中的 boolean 与任何其他类型都不能相互转换。不能写 int i = (int) true，也不能写 if (1)。这与 C/C++ 把非零视为真的习惯完全不同。Java 选择这种设计是为了类型安全，避免隐式转换带来的逻辑错误。同样，其他类型也不能强转为 boolean。

五、常量与 final

被 final 修饰的变量只能赋值一次，赋值后不可修改。对于基本类型，值不可变；对于引用类型，引用不可变，但对象内容仍可修改，这一点常被误解：

final int[] arr = {1, 2, 3};
arr[0] = 100;   // 合法：修改对象内容
// arr = new int[]{4}; // 非法：重新赋值引用

final 修饰的编译期常量（如 static final int MAX = 100）还会参与常量折叠，被直接内联到使用处。

六、运算符细节：移位与取模

>>> 是无符号右移，高位补 0；Java 没有无符号左移，因为左移统一补 0，有无符号结果一致。对有符号负数做 >> 会补符号位，做 >>> 则补 0，二者结果差异明显。

% 是取余运算，结果的正负号与被除数一致：-7 % 3 结果为 -1，7 % -3 结果为 1。若需要恒为非负的模值，应使用 Math.floorMod。这一规则在哈希分桶、循环索引等场景中直接影响正确性。

七、控制流：switch 与循环

switch 的参数类型受限：支持 byte、short、char、int、枚举、String（以及对应的包装类），但不支持 long、float、double。原因在于这些类型的取值范围或精度特性不适合做等值分支匹配。

循环方面，do-while 至少执行一次，适合”先执行再判断”的场景。for-each 写法简洁，适合遍历数组或集合，但存在三个限制：不能直接修改元素（修改的是副本引用）、不能获取索引、不能用于非数组/集合对象。面试中常问 for 与 for-each 的区别，答出这三点即可覆盖核心。

八、命名规范与标识符

小驼峰命名法用于变量和方法：首字母小写，后续单词首字母大写，如 maxNum、getUserName。类名使用大驼峰。标识符可包含字母、数字、下划线、$，但不能以数字开头，也不能使用关键字。

九、工具链三件套：javac、java、javap -c

这三个命令构成 Java 从源码到执行的最小闭环：

javac HelloWorld.java   # 编译：生成 HelloWorld.class
java HelloWorld         # 运行：启动 JVM 执行 main 方法（不加 .class）
javap -c HelloWorld.class  # 反汇编：查看字节码指令

javac 是编译器，负责把 .java 源文件编译为 .class 字节码；java 是虚拟机启动器，加载并运行已编译的类，运行时不需要写 .class 后缀；javap -c 是反汇编器，-c 表示输出反汇编代码，可查看方法内部的字节码指令，常用于底层调试与 JVM 指令学习。

记忆口诀：“编 javac，跑 java，反 javap -c 看字节码。”

一个方法的组成要素包括方法名、参数列表和返回值类型（返回值可为 void，表示无返回值）。这三者共同构成方法签名的主体，也是理解重载与调用的基础。

结语

Java SE 的基础考点之所以反复被考，是因为它们直接决定了代码在边界条件下是否正确。把类型转换规则、运算符语义、控制流限制和工具链职责记牢，不仅能应对面试，更能在日常编码中少踩坑、写出更稳健的实现。