重读《学习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已经发布，但不是所有的浏览器都支持新特性。

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

后记

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

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

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