重读学习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 的版本问题

JS 版本的兼容性问题

一定要明白，即便 ES2015 到 ES2017 已经发布，但不是所有的浏览器都支持新特性。

1. 使用最新版的浏览器进行体验

2. 使用 Babel.js 对使用 ECMAScript 新语言特性的 JavaScript 代码转换成只使用广泛支持的 ES5 特性的等价代码

   Babel.js 是一个 JavaScript 的转译器，具体使用文档：官网 - 传送门 Babel.js 中文网

2.2 ES6+ 的新功能

let 和 const 定义变量

1. 不存在变量提升

   console.log(a) // ReferenceError: Cannot access 'a' before initialization
   let a = 10

2. 不允许重复声明定义变量

   let a = 10
   let a = 20  // SyntaxError: Identifier 'a' has already been declared

3. 变量作用域

   
   > 块状作用域 {}
   

   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

解构应用

1. 交换变量值

let x = 10
let y = 20
[y, x] = [x, y]

1. 属性简写

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)

模块

1. CommonJS 规范是服务器端模块化开发规范，使用 require 方法加载；
2. AMD(Asynchronous Module Definition) 异步模块定义，RequireJS 是 AMD 最流行的实现，是浏览器端模块化开发规范；
3. 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

后记

以上就是胡哥今天给大家分享的内容，喜欢的小伙伴记得 收藏 、 转发 、点击右下角按钮 在看，推荐给更多小伙伴呦，欢迎多多留言交流 …

胡哥有话说，一个有技术，有情怀的胡哥！京东开放平台首席前端攻城狮。与你一起聊聊大前端，分享前端系统架构，框架实现原理，最新最高效的技术实践！

长按扫码关注，更帅更漂亮呦！关注胡哥有话说公众号，可与胡哥继续深入交流呦！