进阶43期面试题之如何实现一个深拷贝

33次阅读

共计 9600 个字符，预计需要花费 24 分钟才能阅读完成。

引言

上篇文章详细介绍了浅拷贝 Object.assign，并对其进行了模拟实现，在实现的过程中，介绍了很多基础知识。今天这篇文章我们来看看一道必会面试题，即如何实现一个深拷贝。本文会详细介绍对象、数组、循环引用、引用丢失、Symbol 和递归爆栈等情况下的深拷贝实践，欢迎阅读。

第一步：简单实现

其实深拷贝可以拆分成 2 步，浅拷贝 + 递归，浅拷贝时判断属性值是否是对象，如果是对象就进行递归操作，两个一结合就实现了深拷贝。

根据上篇文章内容，我们可以写出简单浅拷贝代码如下。

// 木易杨
function cloneShallow(source) {var target = {};
    for (var key in source) {if (Object.prototype.hasOwnProperty.call(source, key)) {target[key] = source[key];
        }
    }
    return target;
}

// 测试用例
var a = {
    name: "muyiy",
    book: {
        title: "You Don't Know JS",
        price: "45"
    },
    a1: undefined,
    a2: null,
    a3: 123
}
var b = cloneShallow(a);

a.name = "高级前端进阶";
a.book.price = "55";

console.log(b);
// { 
//   name: 'muyiy', 
//   book: {title: 'You Don\'t Know JS', price:'55'},
//   a1: undefined,
//   a2: null,
//   a3: 123
// }

上面代码是浅拷贝实现，只要稍微改动下，加上是否是对象的判断并在相应的位置使用递归就可以实现简单深拷贝。

// 木易杨
function cloneDeep1(source) {var target = {};
    for(var key in source) {if (Object.prototype.hasOwnProperty.call(source, key)) {if (typeof source[key] === 'object') {target[key] = cloneDeep1(source[key]); // 注意这里
            } else {target[key] = source[key];
            }
        }
    }
    return target;
}

// 使用上面测试用例测试一下
var b = cloneDeep1(a);
console.log(b);
// { 
//   name: 'muyiy', 
//   book: {title: 'You Don\'t Know JS', price:'45'}, 
//   a1: undefined,
//   a2: {},
//   a3: 123
// }

一个简单的深拷贝就完成了，但是这个实现还存在很多问题。

  • 1、没有对传入参数进行校验，传入 null 时应该返回 null 而不是 {}
  • 2、对于对象的判断逻辑不严谨，因为 typeof null === 'object'
  • 3、没有考虑数组的兼容

第二步：拷贝数组

我们来看下对于对象的判断，之前在【进阶 3 - 3 期】有过介绍，判断方案如下。

// 木易杨
function isObject(obj) {return Object.prototype.toString.call(obj) === '[object Object]';
}

但是用在这里并不合适，因为我们要保留数组这种情况，所以这里使用 typeof 来处理。

// 木易杨
typeof null //"object"
typeof {} //"object"
typeof [] //"object"
typeof function foo(){} //"function" (特殊情况)

改动过后的 isObject 判断逻辑如下。

// 木易杨
function isObject(obj) {return typeof obj === 'object' && obj != null;}

所以兼容数组的写法如下。

// 木易杨
function cloneDeep2(source) {if (!isObject(source)) return source; // 非对象返回自身
      
    var target = Array.isArray(source) ? [] : {};
    for(var key in source) {if (Object.prototype.hasOwnProperty.call(source, key)) {if (isObject(source[key])) {target[key] = cloneDeep2(source[key]); // 注意这里
            } else {target[key] = source[key];
            }
        }
    }
    return target;
}

// 使用上面测试用例测试一下
var b = cloneDeep2(a);
console.log(b);
// { 
//   name: 'muyiy', 
//   book: {title: 'You Don\'t Know JS', price:'45'},
//   a1: undefined,
//   a2: null,
//   a3: 123
// }

第三步：循环引用

我们知道 JSON 无法深拷贝循环引用，遇到这种情况会抛出异常。

// 木易杨
// 此处 a 是文章开始的测试用例
a.circleRef = a;

JSON.parse(JSON.stringify(a));
// TypeError: Converting circular structure to JSON

1、使用哈希表

解决方案很简单，其实就是循环检测，我们设置一个数组或者哈希表存储已拷贝过的对象，当检测到当前对象已存在于哈希表中时，取出该值并返回即可。

// 木易杨
function cloneDeep3(source, hash = new WeakMap()) {if (!isObject(source)) return source; 
    if (hash.has(source)) return hash.get(source); // 新增代码，查哈希表
      
    var target = Array.isArray(source) ? [] : {};
    hash.set(source, target); // 新增代码，哈希表设值
    
    for(var key in source) {if (Object.prototype.hasOwnProperty.call(source, key)) {if (isObject(source[key])) {target[key] = cloneDeep3(source[key], hash); // 新增代码，传入哈希表
            } else {target[key] = source[key];
            }
        }
    }
    return target;
}

测试一下，看看效果如何。

// 木易杨
// 此处 a 是文章开始的测试用例
a.circleRef = a;

var b = cloneDeep3(a);
console.log(b);
// {
//     name: "muyiy",
//     a1: undefined,
//    a2: null,
//     a3: 123,
//     book: {title: "You Don't Know JS", price:"45"},
//     circleRef: {name: "muyiy", book: {…}, a1: undefined, a2: null, a3: 123, …}
// }

完美！

2、使用数组

这里使用了 ES6 中的 WeakMap 来处理，那在 ES5 下应该如何处理呢？

也很简单，使用数组来处理就好啦，代码如下。

// 木易杨
function cloneDeep3(source, uniqueList) {if (!isObject(source)) return source; 
    if (!uniqueList) uniqueList = []; // 新增代码，初始化数组
      
    var target = Array.isArray(source) ? [] : {};
    
    // ============= 新增代码
    // 数据已经存在，返回保存的数据
    var uniqueData = find(uniqueList, source);
    if (uniqueData) {return uniqueData.target;};
        
    // 数据不存在，保存源数据，以及对应的引用
    uniqueList.push({
        source: source,
        target: target
    });
    // =============

    for(var key in source) {if (Object.prototype.hasOwnProperty.call(source, key)) {if (isObject(source[key])) {target[key] = cloneDeep3(source[key], uniqueList); // 新增代码，传入数组
            } else {target[key] = source[key];
            }
        }
    }
    return target;
}

// 新增方法，用于查找
function find(arr, item) {for(var i = 0; i < arr.length; i++) {if (arr[i].source === item) {return arr[i];
        }
    }
    return null;
}

// 用上面测试用例已测试通过

现在已经很完美的解决了循环引用这种情况，那其实还是一种情况是引用丢失，我们看下面的例子。

// 木易杨
var obj1 = {};
var obj2 = {a: obj1, b: obj1};

obj2.a === obj2.b; 
// true

var obj3 = cloneDeep2(obj2);
obj3.a === obj3.b; 
// false

引用丢失在某些情况下是有问题的，比如上面的对象 obj2，obj2 的键值 a 和 b 同时引用了同一个对象 obj1，使用 cloneDeep2 进行深拷贝后就丢失了引用关系变成了两个不同的对象，那如何处理呢。

其实你有没有发现，我们的 cloneDeep3 已经解决了这个问题，因为只要存储已拷贝过的对象就可以了。

// 木易杨
var obj3 = cloneDeep3(obj2);
obj3.a === obj3.b; 
// true

完美！

第四步：拷贝 Symbol

这个时候可能要搞事情了，那我们能不能拷贝 Symol 类型呢？

当然可以，不过 Symbol 在 ES6 下才有，我们需要一些方法来检测出 Symble 类型。

方法一：Object.getOwnPropertySymbols(...)

方法二：Reflect.ownKeys(...)

对于方法一 可以查找一个给定对象的符号属性时返回一个 ?symbol 类型的数组。注意，每个初始化的对象都是没有自己的 symbol 属性的，因此这个数组可能为空，除非你已经在对象上设置了 symbol 属性。（来自 MDN）

var obj = {};
var a = Symbol("a"); // 创建新的 symbol 类型
var b = Symbol.for("b"); // 从全局的 symbol 注册? 表设置和取得 symbol

obj[a] = "localSymbol";
obj[b] = "globalSymbol";

var objectSymbols = Object.getOwnPropertySymbols(obj);

console.log(objectSymbols.length); // 2
console.log(objectSymbols)         // [Symbol(a), Symbol(b)]
console.log(objectSymbols[0])      // Symbol(a)

对于方法二 返回一个由目标对象 自身 的属性键组成的数组。它的返回值等同于Object.getOwnPropertyNames(target).concat(Object.getOwnPropertySymbols(target))。(来自 MDN)

Reflect.ownKeys({z: 3, y: 2, x: 1}); // ["z", "y", "x"]
Reflect.ownKeys([]); // ["length"]

var sym = Symbol.for("comet");
var sym2 = Symbol.for("meteor");
var obj = {[sym]: 0, "str": 0, "773": 0, "0": 0,
           [sym2]: 0, "-1": 0, "8": 0, "second str": 0};
Reflect.ownKeys(obj);
// ["0", "8", "773", "str", "-1", "second str", Symbol(comet), Symbol(meteor) ]
// 注意顺序
// Indexes in numeric order, 
// strings in insertion order, 
// symbols in insertion order

方法一

思路就是先查找有没有 Symbol 属性，如果查找到则先遍历处理 Symbol 情况，然后再处理正常情况，多出来的逻辑就是下面的新增代码。

// 木易杨
function cloneDeep4(source, hash = new WeakMap()) {if (!isObject(source)) return source; 
    if (hash.has(source)) return hash.get(source); 
      
    let target = Array.isArray(source) ? [] : {};
    hash.set(source, target);
    
    // ============= 新增代码
    let symKeys = Object.getOwnPropertySymbols(source); // 查找
    if (symKeys.length) { // 查找成功    
        symKeys.forEach(symKey => {if (isObject(source[symKey])) {target[symKey] = cloneDeep4(source[symKey], hash); 
            } else {target[symKey] = source[symKey];
            }    
        });
    }
    // =============
    
    for(let key in source) {if (Object.prototype.hasOwnProperty.call(source, key)) {if (isObject(source[key])) {target[key] = cloneDeep4(source[key], hash); 
            } else {target[key] = source[key];
            }
        }
    }
    return target;
}

测试下效果

// 木易杨
// 此处 a 是文章开始的测试用例
var sym1 = Symbol("a"); // 创建新的 symbol 类型
var sym2 = Symbol.for("b"); // 从全局的 symbol 注册? 表设置和取得 symbol

a[sym1] = "localSymbol";
a[sym2] = "globalSymbol";

var b = cloneDeep4(a);
console.log(b);
// {
//     name: "muyiy",
//     a1: undefined,
//    a2: null,
//     a3: 123,
//     book: {title: "You Don't Know JS", price:"45"},
//     circleRef: {name: "muyiy", book: {…}, a1: undefined, a2: null, a3: 123, …},
//  [Symbol(a)]: 'localSymbol',
//  [Symbol(b)]: 'globalSymbol'
// }

完美！

方法二

// 木易杨
function cloneDeep4(source, hash = new WeakMap()) {if (!isObject(source)) return source; 
    if (hash.has(source)) return hash.get(source); 
      
    let target = Array.isArray(source) ? [] : {};
    hash.set(source, target);
    
      Reflect.ownKeys(source).forEach(key => { // 改动
        if (isObject(source[key])) {target[key] = cloneDeep4(source[key], hash); 
        } else {target[key] = source[key];
        }  
      });
    return target;
}

// 测试已通过

这里使用了 Reflect.ownKeys() 获取所有的键值，同时包括 Symbol，对 source 遍历赋值即可。

写到这里已经差不多了，我们再延伸下，对于 target 换一种写法，改动如下。

// 木易杨
function cloneDeep4(source, hash = new WeakMap()) {if (!isObject(source)) return source; 
    if (hash.has(source)) return hash.get(source); 
      
    let target = Array.isArray(source) ? [...source] : {...source}; // 改动 1
    hash.set(source, target);
    
      Reflect.ownKeys(target).forEach(key => { // 改动 2
        if (isObject(source[key])) {target[key] = cloneDeep4(source[key], hash); 
        } else {target[key] = source[key];
        }  
      });
    return target;
}

// 测试已通过

在改动 1 中，返回一个新数组或者新对象，获取到源对象之后就可以如改动 2 所示传入 target 遍历赋值即可。

Reflect.ownKeys() 这种方式的问题在于不能深拷贝原型链上的数据，因为返回的是目标对象 自身 的属性键组成的数组。如果想深拷贝原型链上的数据怎么办，那用 for..in 就可以了。

我们再介绍下两个知识点，分别是 构造字面量数组时使用展开语法 和构造字面量对象时使用展开语法。（以下代码示例来源于 MDN）

1、展开语法之字面量数组

这是 ES2015（ES6） 才有的语法，可以通过字面量方式, 构造新数组，而不再需要组合使用 push, splice, concat 等方法。

var parts = ['shoulders', 'knees']; 
var lyrics = ['head', ...parts, 'and', 'toes']; 
// ["head", "shoulders", "knees", "and", "toes"]

这里的使用方法和参数列表的展开有点类似。

function myFunction(v, w, x, y, z) { }
var args = [0, 1];
myFunction(-1, ...args, 2, ...[3]);

返回的是新数组，对新数组修改之后不会影响到旧数组，类似于 arr.slice()。

var arr = [1, 2, 3];
var arr2 = [...arr]; // like arr.slice()
arr2.push(4); 

// arr2 此时变成 [1, 2, 3, 4]
// arr 不受影响

展开语法和 Object.assign() 行为一致, 执行的都是浅拷贝（即只遍历一层）。

var a = [[1], [2], [3]];
var b = [...a];
b.shift().shift(); // 1
// [[], [2], [3]]

这里 a 是多层数组，b 只拷贝了第一层，对于第二层依旧和 a 持有同一个地址，所以对 b 的修改会影响到 a。

2、展开语法之字面量对象

这是 ES2018 才有的语法，将已有对象的所有 可枚举属性 拷贝到新构造的对象中，类似于 Object.assign() 方法。

var obj1 = {foo: 'bar', x: 42};
var obj2 = {foo: 'baz', y: 13};

var clonedObj = {...obj1};
// {foo: "bar", x: 42}

var mergedObj = {...obj1, ...obj2};
// {foo: "baz", x: 42, y: 13}

Object.assign() 函数会触发 setters，而展开语法不会。有时候不能替换或者模拟 Object.assign() 函数，因为会得到意想不到的结果，如下所示。

var obj1 = {foo: 'bar', x: 42};
var obj2 = {foo: 'baz', y: 13};
const merge = (...objects) => ({ ...objects} );

var mergedObj = merge (obj1, obj2);
// {0: { foo: 'bar', x: 42}, 1: {foo: 'baz', y: 13} }

var mergedObj = merge ({}, obj1, obj2);
// {0: {}, 1: {foo: 'bar', x: 42}, 2: {foo: 'baz', y: 13} }

这里实际上是将多个解构变为剩余参数（rest），然后再将剩余参数展开为字面量对象.

第五步：破解递归爆栈

上面四步使用的都是递归方法，但是有一个问题在于会爆栈，错误提示如下。

// RangeError: Maximum call stack size exceeded

那应该如何解决呢？其实我们使用循环就可以了，代码如下。

function cloneDeep5(x) {const root = {};

    // 栈
    const loopList = [
        {
            parent: root,
            key: undefined,
            data: x,
        }
    ];

    while(loopList.length) {
        // 广度优先
        const node = loopList.pop();
        const parent = node.parent;
        const key = node.key;
        const data = node.data;

        // 初始化赋值目标，key 为 undefined 则拷贝到父元素，否则拷贝到子元素
        let res = parent;
        if (typeof key !== 'undefined') {res = parent[key] = {};}

        for(let k in data) {if (data.hasOwnProperty(k)) {if (typeof data[k] === 'object') {
                    // 下一次循环
                    loopList.push({
                        parent: res,
                        key: k,
                        data: data[k],
                    });
                } else {res[k] = data[k];
                }
            }
        }
    }

    return root;
}

由于篇幅问题就不过多介绍了，详情请参考下面这篇文章。

深拷贝的终极探索（99% 的人都不知道）

本期思考题

如何用 JS 实现 JSON.parse?

参考

深入剖析 JavaScript 的深复制

深拷贝的终极探索（99% 的人都不知道）

深入 js 深拷贝对象

MDN 之展开语法

MDN 之 Symbol

进阶系列目录

  • 【进阶 1 期】调用堆栈
  • 【进阶 2 期】作用域闭包
  • 【进阶 3 期】this 全面解析
  • 【进阶 4 期】深浅拷贝原理
  • 【进阶 5 期】原型 Prototype
  • 【进阶 6 期】高阶函数
  • 【进阶 7 期】事件机制
  • 【进阶 8 期】Event Loop 原理
  • 【进阶 9 期】Promise 原理
  • 【进阶 10 期】Async/Await 原理
  • 【进阶 11 期】防抖 / 节流原理
  • 【进阶 12 期】模块化详解
  • 【进阶 13 期】ES6 重难点
  • 【进阶 14 期】计算机网络概述
  • 【进阶 15 期】浏览器渲染原理
  • 【进阶 16 期】webpack 配置
  • 【进阶 17 期】webpack 原理
  • 【进阶 18 期】前端监控
  • 【进阶 19 期】跨域和安全
  • 【进阶 20 期】性能优化
  • 【进阶 21 期】VirtualDom 原理
  • 【进阶 22 期】Diff 算法
  • 【进阶 23 期】MVVM 双向绑定
  • 【进阶 24 期】Vuex 原理
  • 【进阶 25 期】Redux 原理
  • 【进阶 26 期】路由原理
  • 【进阶 27 期】VueRouter 源码解析
  • 【进阶 28 期】ReactRouter 源码解析

交流

进阶系列文章汇总如下，内有优质前端资料，觉得不错点个 star。

https://github.com/yygmind/blog

我是木易杨，公众号「高级前端进阶」作者，跟着我 每周重点攻克一个前端面试重难点。接下来让我带你走进高级前端的世界，在进阶的路上，共勉！

正文完
前端
发表至： javascript
2019-06-13
 0
新上课程推荐：TypeScript完全解读(总26课时）
2020春季13年前端面经
关于javascript:THREEjs设置背景图和播放动画学习-大帅老猿threejs特训
关于javascript:Angular-如何根据一个-class-的定义和数据动态创建一个该类的实例