Component,PureComponent源码解析

每次都信誓旦旦的给自己立下要好好学习react源码的flag,结果都是因为某个地方卡住了,或是其他原因没看多少就放弃了。这次又给自己立个flag-坚持看完react源码。为了敦促自己,特开设这样一个专栏来记录自己的学习历程,这意味着这个专栏的文章质量并不高,你可以拿来参考参考,切莫全信,我不想误人子弟,后面要是学有所成再考虑产出些好点的文章。 要是发现文章中有什么不当之处,欢迎批评交流。我看的源码版本是16.8.2。我是用在源码加注释的方法学习的,放在github上

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

  1. 慕课网一个课的电子书,他有个源码解析的视频教程,应该不错,不过我没买。
  2. 一个知乎专栏,写得很清晰,只不过是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;

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

Component,PureComponent源码解析

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

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

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

下一篇预告 ReactElement源码解析

相关推荐