语言的类型分析，满意了嘛

---

关于类型系统，网络上众说纷纭，这里仅谈自己的见解
大佬们不喜勿喷~

编程语言按照类型一般可以分为**动态类型、静态类型、强类型、弱类型。**典型的代表：Java、C/C++都是静态、强类型语言，反之，Python、JavaScript是动态、弱类型语言。下面我们来逐步讨论：

一、动态类型、静态类型

1、动态类型

这是一种在程序运行期间才开始进行数据类型检查的语言，也就是说，使用动态类型语言编程时，永远不需要给任何变量指定数据类型，该语言会在第一次给变量赋值时确定变量的数据类型。代表语言有：JavaScript、Python。

优点：方便阅读，不需要写类型声明代码
缺点：调试困难，因为没有类型声明再加上有时命名不太规范，出错了调试起来很头大

2、静态类型

这是一种在编译期间就进行数据类型检查的语言，即写程序时必须声明所有变量的类型，声明完成后就在内存中固定了，无法改变。使用数据之前，必须要声明类型（如int、double、long等）。代表语言有：Java、C/C++。

优点：结果非常规范，便于调试，类型很安全
缺点：对编码思维要求更严谨，不能出现未声明类型的情况

二、强类型与弱类型

1、强类型

指的是程序中表达的所有对象的类型都必须在编译时能够确定，强类型是针对类型检查的严格程度而言的。它是指变量在使用过程中必须指定这个变量的类型，并且在运行过程中这个变量只能存储这个类型的数据，对于强类型而言，一个变量不经过强制类型转换，它就永远是这个类型，直到内存销毁，宇宙毁灭~
例如：定义一个变量double a如果不经过强制类型转换，int b = a是无法通过编译的。代表语言有：Java、C/C++

优点：
1、编译时能够减少类型不匹配的错误
2、减少运行时刻开销

2、弱类型

刚好与强类型相反，编译时的类型检查很弱，允许强制类型转换，比如说字符串和数值之间可以相互转换。

两者区别

1、不管是强类型还是弱类型，变量都有两个属性：类型和值；即弱类型的变量同样有类型。不管是哪一种编程语言，其中使用的变量，都既有类型，又有值。强类型的变量类型，必须在源代码中明确定义，称之为“变量声明”，弱类型的变量类型则是无需声明的，由解释器解释。但是，这并不意味着，弱类型的变量就没有类型这一概念了。

2、强类型的变量类型是不能改变的，弱类型变量是随需改变的，这是强弱的真正含义。 强类型的变量一经声明，就只能存储这种类型的值，其他的值则必须通过转换之后才能赋给该变量，有编译器自动理解的转换，也有由程序员明确指定的强制转换。但是，弱类型的变量类型则是随着需要不断转换。

3、强制转换并没有改变变量类型。强类型语言有个“强制转换”，这改变的是变量的值的类型，以便进行赋值，而没有改变变量的类型。变量的类型是不允许改变的。

今天的犊子就扯到这里，改日再聊~