为何Java运行时给变量赋值不匹配类型会抛出错误？

两者行为差异的根源是类型系统的实现逻辑完全不同，和"类型擦除"的适用范围直接相关：

• TypeScript的类型检查是仅存在于编译阶段的静态检查，它的本质是给JavaScript加了一层编译期类型校验的语法糖，所有TS新增的类型标注在编译为JS代码后会被全量擦除。而JS本身是动态弱类型语言，变量本身没有固定类型约束，运行时的JS引擎完全感知不到TS的类型规则，自然不会拦截跨类型赋值。

let str: string = 'str';  
// 编译后等价于纯JS代码：var str = 'str'; 所有类型标注完全消失
str = 123; 
// 这行代码只会在TS编译阶段报类型错误，只要编译成JS，运行时赋值数字不会触发任何拦截

• Java的类型系统是编译期+运行时双重校验的强类型系统，不存在全量类型擦除的机制：
  1. 编译阶段：javac编译器会对所有赋值操作做类型匹配校验，直接写String str = 123;这类不兼容类型赋值的代码，根本无法通过编译生成字节码文件
  2. 就算通过反射、动态修改字节码等手段绕开编译期检查，JVM在执行字节码时依然会保留所有非泛型的类型信息，每次赋值操作都会触发内置的类型校验，一旦发现类型不匹配就会直接抛出类型相关错误，不会让非法赋值生效。

// 注意：Java中字符串必须用双引号包裹，单引号仅能表示单个char类型的字符
String str = "str";  
// 1. 直接写str = 123; 会直接在编译阶段报错
// 2. 就算绕过编译检查，JVM运行时检测到类型不匹配会直接抛出ClassCastException等异常

常见误区：你提到的"类型擦除"是Java泛型的专属特性，不是Java整个类型系统的规则。只有泛型的类型参数（比如List<String>里的String）会在编译后被擦除为裸类型，就算是泛型场景，JVM也会在涉及具体类型赋值的位置自动插入类型校验指令，不会放过非法的类型转换。

两者擦除机制的核心区别可以总结为：

• TS的类型擦除是覆盖所有静态类型的全量擦除，运行时无任何类型规则残留
• Java仅擦除泛型类型参数，核心类型信息全程在编译、运行阶段生效，两层校验共同阻止非法的跨类型赋值

内容的提问来源于stack exchange，提问作者higuy