关于强弱，静动语言类型的思考

看了社区有很多人讨论这个，就把自己知道的写出了，做个总结，也许不是绝对的准确，可能高手会有更独特的见解，欢迎在此评论。

先说强弱：

有强必有弱，这是一个相对的概念。

所谓强类型语言（比如C/C++/JAVA/Python/etc...）是说的类型是独立，它不轻易转化，转化就要比较多的条件才能实现，在语法上可能需要一定的指示(比如 （type ）another type)。注是可能但不是绝对要强制才能转换，比如把一个char型的值赋给一个int型的整数，这就不需要（int）强制执行。

所谓弱类型语言（比如JavaScript/Unix Shell/etc...）是说类型不会严格区分，但也要满足相对强类型少的条件才能转换。从底层看就是关于容量大小的说法，Atype change into  Btype 那么B类型就要有能容下A类型最大开销的所需空间。从OOP的观点看，两种类型接口要相同才叫类型兼容，只有兼容的类型间可能转换（可能会丢失部分数据）

再说静动：

静，就是安静，稳定，预先的意思；而动就是运动，活泼，变化的意思。

所谓静态类型语言（比如C/C++/JAVA/C#/etc...），就是它的类型编译时就判断，因此要预先定义且要指定其类型，这样编译器就知道对其进行如何的操作才算合法。所以，一般的静态类型语言是强类型的。

所谓动态类型语言（比如PHP/ASP/Ruby/Python/Perl/ABAP/SQL/JavaScript/etc...），就是它的类型要等到运行时才判断，这就为其可能成为弱类型语言提供了基础，但不是所有动态类型语言都是弱类型的，相反很多（大部分）都是强类型的。比如Python是我用的面向对象最好的语言，就是强类型的。因为要遵照面向对象的观点来设计对象的。

相对而言，动态类型语言更接近人的思维和生活语言，但执行效率相对低；而静态类型语言输写相对复杂，但执行效率高得多（主要对编译型语言，半编译型相对慢一点）。