为什么说「动态类型一时爽，代码重构火葬场」？ 第1页

因为你写一个允许传入动态类型的函数给别人用，就如同给一张签了名的空白支票别人一样危险，别人爱写什么数字上去都行。

举个例子，Facebook 有一种数据类型叫做 FBID，是一个 64 位的整数，用作任何对象的唯一 ID。在 Facebook 把无类型的 PHP 转化为有类型的 Hack 之前，很多人不知道 FBID 到底是整数还是字符串，于是有些函数用整数接收 FBID，另外一些函数用字符串。这时候函数之间传来传去的 FBID 到底是什么类型已经说不清楚。如果你写一个函数并接收一个 FBID 的数组，你永远不可能知道数字里的 FBID 是哪种类型，甚至可能是混合类型的。

尽管在语义上这绝对是有问题的，但神奇的 PHP 在做整数和字符串 == 比较时会自动把字符串隐式转换为整数，所以原本不应该相等的两种类型 FBID 可能会被判定为相等。不过如果用 === 的话，不同类型自然不相等。因为很多人不注意细节，使用 == 而非 ===，所以如果假设你接收了一个 FBID 的数组，然后调用别人的函数来去重，你猜 “123” 和 123 会不会被当作重复而去掉？你不可能猜到，因为你不知道别人用什么做对比。

这使得当时 Facebook 的 PHP 代码存在大量难以发现的 bug，而且没人敢去修。你说你这里 FBID 一定是整数，然后收到字符串就抛异常？你猜你这一改 Facebook 哪些功能会挂掉？你不可能知道……所以你不敢改。

最终 Facebook 把 PHP 逐步转化为 Hack，把 FBID 存储为整数，大家就可以放心地把 FBID 传来传去不用担心出问题了。如果你尝试拿 FBID 跟另外一个字符串或整数比较，你的代码在静态分析阶段就会报错。你一定要比较，就必须进行显式类型转换后再做比较。

同理，Facebook 把 JavaScript 改造为 Flow，但 FBID 在 JavaScript 里面必须存储为字符串，因为 JavaScript 存储不了 64 位整数，可能会转换为浮点数存储，然后丢失精度。在此之前，有人不知道 FBID 在 JavaScript 不能存为整数，然后引发各种难以复现的 bug。

如果你不懂 Hack 或 Flow，可以用现在主流的 TypeScript 做参考。我认为这是现在最好的折衷方案。语言本身是支持动态类型的，但通过类型注释来让类型稳定的变量和参数变为有类型，你不加类型注释的时候还能灵活使用动态类型。

为什么你需要保留使用动态类型的权力呢？因为你在开发新功能时，可能你只是在探索，具体数据结构还没有定下来，不需要声明完整的数据结构类型信息能为你节省不少改来改去的时间。与之对比的是那些 C++ 和 Java 操作 JSON 的代码，必须处处声明现在预期读取出来的变量是什么类型，你稍微改一下 JSON 的结构就要改对应的类型声明，这真的很麻烦。

吐槽并不在点子上。

首先是动态类型根本不可能一时爽，动态类型有其好处也有其缺陷，譬如说智能提示这玩意儿显然就是依赖于静态类型检查的，动态类型的智能提示完善度和静态类型显然没法比。一个静态类型的类库用起来就会比动态类型构建出来的要爽很多，所以不存在什么一时爽，各有其用武之地。

其次是动态类型和重构没什么太大的关系，诚然静态类型在语言层面上类型成员是静态绑定的，所以重构的时候可以简单的点两下就能修改一个成员的名称。但问题在于：

1、我没事干嘛要修改成员的名称，仅仅只是改个名字算哪门子的重构？

2、动态类型的成员虽然不是静态绑定，但是成员名称不会变化，我一个文件内搜索+完整匹配就能找到所有疑似的成员，再手工缩小范围照样能重构。

3、重构依赖的是单元测试和小步迭代的方法，静态类型的主要优势并不在重构。

那么，静态类型的主要优势在哪里呢？静态类型检查的主要优势当然是编译器辅助类型检查降低出错概率，成员静态绑定更好的智能提示和更好的编译优化获得更强的运行时性能哈。

很多人说有测试就好了，虽然这么说没错，但没有解释问题的本质。

无论是类型还是测试，都是一种约束。

就像法律是对人的约束一样，类型和测试会约束代码的行为。约束的好处是能够规范代码的行为，坏处是失去了一部分自由，并且约束的构建也要消耗很大精力。

你写了个类Square，就是约束了它的实例必须是长宽相等的正方形。好处是这些实例不会出现长宽不等的异常，坏处是说不定你之后还想用长方形，于是就必须改这个类或者重新写个类，并且修改相关代码。

你写了个单元测试保证函数的输出是正方形。其实无非就是把「对正方形的约束」从类型定义变成了代码逻辑，本质上是一样的。

写比较大的工程时，肯定要有前期的设计，由此给出对代码行为的约束。这时用动态类型也好静态类型也好，都是要用类型和测试给出这些约束，由此保证程序的正确性。所谓重构，也就是在保证约束成立的情况下，优化代码的结构。

很多时候我们用动态类型语言，并不是因为有多需要它的动态特性（实际上绝大多数变量的类型在运行时就没变过），只是因为懒得花时间处理约束问题而已。——俺知道s肯定是个字符串，但俺就是懒得写 string s = "fuck" 前面那七个字符。

扯吧。FACEBOOK，twitter、instagram都是动态语言写的，也没见火葬场。

除了java、c++还有什么不是动态类型？go？

只会写java就直说。