John Resig JavaScript 继承实现源码解析与jClass改造

作者:函数茶馆时间:2026-10-30 15:12:30浏览:203

本文深入解析John Resig提出的Simple JavaScript Inheritance实现,重点剖析其通过正则表达式检测浏览器行为及_super代理机制的核心代码。在此基础上,将前文实现的jClass类库进行改造,使其具备与Resig方案相同的调用行为,并对比两种实现的异同,展示如何精简代码以达成优雅继承。

John Resig继承方案概述

本章重点剖析John Resig提出的Simple JavaScript Inheritance方案。John Resig不仅是jQuery的创始人,也是《Pro JavaScript Techniques》的作者,其即将推出的《JavaScript Secrets》一书备受期待。

该方案的调用方式设计得十分优雅。需要注意的是,示例代码中出现的Class、extend以及_super均为自定义对象,具体实现细节将在后续代码分析中详细展开。


var Person = Class.extend({
  // init是构造函数
  init: function(name) {
this.name = name;
  },
  getName: function() {
return this.name;
  }
});
// Employee类从Person类继承
var Employee = Person.extend({
  // init是构造函数
  init: function(name, employeeID) {
// 在构造函数中调用父类的构造函数
this._super(name);
this.employeeID = employeeID;
  },
  getEmployeeID: function() {
return this.employeeID;
  },
  getName: function() {
// 调用父类的方法
return "Employee name: " + this._super();
  }
});

var zhang = new Employee("ZhangSan", "1234");
console.log(zhang.getName());  // "Employee name: ZhangSan"

从实现继承这一系列文章的目标来看,该方案几乎无可挑剔。其方法简洁明了,风格与jQuery保持一致。

为了获得如此优雅的调用体验,内部实现逻辑变得相当复杂,但这一代价是值得的。这种独特的设计思路为众多程序员带来了便利。不过,其中有一段代码曾让我困惑许久:

_super代理机制源码解析


fnTest = /xyz/.test(function(){xyz;}) ? /\b_super\b/ : /.*/; 

我在之前的博客文章中专门讨论过这个问题,感兴趣的读者可以回顾之前的内容。


// 自执行的匿名函数创建一个上下文,避免引入全局变量
(function() {
  // initializing变量用来标示当前是否处于类的创建阶段,
  // - 在类的创建阶段是不能调用原型方法init的
  // - 我们曾在本系列的第三篇文章中详细阐述了这个问题
  // fnTest是一个正则表达式,可能的取值为(/\b_super\b/ 或 /.*/)
  // - 对 /xyz/.test(function() { xyz; }) 的测试是为了检测浏览器是否支持test参数为函数的情况
  // - 不过我对IE7.0,Chrome2.0,FF3.5进行了测试,此测试都返回true。
  // - 所以我想这样对fnTest赋值大部分情况下也是对的:fnTest = /\b_super\b/;
  var initializing = false, fnTest = /xyz/.test(function() { xyz; }) ? /\b_super\b/ : /.*/;
  // 基类构造函数
  // 这里的this是window,所以这整段代码就向外界开辟了一扇窗户 - window.Class
  this.Class = function() { };
  // 继承方法定义
  Class.extend = function(prop) {
// 这个地方很是迷惑人,还记得我在本系列的第二篇文章中提到的么
// - this具体指向什么不是定义时能决定的,而是要看此函数是怎么被调用的
// - 我们已经知道extend肯定是作为方法调用的,而不是作为构造函数
// - 所以这里this指向的不是Object,而是Function(即是Class),那么this.prototype就是父类的原型对象
// - 注意:_super指向父类的原型对象,我们会在后面的代码中多次碰见这个变量
var _super = this.prototype;
// 通过将子类的原型指向父类的一个实例对象来完成继承
// - 注意:this是基类构造函数(即是Class)
initializing = true;
var prototype = new this();
initializing = false;
// 我觉得这段代码是经过作者优化过的,所以读起来非常生硬,我会在后面详解
for (var name in prop) {
  prototype[name] = typeof prop[name] == "function" &&
typeof _super[name] == "function" && fnTest.test(prop[name]) ?
(function(name, fn) {
  return function() {
var tmp = this._super;
this._super = _super[name];
var ret = fn.apply(this, arguments);
this._super = tmp;
return ret;
  };
})(name, prop[name]) :
prop[name];
}
// 这个地方可以看出,Resig很会伪装哦
// - 使用一个同名的局部变量来覆盖全局变量,很是迷惑人
// - 如果你觉得拗口的话,完全可以使用另外一个名字,比如function F()来代替function Class()
// - 注意:这里的Class不是在最外层定义的那个基类构造函数
function Class() {
  // 在类的实例化时,调用原型方法init
  if (!initializing && this.init)
this.init.apply(this, arguments);
}
// 子类的prototype指向父类的实例(完成继承的关键)
Class.prototype = prototype;
// 修正constructor指向错误
Class.constructor = Class;
// 子类自动获取extend方法,arguments.callee指向当前正在执行的函数
Class.extend = arguments.callee;
return Class;
  };
})();

接下来,我将对代码中的for-in循环部分进行解读。为了更清晰地展示逻辑,我将把自执行的匿名函数替换为局部函数定义:

jClass改造与对比


(function() {
      var initializing = false, fnTest = /xyz/.test(function() { xyz; }) ? /\b_super\b/ : /.*/;
      this.Class = function() { };
      Class.extend = function(prop) {
        var _super = this.prototype;
        initializing = true;
        var prototype = new this();
        initializing = false;

        // 如果父类和子类有同名方法,并且子类中此方法(name)通过_super调用了父类方法
        // - 则重新定义此方法
        function fn(name, fn) {
          return function() {
            // 将实例方法_super保护起来。
            // 个人觉得这个地方没有必要,因为每次调用这样的函数时都会对this._super重新定义。
            var tmp = this._super;
            // 在执行子类的实例方法name时,添加另外一个实例方法_super,此方法指向父类的同名方法
            this._super = _super[name];
            // 执行子类的方法name,注意在方法体内this._super可以调用父类的同名方法
            var ret = fn.apply(this, arguments);
            this._super = tmp;
            
            // 返回执行结果
            return ret;
          };
        }
        // 拷贝prop中的所有属性到子类原型中
        for (var name in prop) {
          // 如果prop和父类中存在同名的函数,并且此函数中使用了_super方法,则对此方法进行特殊处理 - fn
          // 否则将此方法prop[name]直接赋值给子类的原型
          if (typeof prop[name] === "function" &&
              typeof _super[name] === "function" && fnTest.test(prop[name])) {
            prototype[name] = fn(name, prop[name]);
          } else {
            prototype[name] = prop[name];
          }
        }

        function Class() {
          if (!initializing && this.init) {
            this.init.apply(this, arguments);
          }
        }
        Class.prototype = prototype;
        Class.constructor = Class;
        Class.extend = arguments.callee;
        return Class;
      };
    })();

至此,大家可能发现Resig的实现与我们在第三章逐步构建的jClass有相似之处。在撰写本系列文章前,我已经对prototype、mootools、extjs、jQuery-Simple-Inheritance以及Crockford-Classical-Inheritance等多种实现有过了解,并在实际项目中应用过大部分方案。第三章中的jClass实现也参考了Resig的思路,在此向Resig致谢。随后,我们将把jClass改造为与上述Class具有相同的行为。

我们的实现部分展示了如何将第三章中的jClass改造为John Resig所写的形式。这一过程相当简单,仅需修改两三行代码即可:


 (function() {
      // 当前是否处于创建类的阶段
      var initializing = false;
      jClass = function() { };
      jClass.extend = function(prop) {
        // 如果调用当前函数的对象(这里是函数)不是Class,则是父类
        var baseClass = null;
        if (this !== jClass) {
          baseClass = this;
        }
        // 本次调用所创建的类(构造函数)
        function F() {
          // 如果当前处于实例化类的阶段,则调用init原型函数
          if (!initializing) {
            // 如果父类存在,则实例对象的baseprototype指向父类的原型
            // 这就提供了在实例对象中调用父类方法的途径
            if (baseClass) {
              this._superprototype = baseClass.prototype;
            }
            this.init.apply(this, arguments);
          }
        }
        // 如果此类需要从其它类扩展
        if (baseClass) {
          initializing = true;
          F.prototype = new baseClass();
          F.prototype.constructor = F;
          initializing = false;
        }
        // 新创建的类自动附加extend函数
        F.extend = arguments.callee;

        // 覆盖父类的同名函数
        for (var name in prop) {
          if (prop.hasOwnProperty(name)) {
            // 如果此类继承自父类baseClass并且父类原型中存在同名函数name
            if (baseClass &&
            typeof (prop[name]) === "function" &&
            typeof (F.prototype[name]) === "function" &&
            /\b_super\b/.test(prop[name])) {
              // 重定义函数name - 
              // 首先在函数上下文设置this._super指向父类原型中的同名函数
              // 然后调用函数prop[name],返回函数结果
              // 注意:这里的自执行函数创建了一个上下文,这个上下文返回另一个函数,
              // 此函数中可以应用此上下文中的变量,这就是闭包(Closure)。
              // 这是JavaScript框架开发中常用的技巧。
              F.prototype[name] = (function(name, fn) {
                return function() {
                  this._super = baseClass.prototype[name];
                  return fn.apply(this, arguments);
                };
              })(name, prop[name]);
            } else {
              F.prototype[name] = prop[name];
            }
          }
        }
        return F;
      };
    })();
    // 经过改造的jClass
    var Person = jClass.extend({
      init: function(name) {
        this.name = name;
      },
      getName: function(prefix) {
        return prefix + this.name;
      }
    });
    var Employee = Person.extend({
      init: function(name, employeeID) {
        // 调用父类的方法
        this._super(name);
        this.employeeID = employeeID;
      },
      getEmployeeIDName: function() {
        // 注意:我们还可以通过这种方式调用父类中的其他函数
        var name = this._superprototype.getName.call(this, "Employee name: ");
        return name + ", Employee ID: " + this.employeeID;
      },
      getName: function() {
        // 调用父类的方法
        return this._super("Employee name: ");
      }
    });

    var zhang = new Employee("ZhangSan", "1234");
    console.log(zhang.getName());  // "Employee name: ZhangSan"
    console.log(zhang.getEmployeeIDName()); // "Employee name: ZhangSan, Employee ID: 1234"

本文到此结束。后续还将推出相关系列文章,欢迎继续阅读。

作者最新文章