Java SE 核心考点全解析：从类型系统到工具链

Java SE 是每位 Java 开发者的地基。地基不牢，上层框架用得再熟也容易在细节上翻车。本文不走“罗列知识点”的路线，而是围绕类型系统、运算规则、控制流程、命名规范、工具链五条主线，把高频考点串成一条有逻辑的技术链路，并补充原理层面的解释，帮助读者不仅“记住”，更能“讲清楚”。

一、类型系统：八种基本类型与引用类型

Java 的类型分为两大类：基本类型（primitive type） 和 引用类型（reference type）。这个划分决定了变量存储的内容、默认值、赋值方式以及能否参与某些运算。

1.1 八种基本类型

基本类型共 8 种，可归为四组记忆：

• 整数型：byte（1 字节）、short（2 字节）、int（4 字节）、long（8 字节）
• 字符型：char（2 字节，无符号，范围 0 ~ 65535）
• 浮点型：float（4 字节）、double（8 字节）
• 布尔型：boolean（JVM 规范未规定具体字节数，仅规定取值 true/false）

需要重点掌握的是默认值与取值范围。默认值只在成员变量（字段）场景下生效，局部变量不会自动初始化，使用前必须显式赋值，否则编译不通过。

类型	默认值	取值范围要点
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	遵循 IEEE 754 单精度
double	0.0d	遵循 IEEE 754 双精度
char	'\u0000'	0 ~ 65535，无负数
boolean	false	仅 true / false

char 的默认值是 '\u0000'（即空字符，码点为 0），这一点常被忽略：它不是空格 ' '（码点 32），也不是字符 '0'（码点 48）。在字符串拼接或日志输出时，未赋值的 char 字段可能表现为不可见字符，排查问题时容易误判。

1.2 引用类型

引用类型包括 String、数组、接口、类、枚举、注解等。与基本类型的关键差异在于：

• 变量中存储的是对象的引用（可理解为指向堆中对象的句柄），而非值本身；
• 默认值为 null，对 null 引用做成员访问会抛出 NullPointerException；
• 引用类型的赋值是引用传递（共享同一对象），不是对象拷贝。

理解这一点，才能正确解释“为什么修改方法内的数组元素会影响调用方”这类问题。

二、运算规则中的三大坑点

2.1 整形提升（Numeric Promotion）

这是笔试与面试的高频陷阱。先看一段代码：

byte a = 10;
byte b = 20;
byte c = a + b;        // 编译错误：可能损失精度
byte d = (byte) (a + b); // 正确：需要强制转换

原因在于 Java 的二元数值运算规则：当参与运算的操作数类型不大于 int 时（即 byte、short、char），会先被提升为 int 再运算，结果类型也是 int。因此 a + b 的结果是 int，赋给 byte 变量必须显式强转。

由此可以推导出几个常考结论：

• char + char 的结果是 int，不是 char；
• byte b = 1; b += 1; 能通过编译，因为复合赋值运算符 += 内部隐含了强制转换；
• b = b + 1; 则编译失败，因为普通加法不隐含转换。

强转时要注意溢出：(byte) 130 的结果是 -126，因为 130 超出 byte 范围后按补码截断。生产代码中若出现这类转换，应显式校验范围而非依赖截断。

2.2 布尔类型的不可转换性

boolean 在 Java 中是独立的类型，不与任何其他类型相互转换：不能把 0/1 当作 false/true，也不能把 boolean 强转为 int。这一点与 C/C++ 的习惯不同，是跨语言开发者最容易踩的坑。反过来，其他类型也不能转为 boolean。

2.3 常量、字面值与位运算

• 常量：final 修饰的变量只能赋值一次，之后不可修改。对于基本类型，值不可变；对于引用类型，引用不可变但对象内容可变（例如 final 修饰的数组仍可修改元素），这是常见辨析题。
• 字面值：直接写在代码中的常量，如 5、"hello"、12.21。整数字面值默认是 int，long 需要加 L 后缀；小数字面值默认是 double，float 需要加 f 后缀。
• 无符号右移：>>> 在右移时高位补 0，不保留符号位；Java 没有无符号左移运算符。对负数使用 >>> 与 >> 结果差异显著，例如 -8 >>> 1 会得到一个很大的正数。
• 取模 %：结果的符号与被除数一致。例如 -7 % 3 == -1，7 % -3 == 1。这与数学意义上的“模”不同，在做周期映射、环形索引时需要特别处理。

三、控制流程：switch 与循环的边界

3.1 switch 的参数类型限制

switch 支持的参数类型包括：整型家族中的 byte、short、char、int（及其包装类，通过自动拆箱），以及 String、枚举。不支持 long、float、double、boolean。原因可以追溯到字节码层面：switch 的查表/跳转指令基于 32 位整型设计，long 与浮点类型无法直接作为跳转索引。

另外要注意：case 后必须是常量表达式，不能是变量；Java 14 之后提供了 switch 表达式（箭头语法），但那是语法糖层面的演进，参数类型限制并未放开。

3.2 循环语句的差异

• do-while：先执行一次循环体，再判断条件，至少执行一次。适用于“先尝试再校验”的场景。
• for-each：底层依赖迭代器（数组则为索引遍历），语法简洁。面试常问它与普通 for 的区别：

1. for-each 不能修改集合结构（遍历中增删元素会抛 ConcurrentModificationException），也不能修改基本类型数组元素的值；
2. 无法获取当前索引；
3. 只能用于数组和 Iterable 对象，不能用于非集合类。

需要索引、需要边遍历边删除、需要逆序遍历时，应使用普通 for 或显式迭代器。

四、命名规范：标识符的组成规则

标识符可包含字母、数字、下划线 _、美元符号 $，但必须以字母、下划线或 $ 开头，不能以数字开头，也不能使用关键字。中文等 Unicode 字母在语法上合法，但工程实践中应避免。

除了语法规则，更重要的是约定俗成的规范：类名用大驼峰、方法与变量用小驼峰、常量全大写加下划线分隔、包名全小写。规范不是语法强制，但直接影响代码可读性与团队协作效率。

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

JDK 提供的命令行工具中，最基础也最常被问到的三个是：

5.1 javac：编译器

将 .java 源文件编译为 .class 字节码文件。

javac HelloWorld.java

执行后生成 HelloWorld.class。注意：编译只做语法检查与字节码生成，不加载依赖类的实现，但需要能找到被引用类的符号信息。

5.2 java：运行时启动器

启动 JVM 并运行已编译的类，类名不需要加 .class 后缀。

java HelloWorld

JVM 会加载该类、定位 main(String[] args) 方法并执行。常见的 ClassNotFoundException 与 NoClassDefFoundError 多与类路径配置有关。

5.3 javap -c：反汇编器

查看 .class 文件中的字节码指令，-c 表示只显示反汇编后的代码。

javap -c HelloWorld.class

输出中可以看到方法对应的指令序列（如 iload、iadd、invokevirtual），是理解 JVM 执行模型、分析语法糖（如自动装箱、字符串拼接、复合赋值）实现原理的有效手段。

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

常见面试题：javac 与 java 的区别？前者是编译器，负责源码到字节码的翻译；后者是运行时启动器，负责启动虚拟机并执行字节码。二者职责分离，正是 Java“一次编写，到处运行”的基础。

六、方法组成要素

一个方法的签名由方法名 + 参数列表构成，返回值类型（可以是 void，表示无返回值）不属于签名的一部分。因此仅返回值不同、参数列表相同的两个方法不能构成重载，编译会报错。理解这一点，才能正确回答重载与重写的判定规则。

小结

Java SE 的考点看似零散，实则围绕“类型决定存储与运算规则、规则决定代码行为、工具链决定执行路径”这条主线展开。建议读者按本文的五条主线建立知识索引：遇到整形提升、switch 限制、for-each 缺陷等问题时，能回到类型系统与字节码层面找到原因，而不是死记结论。把每个知识点讲出“为什么”，才是真正的掌握。