java的强类型检查在编译期严格拦截非法操作，声明即契约，泛型擦除前完成全部验证，且无弱类型绕过机制。
Java 的强类型检查机制在编译期不是“事后提醒”，而是像交通信号灯一样，在代码变成字节码之前就卡住非法操作。它不依赖运行时试探，而是靠静态声明与严格推导，把大多数类型错误挡在执行门外。
声明即契约：每个变量和参数都自带类型约束
Java 要求显式写出类型（或用 var 让编译器推导），这个声明就是一份不可协商的契约：
- 赋值时，右侧表达式的静态类型必须能安全赋给左侧——比如 String s = "abc" 合法，但 Integer i = "123" 直接报错，连编译都过不去
- 方法调用时，实参类型必须严格匹配形参声明类型，不会自动拓宽用于重载选择（如传 int 不会悄悄转成 long 去匹配 void f(long)）
- 泛型容器一旦声明元素类型，编译器就在所有 add() 和 get() 处插入检查逻辑，list.add(42) 往 List
里加就会立刻报错
泛型擦除前完成全部验证：安全不靠运行时补救
泛型信息虽在运行期被擦除，但编译器在擦除前已做完所有类型推理和约束校验：
deep-java-review
下载
Java项目代码review工具。分析Git变更+完整调用链路上下文，推断业务需求，进行多维度评分和分类汇总，生成完整PRD文档。包含细粒度Java代码审查清单（Null安全、异常处理、Streams、并发、equals/hashCode、资源管理、API设计、性能、MyBatis/ORM、事务边界、SQL/DD...
-
List
list = new ArrayList(); 这行代码中，编译器已锁定 list 只接受 String - 后续任何 list.add(x) 都会被检查 x 是否为 String 或其子类；list.get(0) 的返回值也被认定为 String，无需手动强转
- 通配符如 List extends Number> 同样在编译期确定可读不可写、可接受哪些子类型，违反规则的操作当场拦截
没有“绕过开关”：编译器不提供弱类型模式
不同于 TypeScript 的 // @ts-ignore，Java 编译器（javac）没有禁用类型检查的选项：
- 你不能让编译器对某个文件、某段代码“睁一只眼闭一只眼”
- 也不能通过配置关闭泛型检查或变量类型校验——这些是语言强制要求，不是可选功能
- 所谓“跳过检查”的方式（如反射绕过访问控制）已脱离 Java 类型安全模型，且默认不可访问
本质上，Java 把类型安全当作编译流程的必经关卡，而不是可选插件。写错类型，不是程序跑崩了才告诉你，而是在保存文件那一刻就亮起红灯。
Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南
