ClassLoader 类加载-type checking 对类加载的影响
Type Checking
Type Checking (类型检测) 的作用是分析程序在编译或者运行期间，其类型表达是否一致的一个过程。举个例子：如果一个变量被声明为 int 类型，那么他就不能被赋值为实际的值（或者字符串类型、或者其他任何类型）。java 语言的类型检测分为两种：
- 静态类型检测（static checking）: 问题在程序运行之前被自动找到，也就是在编译阶段完成的检查。静态类型检测更多的是关注在”类型“上。
- 动态类型检测（dynamic checking）: 问题在运行期间被检测，动态运行检测关注的是在”值“上。