TypeScript 语法探究一

我始终相信：任何新技术的出现都是为了解决原有技术的某个痛点

JavaScript是一门优秀的编程语言吗？

每个人可能观点并不完全一致，但是从很多角度来看，JavaScript是一门非常优秀的编程语言；而且，可以说在很长一段时间内这个语言不会被代替，并且会在更多的领域被大家广泛使用；

著名的Atwood定律：Stack Overflow的创立者之一的 Jeff Atwood 在2007年提出了著名的 Atwood定律。  any application that can be written in JavaScript, will eventually be written in JavaScript. 任何可以使用JavaScript来实现的应用都最终都会使用JavaScript实现。

其实我们已经看到了，这句话正在一步步被应验：

Web端的开发我们一直都是使用JavaScript；

移动端开发可以借助ReactNative、Weex、Uniapp等框架实现跨平台开发；

小程序端的开发也是离不开JavaScript；

桌面端应用程序我们可以借助于Electron来开发；

服务器端开发可以借助于Node环境使用JavaScript来开发

JavaScript的痛点

并且随着近几年前端领域的快速发展，让JavaScript迅速被普及和受广大开发者的喜爱，借助于JavaScript本身的 强大，也让使用JavaScript开发的人员越来越多。

其实上由于各种历史因素，JavaScript语言本身存在很多的缺点；

比如ES5以及之前的使用的var关键字关于作用域的问题；

比如最初JavaScript设计的数组类型并不是连续的内存空间；

比如直到今天JavaScript也没有加入类型检测这一机制

不可否认的是，JavaScript正在慢慢变得越来越好，无论是从底层设计还是应用层面。ES6、7、8等的推出，每次都会让这门语言更加现代、更加安全、更加方便。 但是知道今天，JavaScript在类型检测上依然是毫无进展（为什么类型检测如此重要，我后面会聊到）。

类型带来的问题

首先需要知道，编程开发中有一个共识：错误出现的越早越好，能在写代码的时候发现错误，就不要在代码编译时再发现（IDE的优势就是在代码编写过程中帮助我们发现错 误）。 能在代码编译期间发现错误，就不要在代码运行期间再发现（类型检测就可以很好的帮助我们做到这一点）。能在开发阶段发现错误，就不要在测试期间发现错误，能在测试期间发现错误，就不要在上线后发现错误。

现在我们想探究的就是如何在 代码编译期间 发现代码的错误： JavaScript可以做到吗？不可以，我们来看下面这段经常可能出现的代码问题

类型错误

这是我们一个非常常见的错误：

这个错误很大的原因就是因为JavaScript没有对我们传入的参数进行任何的限制，只能等到运行期间才发现这个 错误； 并且当这个错误产生时，会影响后续代码的继续执行，也就是整个项目都因为一个小小的错误而深入崩溃；

当然，可能会想：我怎么可能犯这样低级的错误呢？ 当我们写像我们上面这样的简单的demo时，这样的错误很容易避免，并且当出现错误时，也很容易检查出来； 但是当我们开发一个大型项目时呢？你能保证自己一定不会出现这样的问题吗？而且如果我们是调用别人的类 库，又如何知道让我们传入的到底是什么样的参数呢？  但是，如果我们可以给JavaScript加上很多限制，在开发中就可以很好的避免这样的问题了： 比如我们的getLength函数中str是一个必传的类型，没有调用者没有传编译期间就会报错；比如我们要求它的必须是一个String类型，传入其他类型就直接报错； 那么就可以知道很多的错误问题在编译期间就被发现，而不是等到运行时再去发现和修改；

类型思维的缺失

我们已经简单体会到没有类型检查带来的一些问题，JavaScript因为从设计之初就没有考虑类型的约束问题，所以 造成了前端开发人员关于类型思维的缺失：前端开发人员通常不关心变量或者参数是什么类型的，如果在必须确定类型时，我们往往需要使用各种判断验证；从其他方向转到前端的人员，也会因为没有类型约束，而总是担心自己的代码不安全，不够健壮；所以我们经常会说JavaScript不适合开发大型项目，因为当项目一旦庞大起来，这种宽松的类型约束会带来非常多 的安全隐患，多人员开发它们之间也没有良好的类型契约。比如当我们去实现一个核心类库时，如果没有类型约束，那么需要对别人传入的参数进行各种验证来保证我们 代码的健壮性；比如我们去调用别人的函数，对方没有对函数进行任何的注释，我们只能去看里面的逻辑来理解这个函数需要 传入什么参数，返回值是什么类型；

JavaScript添加类型约束

为了弥补JavaScript类型约束上的缺陷，增加类型约束，很多公司推出了自己的方案：

2014年，Facebook推出了flow来对JavaScript进行类型检查；

同年，Microsoft微软也推出了TypeScript1.0版本；

他们都致力于为JavaScript提供类型检查； 而现在，无疑TypeScript已经完全胜出：Vue2.x的时候采用的就是flow来做类型检查；Vue3.x已经全线转向TypeScript，98.3%使用TypeScript进行了重构；而Angular在很早期就使用TypeScript进行了项目重构并且需要使用TypeScript来进行开发；而甚至Facebook公司一些自己的产品也在使用TypeScript；

学习TypeScript不仅仅可以为我们的代码增加类型约束，而且可以培养我们前端程序员具备类型思维。