重读《学习JavaScript数据结构与算法-第三版》-第2章 ECMAScript与TypeScript概述
定场诗
八月中秋白露，路上行人凄凉；
小桥流水桂花香，日夜千思万想。
心中不得宁静，清早览罢文章，
十年寒苦在书房，方显才高志广。
前言
洛伊安妮·格罗纳女士所著的《学习JavaScript数据结构与算法》第三版于2019年的5月份再次刊印发行，新版内容契合当下，实为JavaScript开发人员的必备之佳作。有幸重读此版，与诸君分享共勉。
内容提要
此章节为第2章-ECMAScript与TypeScript概述，主要介绍了JS和TS的相关概念，以及在JS新版本中的新特性：let、解构、箭头函数等。
2.1 ECMAScript还是JavaScript
ECMA是一个将信息标准化的组织。ECMAScript是一个语言的标准，而JavaScript是该标准(最流行)的一个实现。
或恰如：ECMAScript是JS身份证上的名字(标准)，JavaScript是常用的称呼(常见、亲切)。
JS的版本问题
| 版本 | 简称 | 发布时间 | 备注 |
|---|---|---|---|
| ECMAScript5 | ES5 | 2009年12月 | |
| ECMAScript2015 | ES6 | 2015年6月 | ECMAScript规范委员会决定每年更新标准一次，js的标准称呼为：ECMAScript+年份 |
| ECMAScript2016 | ES7 | 2016年6月 | ECMAScript第7个版本 |
| ECMAScript2017 | ES8 | 2017年6月 | ECMAScript第8个版本 |
| ES.NEXT | 泛指下一个版本的ECMAScript |
JS版本的兼容性问题
一定要明白，即便ES2015到ES2017已经发布，但不是所有的浏览器都支持新特性。
-
使用最新版的浏览器进行体验
-
使用Babel.js对使用ECMAScript新语言特性的JavaScript代码转换成只使用广泛支持的ES5特性的等价代码
Babel.js是一个JavaScript的转译器，具体使用文档：官网-传送门 Babel.js中文网
2.2 ES6+的新功能
let和const定义变量
-
不存在变量提升
console.log(a) // ReferenceError: Cannot access 'a' before initialization let a = 10 -
不允许重复声明定义变量
let a = 10 let a = 20 // SyntaxError: Identifier 'a' has already been declared -
变量作用域
块状作用域 {}
if (true) { const b = 10 } console.log(b) // ReferenceError: b is not defined
let和const到底选择谁？
const与let的行为是一样的，唯一的区别在于，使用const定义的变量是只读的，也就是常量。
const保证的其实并不是变量的值不能改动，而是变量指向的内存地址所保存的数据不得改动。
扩展：基本类型值和引用类型值
每一个变量都指向了一个内存地址。
基本类型值：指向了一个内存地址，变量的值就存储在改内存内置中。
引用类型值：指向了一个内存地址，该内存地址中存储的是一个指针，一个指向实际数据的指针。
const保证的是这个指针是固定的，总是指向另一个固定地址；但实际上指针指向的数据结构是否可变，则不能控制。
模板字面量
模板字面量语法``提供了很大的帮助，支持JS书写时换行，可定义多行字符串；使用${}插入变量的值。
let person = {
name: '王二狗',
age: 18
}
let str = `给你介绍个人：
这个人的名字是${person.name}
`
console.log(str)
箭头函数
箭头函数 () => {} 简化了函数语法
let f = () => {
console.log('我是箭头函数....')
}
f()
// 简化return关键字
let sum = (a, b) => a+b
sum(1, 2)
函数参数默认值
支持定义函数参数的默认值
function sum (x = 1, y = 2, z = 3) {
return x + y + z
}
声明展开与剩余参数
展开运算符... 将对象或数组展开为一层，亦可当做剩余参数
let p = {
name: '人',
age: 20,
sex: '男'
}
let wangErGou = {
...p,
name: '王二狗'
}
console.log(wangErGou)
// 剩余参数
function sum (x, y, ...a) {
return x * y * a.length
}
sum(1, 2, 2, 'abc', true) // 6 等同于a是数组[2, 'abc', true]
解构
数组与对象解构
let [x, y] = [10, 20]
console.log(x, y) // 10, 20
let {age, name} = {
name: '李四',
age: 20
}
console.log(name, age) // 李四, 20
数组解构中许注意顺序，对象解构中无需注意顺序；解构中无对应的值，则改值为undefined
解构应用
- 交换变量值
let x = 10
let y = 20
[y, x] = [x, y]
- 属性简写
let x = 10
let y = 10
let obj = {x, y} // 相当于 {x: x, y: y}
简写方法名
对象中的方法名可简写
let obj = {
name: '王二狗',
print () {
console.log(this.name)
}
}
使用类进行面向对象编程
定义
class Book {
constructor (title, author, isbn) {
this.title = title
this.author = author
this.isbn = isbn
}
printIsbn () {
console.log(this.isbn)
}
}
let book = new Book('郭德纲相声选', '郭德纲', '00111011')
book.printIsbn()
继承
class ITBook extends Book {
constructor (title, author, isbn, technology) {
// 代表调用父类构造函数
super(title, author, isbn)
this.technology = technology
}
printTechnology () {
console.log(this.technology)
}
}
let jsBook = new ITBook('JS数据结构与算法', 'Groner', '123456789', 'JavaScript')
jsBook.printIsbn()
jsBook.printTechnology()
乘方运算符
let r = 2
let area = Math.PI * r ** 2
console.log(area)
模块
- CommonJS规范是服务器端模块化开发规范，使用require方法加载；
- AMD(Asynchronous Module Definition) 异步模块定义，RequireJS是AMD最流行的实现，是浏览器端模块化开发规范；
- CMD(Common Module Definition) 通用模块定义，SeaJS是CMD的流行实现，是浏览器端模块化开发规范
ES6模块化开发
export 导出模块；import 导入模块
// moduleA.js
export const moduleA = 'moduleA'
// html中引入，注意type="module"
<script type="module">
import { moduleA } from './moduleA.js'
console.log(moduleA)
</script>
2.3 介绍TypeScript
TypeScript是一个开源的、渐进式包含类型的JavaScript超集，由微软创建并维护。目的是让开发者增强JavaScript的能力并使应用的规模扩展变得更容易。
TS在JavaScript中提供类型支持可以实现静态检查，从而更容易地重构代码和寻找BUG。最后，TypeScript为被编译为简单的JavaScript代码。
编写时为.ts文件，使用TypeScript对其进行tsc编译，最终为js文件
下载TypeScript
npm i -g typescript
创建.ts文件，写入内容
// demo.ts
let a = '初始化为字符串内容'
a = 10
console.log(a)
编译ts文件
tsc demo.ts
此处回生成demo.js文件，同时控制台报警告信息：error TS2322: Type '10' is not assignable to type 'string'. 说明TS对变量类型进行了校验，但并未阻止编译器生成最终的js代码。
TS类型推断
// 定义变量，并约束变量类型
let age: number = 20
let flag: Boolean = true
TS允许我们给变量设置一个类型，但是此种写法太麻烦。TS提供了便捷的类型推断机制，相当于在给变量赋初始值时就约束了变量的类型。
// 上面的代码改造
let age = 20 // 数值类型
let flag = true // 布尔值类型
那么，什么时候需要给变量设置类型呢？声明变量，但没有设置其初始值的时候！
如果没有给变量设置类型，那么它的类型会被自动设置为any，意思为接受任何类型的值。
接口
在TS中，有两种接口概念：
第一种：给变量设置类型，是对一个对象必须包含的属性和方法的描述
interface Person {
age: number,
name: string
}
function printName (person: Person) {
console.log(person.name)
}
const john = {
name: 'john',
age: 21
}
const mary = {
name: 'mary',
age: 20,
phone: '123456'
}
printName(john)
printName(mary)
执行tsc编译，木有任何问题。但是小伙伴可能会比较奇怪，对象mary中属性多了个phone，但是并未影响代码的执行。
鸭子类型概念：如果它看起来像鸭子，像鸭子一样游泳，像鸭子一样叫，那么它一定是一只鸭子！
变量mary的行为与Person接口定义的一样，那么它就是一个Person。
第二种：TS接口的概念和面向对象编程相关
接口视为一份合约，在合约里可以定义这份合约的类或接口的行为
interface Comparable {
compareTo (b): number
}
class myObject implements Comparable {
age: number
compareTo(b): number {
if (this.age === b.age) {
return 0
}
return this.age > b.age ? 1 : -1
}
}
let obj = new MyObject()
obj.age = 10
let res = obj.compareTo(20)
console.log(res) // -1
Comparable接口告诉MyObject类，它需要实现一个叫做compareTo的方法，并且该方法接收一个参数。
泛型
对数据结构和算法作用强大的TS特性是泛型这一概念
interface Comparable<T> {
compareTo (b: T): number
}
class MyObject implements Comparable<MyObject> {
age: number
compareTo(b: MyObject): number {
if (this.age === b.age) {
return 0
}
return this.age > b.age ? 1 : -1
}
}
let obj = new MyObject()
obj.age = 10
let obj2 = new MyObject()
obj2.age = 20
let res = obj.compareTo(obj2)
console.log(res) // -1
后记
以上就是胡哥今天给大家分享的内容，喜欢的小伙伴记得收藏、转发、点击右下角按钮在看，推荐给更多小伙伴呦，欢迎多多留言交流...
胡哥有话说，一个有技术，有情怀的胡哥！京东开放平台首席前端攻城狮。与你一起聊聊大前端，分享前端系统架构，框架实现原理，最新最高效的技术实践！
长按扫码关注，更帅更漂亮呦！关注胡哥有话说公众号，可与胡哥继续深入交流呦！
