深拷贝

约定不等于承诺〃 2023-06-04 14:57 2阅读 0赞

最近经常看到很多`JavaScript`手写代码的文章总结，里面提供了很多`JavaScript Api`的手写实现。

里面的题目实现大多类似，而且说实话很多代码在我看来是非常简陋的，如果我作为面试官，看到这样的代码，在我心里是不会合格的，本篇文章我拿最简单的深拷贝来讲一讲。

看本文之前先问自己三个问题：

*  你真的理解什么是深拷贝吗？
 *  在面试官眼里，什么样的深拷贝才算合格？
 *  什么样的深拷贝能让面试官感到惊艳？

本文由浅入深，带你一步一步实现一个惊艳面试官的深拷贝。

本文测试代码：[github.com/ConardLi/Co…][github.com_ConardLi_Co]

> 例如：代码clone到本地后，执行 node clone1.test.js查看测试结果。

建议结合测试代码一起阅读效果更佳。

## 深拷贝和浅拷贝的定义 ##

深拷贝已经是一个老生常谈的话题了，也是现在前端面试的高频题目，但是令我吃惊的是有很多同学还没有搞懂深拷贝和浅拷贝的区别和定义。例如前几天给我提`issue`的同学：

![format_png][]

很明显这位同学把拷贝和赋值搞混了，如果你还对赋值、对象在内存中的存储、变量和类型等等有什么疑问，可以看看我这篇文章：[juejin.im/post/5cec1b…][juejin.im_post_5cec1b] 。

你只要少搞明白`拷贝`和`赋值`的区别。

我们来明确一下深拷贝和浅拷贝的定义：

浅拷贝：

![format_png 1][]

> 创建一个新对象，这个对象有着原始对象属性值的一份精确拷贝。如果属性是基本类型，拷贝的就是基本类型的值，如果属性是引用类型，拷贝的就是内存地址 ，所以如果其中一个对象改变了这个地址，就会影响到另一个对象。

深拷贝：

![format_png 2][]

> 将一个对象从内存中完整的拷贝一份出来,从堆内存中开辟一个新的区域存放新对象,且修改新对象不会影响原对象

话不多说，浅拷贝就不再多说，下面我们直入正题：

## 乞丐版 ##

在不使用第三方库的情况下，我们想要深拷贝一个对象，用的最多的就是下面这个方法。

JSON.parse(JSON.stringify());
    复制代码

这种写法非常简单，而且可以应对大部分的应用场景，但是它还是有很大缺陷的，比如拷贝其他引用类型、拷贝函数、循环引用等情况。

显然，面试时你只说出这样的方法是一定不会合格的。

接下来，我们一起来手动实现一个深拷贝方法。

## 基础版本 ##

如果是浅拷贝的话，我们可以很容易写出下面的代码：

function clone(target) {
        let cloneTarget = {};
        for (const key in target) {
            cloneTarget[key] = target[key];
        }
        return cloneTarget;
    };
    复制代码

创建一个新的对象，遍历需要克隆的对象，将需要克隆对象的属性依次添加到新对象上，返回。

如果是深拷贝的话，考虑到我们要拷贝的对象是不知道有多少层深度的，我们可以用递归来解决问题，稍微改写上面的代码：

*  如果是原始类型，无需继续拷贝，直接返回
 *  如果是引用类型，创建一个新的对象，遍历需要克隆的对象，将需要克隆对象的属性执行**深拷贝后**依次添加到新对象上。

很容易理解，如果有更深层次的对象可以继续递归直到属性为原始类型，这样我们就完成了一个最简单的深拷贝：

我们可以打开测试代码中的[clone1.test.js][]对下面的测试用例进行测试：

const target = {
        field1: 1,
        field2: undefined,
        field3: 'ConardLi',
        field4: {
            child: 'child',
            child2: {
                child2: 'child2'
            }
        }
    };
    复制代码

执行结果：

![format_png 3][]

这是一个最基础版本的深拷贝，这段代码可以让你向面试官展示你可以用递归解决问题，但是显然，他还有非常多的缺陷，比如，还没有考虑数组。

## 考虑数组 ##

在上面的版本中，我们的初始化结果只考虑了普通的`object`，下面我们只需要把初始化代码稍微一变，就可以兼容数组了：

module.exports = function clone(target) {
        if (typeof target === 'object') {
            let cloneTarget = Array.isArray(target) ? [] : {};
            for (const key in target) {
                cloneTarget[key] = clone(target[key]);
            }
            return cloneTarget;
        } else {
            return target;
        }
    };
    复制代码

在[clone2.test.js][]中执行下面的测试用例：

const target = {
        field1: 1,
        field2: undefined,
        field3: {
            child: 'child'
        },
        field4: [2, 4, 8]
    };
    复制代码

执行结果：

![format_png 4][]

OK，没有问题，你的代码又向合格迈进了一小步。

## 循环引用 ##

我们执行下面这样一个测试用例：

const target = {
        field1: 1,
        field2: undefined,
        field3: {
            child: 'child'
        },
        field4: [2, 4, 8]
    };
    target.target = target;
    复制代码

可以看到下面的结果：

![format_png 5][]

很明显，因为递归进入死循环导致栈内存溢出了。

原因就是上面的对象存在循环引用的情况，即对象的属性间接或直接的引用了自身的情况：

![format_png 6][]

解决循环引用问题，我们可以额外开辟一个存储空间，来存储当前对象和拷贝对象的对应关系，当需要拷贝当前对象时，先去存储空间中找，有没有拷贝过这个对象，如果有的话直接返回，如果没有的话继续拷贝，这样就巧妙化解的循环引用的问题。

这个存储空间，需要可以存储`key-value`形式的数据，且`key`可以是一个引用类型，我们可以选择`Map`这种数据结构：

*  检查`map`中有无克隆过的对象
 *  有 - 直接返回
 *  没有 - 将当前对象作为`key`，克隆对象作为`value`进行存储
 *  继续克隆

再来执行上面的测试用例：

![format_png 7][]

可以看到，执行没有报错，且`target`属性，变为了一个`Circular`类型，即循环应用的意思。

接下来，我们可以使用，`WeakMap`提代`Map`来使代码达到画龙点睛的作用。

function clone(target, map = new WeakMap()) {
        // ...
    };
    复制代码

![format_png 8][]

为什么要这样做呢？，先来看看`WeakMap`的作用：

> WeakMap 对象是一组键/值对的集合，其中的键是弱引用的。其键必须是对象，而值可以是任意的。

什么是弱引用呢？

> 在计算机程序设计中，弱引用与强引用相对，是指不能确保其引用的对象不会被垃圾回收器回收的引用。 一个对象若只被弱引用所引用，则被认为是不可访问（或弱可访问）的，并因此可能在任何时刻被回收。

我们默认创建一个对象：`const obj = {}`，就默认创建了一个强引用的对象，我们只有手动将`obj = null`，它才会被垃圾回收机制进行回收，如果是弱引用对象，垃圾回收机制会自动帮我们回收。

举个例子：

如果我们使用`Map`的话，那么对象间是存在强引用关系的：

let obj = { name : 'ConardLi'}
    const target = new Map();
    target.set(obj,'code秘密花园');
    obj = null;
    复制代码

虽然我们手动将`obj`，进行释放，然是`target`依然对`obj`存在强引用关系，所以这部分内存依然无法被释放。

再来看`WeakMap`：

let obj = { name : 'ConardLi'}
    const target = new WeakMap();
    target.set(obj,'code秘密花园');
    obj = null;
    复制代码

如果是`WeakMap`的话，`target`和`obj`存在的就是弱引用关系，当下一次垃圾回收机制执行时，这块内存就会被释放掉。

设想一下，如果我们要拷贝的对象非常庞大时，使用`Map`会对内存造成非常大的额外消耗，而且我们需要手动清除`Map`的属性才能释放这块内存，而`WeakMap`会帮我们巧妙化解这个问题。

我也经常在某些代码中看到有人使用`WeakMap`来解决循环引用问题，但是解释都是模棱两可的，当你不太了解`WeakMap`的真正作用时。我建议你也不要在面试中写这样的代码，结果只能是给自己挖坑，即使是准备面试，你写的每一行代码也都是需要经过深思熟虑并且非常明白的。

能考虑到循环引用的问题，你已经向面试官展示了你考虑问题的全面性，如果还能用`WeakMap`解决问题，并很明确的向面试官解释这样做的目的，那么你的代码在面试官眼里应该算是合格了。

## 性能优化 ##

在上面的代码中，我们遍历数组和对象都使用了`for in`这种方式，实际上`for in`在遍历时效率是非常低的，我们来对比下常见的三种循环`for、while、for in`的执行效率：

![format_png 9][]

可以看到，`while`的效率是最好的，所以，我们可以想办法把`for in`遍历改变为`while`遍历。

我们先使用`while`来实现一个通用的`forEach`遍历，`iteratee`是遍历的回掉函数，他可以接收每次遍历的`value`和`index`两个参数：

function forEach(array, iteratee) {
        let index = -1;
        const length = array.length;
        while (++index < length) {
            iteratee(array[index], index);
        }
        return array;
    }
    复制代码

下面对我们的`cloen`函数进行改写：当遍历数组时，直接使用`forEach`进行遍历，当遍历对象时，使用`Object.keys`取出所有的`key`进行遍历，然后在遍历时把`forEach`会调函数的`value`当作`key`使用：

下面，我们执行[clone4.test.js][]分别对上一个克隆函数和改写后的克隆函数进行测试：

执行结果：

![format_png 10][]

很明显，我们的性能优化是有效的。

到这里，你已经向面试官展示了，在写代码的时候你会考虑程序的运行效率，并且你具有通用函数的抽象能力。

## 其他数据类型 ##

在上面的代码中，我们其实只考虑了普通的`object`和`array`两种数据类型，实际上所有的引用类型远远不止这两个，还有很多，下面我们先尝试获取对象准确的类型。

### 合理的判断引用类型 ###

首先，判断是否为引用类型，我们还需要考虑`function`和`null`两种特殊的数据类型：

function isObject(target) {
        const type = typeof target;
        return target !== null && (type === 'object' || type === 'function');
    }
    复制代码

if (!isObject(target)) {
            return target;
        }
        // ...
    复制代码

### 获取数据类型 ###

我们可以使用`toString`来获取准确的引用类型：

> 每一个引用类型都有`toString`方法，默认情况下，`toString()`方法被每个`Object`对象继承。如果此方法在自定义对象中未被覆盖，t`oString()` 返回 `"[object type]"`，其中type是对象的类型。

注意，上面提到了如果此方法在自定义对象中未被覆盖，`toString`才会达到预想的效果，事实上，大部分引用类型比如`Array、Date、RegExp`等都重写了`toString`方法。

我们可以直接调用`Object`原型上未被覆盖的`toString()`方法，使用`call`来改变`this`指向来达到我们想要的效果。

function getType(target) {
        return Object.prototype.toString.call(target);
    }
    复制代码

![format_png 11][]

下面我们抽离出一些常用的数据类型以便后面使用：

const mapTag = '[object Map]';
    const setTag = '[object Set]';
    const arrayTag = '[object Array]';
    const objectTag = '[object Object]';
    
    const boolTag = '[object Boolean]';
    const dateTag = '[object Date]';
    const errorTag = '[object Error]';
    const numberTag = '[object Number]';
    const regexpTag = '[object RegExp]';
    const stringTag = '[object String]';
    const symbolTag = '[object Symbol]';
    
    复制代码

在上面的集中类型中，我们简单将他们分为两类：

*  可以继续遍历的类型
 *  不可以继续遍历的类型

我们分别为它们做不同的拷贝。

### 可继续遍历的类型 ###

上面我们已经考虑的`object`、`array`都属于可以继续遍历的类型，因为它们内存都还可以存储其他数据类型的数据，另外还有`Map`，`Set`等都是可以继续遍历的类型，这里我们只考虑这四种，如果你有兴趣可以继续探索其他类型。

有序这几种类型还需要继续进行递归，我们首先需要获取它们的初始化数据，例如上面的`[]`和`{}`，我们可以通过拿到`constructor`的方式来通用的获取。

例如：`const target = {}`就是`const target = new Object()`的语法糖。另外这种方法还有一个好处：因为我们还使用了原对象的构造方法，所以它可以保留对象原型上的数据，如果直接使用普通的`{}`，那么原型必然是丢失了的。

function getInit(target) {
        const Ctor = target.constructor;
        return new Ctor();
    }
    复制代码

下面，我们改写`clone`函数，对可继续遍历的数据类型进行处理：

我们执行[clone5.test.js][]对下面的测试用例进行测试：

const target = {
        field1: 1,
        field2: undefined,
        field3: {
            child: 'child'
        },
        field4: [2, 4, 8],
        empty: null,
        map,
        set,
    };
    复制代码

执行结果：

![format_png 12][]

没有问题，里大功告成又进一步，下面我们继续处理其他类型：

### 不可继续遍历的类型 ###

其他剩余的类型我们把它们统一归类成不可处理的数据类型，我们依次进行处理：

`Bool`、`Number`、`String`、`String`、`Date`、`Error`这几种类型我们都可以直接用构造函数和原始数据创建一个新对象：

function cloneOtherType(targe, type) {
        const Ctor = targe.constructor;
        switch (type) {
            case boolTag:
            case numberTag:
            case stringTag:
            case errorTag:
            case dateTag:
                return new Ctor(targe);
            case regexpTag:
                return cloneReg(targe);
            case symbolTag:
                return cloneSymbol(targe);
            default:
                return null;
        }
    }
    复制代码

克隆`Symbol`类型：

function cloneSymbol(targe) {
        return Object(Symbol.prototype.valueOf.call(targe));
    }
    
    克隆正则：
    
    function cloneReg(targe) {
        const reFlags = /\w*$/;
        const result = new targe.constructor(targe.source, reFlags.exec(targe));
        result.lastIndex = targe.lastIndex;
        return result;
    }
    复制代码

实际上还有很多数据类型我这里没有写到，有兴趣的话可以继续探索实现一下。

能写到这里，面试官已经看到了你考虑问题的严谨性，你对变量和类型的理解，对`JS API`的熟练程度，相信面试官已经开始对你刮目相看了。

### 克隆函数 ###

最后，我把克隆函数单独拎出来了，实际上克隆函数是没有实际应用场景的，两个对象使用一个在内存中处于同一个地址的函数也是没有任何问题的，我特意看了下`lodash`对函数的处理：

const isFunc = typeof value == 'function'
     if (isFunc || !cloneableTags[tag]) {
            return object ? value : {}
     }
    复制代码

可见这里如果发现是函数的话就会直接返回了，没有做特殊的处理，但是我发现不少面试官还是热衷于问这个问题的，而且据我了解能写出来的少之又少。。。

实际上这个方法并没有什么难度，主要就是考察你对基础的掌握扎实不扎实。

首先，我们可以通过`prototype`来区分下箭头函数和普通函数，箭头函数是没有`prototype`的。

我们可以直接使用`eval`和函数字符串来重新生成一个箭头函数，注意这种方法是不适用于普通函数的。

我们可以使用正则来处理普通函数：

分别使用正则取出函数体和函数参数，然后使用`new Function ([arg1[, arg2[, ...argN]],] functionBody)`构造函数重新构造一个新的函数：

最后，我们再来执行[clone6.test.js][]对下面的测试用例进行测试：

执行结果：

![format_png 13][]

## 最后 ##

为了更好的阅读，我们用一张图来展示上面所有的代码：

![format_png 14][]

完整代码：[github.com/ConardLi/Co…][github.com_ConardLi_Co 1]

可见，一个小小的深拷贝还是隐藏了很多的知识点的。

千万不要以最低的要求来要求自己，如果你只是为了应付面试中的一个题目，那么你可能只会去准备上面最简陋的深拷贝的方法。

但是面试官考察你的目的是全方位的考察你的思维能力，如果你写出上面的代码，可以体现你多方位的能力：

*  基本实现
    
     *  递归能力
 *  循环引用
    
     *  考虑问题的全面性
     *  理解weakmap的真正意义
 *  多种类型
    
     *  考虑问题的严谨性
     *  创建各种引用类型的方法，JS API的熟练程度
     *  准确的判断数据类型，对数据类型的理解程度
 *  通用遍历：
    
     *  写代码可以考虑性能优化
     *  了解集中遍历的效率
     *  代码抽象能力
 *  拷贝函数：
    
     *  箭头函数和普通函数的区别
     *  正则表达式熟练程度

看吧，一个小小的深拷贝能考察你这么多的能力，如果面试官看到这样的代码，怎么能够不惊艳呢？

其实面试官出的所有题目你都可以用这样的思路去考虑。不要为了应付面试而去背一些代码，这样在有经验的面试官面前会都会暴露出来。你写的每一段代码都要经过深思熟虑，为什么要这样用，还能怎么优化...这样才能给面试官展现一个最好的你。

## 参考 ##

*  [WeakMap][]
 *  [lodash][]

## 小结 ##

希望看完本篇文章能对你有如下帮助：

*  理解深浅拷贝的真正意义
 *  能整我深拷贝的各个要点，对问题进行深入分析
 *  可以手写一个比较完整的深拷贝

转载：https://juejin.im/post/5d6aa4f96fb9a06b112ad5b1

[github.com_ConardLi_Co]: https://link.juejin.im?target=https%3A%2F%2Fgithub.com%2FConardLi%2FConardLi.github.io%2Ftree%2Fmaster%2Fdemo%2FdeepClone
[format_png]: /images/20230601/5a82b6632f364bf8bf9e23e72d17a1e4.png
[juejin.im_post_5cec1b]: https://juejin.im/post/5cec1bcff265da1b8f1aa08f
[format_png 1]: /images/20230601/1cf97c0a54344b7fa7fd004add8ede77.png
[format_png 2]: /images/20230601/2a790043df2940b6967b3773a054cca5.png
[clone1.test.js]: https://link.juejin.im?target=https%3A%2F%2Fgithub.com%2FConardLi%2FConardLi.github.io%2Fblob%2Fmaster%2Fdemo%2FdeepClone%2Ftest%2Fclone1.test.js
[format_png 3]: /images/20230601/34bdbecb3d4d49eda3439d41e45f6657.png
[clone2.test.js]: https://link.juejin.im?target=https%3A%2F%2Fgithub.com%2FConardLi%2FConardLi.github.io%2Fblob%2Fmaster%2Fdemo%2FdeepClone%2Ftest%2Fclone2.test.js
[format_png 4]: /images/20230601/055173c271e1401d952858486a7b76c5.png
[format_png 5]: /images/20230601/63874b8673074efd9f1f7679fb5307a6.png
[format_png 6]: /images/20230601/5e3ae01d8bc2475d824dd8cfc5a27460.png
[format_png 7]: /images/20230601/e110a67b438e45d3b04e82a8fd0a66c9.png
[format_png 8]: /images/20230601/75a2c29d1cc2463aa859d2546557f583.png
[format_png 9]: /images/20230601/16ef37ffee614c769005a52466bd44d8.png
[clone4.test.js]: https://link.juejin.im?target=https%3A%2F%2Fgithub.com%2FConardLi%2FConardLi.github.io%2Fblob%2Fmaster%2Fdemo%2FdeepClone%2Ftest%2Fclone4.test.js
[format_png 10]: /images/20230601/79fc7ee06e804bc7843b18520db0ae4b.png
[format_png 11]: /images/20230601/107b6e3e49424404b48b364940ff276e.png
[clone5.test.js]: https://link.juejin.im?target=https%3A%2F%2Fgithub.com%2FConardLi%2FConardLi.github.io%2Fblob%2Fmaster%2Fdemo%2FdeepClone%2Ftest%2Fclone5.test.js
[format_png 12]: /images/20230601/18279dac36aa425791e7f2fcd0d575e9.png
[clone6.test.js]: https://link.juejin.im?target=https%3A%2F%2Fgithub.com%2FConardLi%2FConardLi.github.io%2Fblob%2Fmaster%2Fdemo%2FdeepClone%2Ftest%2Fclone6.test.js
[format_png 13]: /images/20230601/b501018183614066ac37f857e792e92c.png
[format_png 14]: /images/20230601/c6ca18142e5b4920aaff54dd94b94476.png
[github.com_ConardLi_Co 1]: https://link.juejin.im?target=https%3A%2F%2Fgithub.com%2FConardLi%2FConardLi.github.io%2Fblob%2Fmaster%2Fdemo%2FdeepClone%2Fsrc%2Fclone_6.js
[WeakMap]: https://link.juejin.im?target=https%3A%2F%2Fdeveloper.mozilla.org%2Fzh-CN%2Fdocs%2FWeb%2FJavaScript%2FReference%2FGlobal_Objects%2FWeakMap
[lodash]: https://link.juejin.im?target=https%3A%2F%2Flodash.com%2F