强类型语言，变量和常量都具有一个特定的类型，理解值类型和引用类型的继承图，值类型包含类型的实例，引用类型包含对类型实例的引用，在内存分配上，值类型存储在栈上，赋值即拷贝副本，引用类型存储在堆上，也称为托管堆，赋值即引用，在内存回收上，值类型堆栈返回即回收，引用类型需要 GC 垃圾回收器。