Component,PureComponent源码解析

为了看react源码，我查找了不少资料，这里推荐两个参考资料，个人觉得写得不错。

慕课网一个课的电子书，他有个源码解析的视频教程，应该不错，不过我没买。
一个知乎专栏，写得很清晰，只不过是15.6.2的, 在react16里面一些方法找不到了。

Component, PureComponent是我们最常用的东西，我们经常继承他们来创建组件。因此，我选择从这几个最最常用的东西入手开始欣赏React源码。他们都位于packages/react目录下，入口在index.js,index.js里边导出的其实是src下的React.js里的东西，在React.js中可以看到React暴露的API。在React.js中可以找到上面说述的Component,PureComponent和ReactElement相关线索。

Component

Component和PureComponent都位于/packages/react/src/ReactBaseClasses.js。

这两个东西都是构造函数，或者称为类。

Component的构造函数长成如下这样：

/**
 * Base class helpers for the updating state of a component.
 */

 // 经常去继承他,原来这个构造行数是这样的
function Component(props, context, updater) {
  this.props = props;
  this.context = context;
  // If a component has string refs, we will assign a different object later.
  this.refs = emptyObject;
  // We initialize the default updater but the real one gets injected by the
  // renderer.

  // 这个new的时候需要注意updater是哪里来的, 这个updater与setState应该有很大关系
  this.updater = updater || ReactNoopUpdateQueue;
}

这并没有什么神奇的，他接收三个参数，挂到this上。具体是这三个参数是啥，我目前也是不清楚的，因为我们平时使用都是extends他而并没有new他，new的过程应该是框架去做的，这个得到后面再做分析。后面分析时需要注意updater，感觉这里会是一个重点，他有一个默认值，ReactNoopUpdateQueue，去看了下他的代码，他是一个对象，挂了一些方法，这里也就不展开了，我也没太细看。

Component的原型上挂了一些方法和属性，isReactComponent属性，setState方法，forceUpdate方法，代码如下：

// 通常isXxx都是boolean类型的，这里比较奇怪，后面需要关注下
Component.prototype.isReactComponent = {};

/**
 * ...这里有很多说明，可以直接去看
 *
 * @param {object|function} partialState Next partial state or function to
 *        produce next partial state to be merged with current state.
 * @param {?function} callback Called after state is updated.
 * @final
 * @protected
 */

 // 原来我们平时调用的setState就这么几行啊，但是看他是调用的updater的enqueueSetState，
 // 相关实现应该在那里边了, 可以updater这个东西很厉害
Component.prototype.setState = function(partialState, callback) {
  // 这里是个参数校验，校验不通过的话会给提示信息，并抛出异常
  invariant(
    typeof partialState === 'object' ||
      typeof partialState === 'function' ||
      partialState == null,
    'setState(...): takes an object of state variables to update or a ' +
      'function which returns an object of state variables.',
  );
  this.updater.enqueueSetState(this, partialState, callback, 'setState');
};

/**
 * ...这里有很多说明，可以直接去看
 *
 * @param {?function} callback Called after update is complete.
 * @final
 * @protected
 */

 // 很少用到这个方法啊, 但他和setState一样都是Component原型上的方法
Component.prototype.forceUpdate = function(callback) {
  this.updater.enqueueForceUpdate(this, callback, 'forceUpdate');
};

其实Component的原型上挂载的东西也没什么神奇的，其中非常重要的是updater的enqueueSetState，enqueueForceUpdate方法，进一步说明了updater是后面分析的重点。

接下来的一段代码是用来在开发模式下标记废弃的api的，在开发模式下回给写提示，代码如下：

 // 这里是标识一些废弃的api, 开发模式会报出来提醒开发这注意
if (__DEV__) {
  const deprecatedAPIs = {
    isMounted: [
      'isMounted',
      'Instead, make sure to clean up subscriptions and pending requests in ' +
        'componentWillUnmount to prevent memory leaks.',
    ],
    replaceState: [
      'replaceState',
      'Refactor your code to use setState instead (see ' +
        'https://github.com/facebook/react/issues/3236).',
    ],
  };
  const defineDeprecationWarning = function(methodName, info) {
    Object.defineProperty(Component.prototype, methodName, {
      get: function() {
        lowPriorityWarning(
          false,
          '%s(...) is deprecated in plain JavaScript React classes. %s',
          info[0],
          info[1],
        );
        return undefined;
      },
    });
  };
  for (const fnName in deprecatedAPIs) {
    if (deprecatedAPIs.hasOwnProperty(fnName)) {
      defineDeprecationWarning(fnName, deprecatedAPIs[fnName]);
    }
  }
}

__DEV__这个东西我没找到是在哪里挂到全局的（知道的同学可以留言指点下），但是看变量名可以推测他是开发模式标识，这个提示我们在做一些给别人用的东西时，接口协议约定十分重要，一旦约定就不能轻易变更，确实需要变更时需要通知调用方调整。回头来，这里标识废弃了isMounted,replaceState两个方法，其实他们被挪到了updater里边。

PureComponent

开始用React时老大Rewview我的代码时经常写评论，“你这个Component可以改成PureComponent”,当时一直不懂PureComponent与Component的区别（现在也没全懂），只是听人说PureComponent更新的时候是浅比较，而Component是深比较。今天看了这部分，其实也没懂，不过感觉后面再看看应该就懂了。要搞清这里的PureComponet需要了解下js中继承的实现，大家可以参考《JavaScript高级程序设计》相关介绍，也可以看看理解js继承的6种方式, 笔者看到这个PureComponet也是先复习了下才看的。不管你看没看，代码先贴出来：

// PureComponent

function ComponentDummy() {}
ComponentDummy.prototype = Component.prototype;


// 发现PureComponnet的构造方法和Component是相同的
/**
 * Convenience component with default shallow equality check for sCU.
 */
function PureComponent(props, context, updater) {
  this.props = props;
  this.context = context;
  // If a component has string refs, we will assign a different object later.
  this.refs = emptyObject;
  this.updater = updater || ReactNoopUpdateQueue;
}

const pureComponentPrototype = (PureComponent.prototype = new ComponentDummy());
pureComponentPrototype.constructor = PureComponent;
// Avoid an extra prototype jump for these methods.

// 感觉不用加也可以, 只不过会多查找一次，但是不得不说细节考虑的真棒

Object.assign(pureComponentPrototype, Component.prototype);
pureComponentPrototype.isPureReactComponent = true;

我画了个图来理解这个继承。

首先是创建了一个ComponentDummy构造函数，他的原型指到Component的原型；然后创建了一个PureComponent, 加上了和Component一样的属性（这里为啥不用call）。PureComponent的原型指向ComponentDummy的实例；修改PureComponent原型的constructor属性使其正确指向PureComponent的构造函数，并挂一个isPureReactComponent的属性。为了减少向上去查找原型链次数，用了一个assign直接将Component原型的东西拷贝到PureComponent的原型上（这里还是考虑的比较精细的）。

首先这个实现没有啥问题，但是我有个疑问，大家可以留言指点下：

为什么要用继承，注意到PureComponent的构造函数和Component是一样的，然后还有一个拷贝Component的原型到PureComponent的原型的操作，那这里有继承的必要吗？不都是重写的吗，感觉多此一举。

big_bear