JavaScript OOP (Polymorphism and Inheritance)

最新推荐文章于 2024-10-18 17:51:23 发布

ewigkeit

最新推荐文章于 2024-10-18 17:51:23 发布

阅读量507

点赞数

分类专栏： script 文章标签： javascript inheritance oop constructor function object

script 专栏收录该内容

1 篇文章 0 订阅

订阅专栏

Object Oriented Programming Goals

I assume that the reader has a basic familiarity with JavaScript, function calls, and the basic tenets of object oriented programming. I consider the three primary goals of object oriented programming to be:

Encapsulation - Support for method calls on a JavaScript object as a member of a Class.
Polymorphism - The ability for two classes to respond to the same (collection of) methods.
Inheritance - The ability to define the behavior of one object in terms of another by sub-classing.

Through a series of examples (which, for the curious reader, are actually snippets of live JavaScript code embedded within this page), I will demonstrate how objects can be used in JavaScript and how these object oriented paradigms can be best implemented. I will cover techniques for:

Defining a Class
Defining and calling Methods in a Class
Defining a Sub-Class
Calling the Super-Class constructor from a Sub-Class
Overriding Methods of a Super-Class in a Sub-Class
Calling a Super-Class method from a Sub-Class

Simple Objects

So, for example, we can create a new object and add several ad-hoc properties to it with the following code:The simplest object oriented construct in JavaScript is the built-in Object data type. In JavaScript, objects are implemented as a collection of named properties. Being an interpreted language, JavaScript allows for the creation of any number of properties in an object at any time (unlike C++, properties can be added to an object at any time; they do not have to be pre-defined in an object declaration or constructor).

obj = new Object; obj.x = 1; obj.y = 2;

Which creates a JavaScript object which I will represent graphically like this:

obj
x 1
y 2
Object.prototype
constructor Object

The left hand column displays the property name of each available property on the object, while the right hand column displays it's value. Note that in addition to the x and y properties that we created, our object has an additional property called constructor that points (in this case) to an internal JavaScript function. I will explain prototype properties, below.

Defining a Class - Object Constructors

A new JavaScript class is defined by creating a simple function. When a function is called with the newoperator, the function serves as the constructor for that class. Internally, JavaScript creates an Object, and then calls the constructor function. Inside the constructor, the variable this is initialized to point to the just created Object. This code snippet defines a new class, Foo, and then creates a single object of that class.

function Foo() {     this.x = 1;     this.y = 2; }   obj = new Foo; 
obj
x 1
y 2
Foo.prototype
constructor Foo
Object.prototype
(constructor) Object

Note that we can now create as many Foo type objects as we want, all of whom will be properly initialized to have their x and y properties set to 1 and 2, respectively.

Prototypes Explained

In JavaScript, each Object can inherit properties from another object, called it's prototype. When evaluating an expression to retrieve a property, JavaScript first looks to see if the property is defined directly in the object. If it is not, it then looks at the object's prototype to see if the property is defined there. This continues up the prototype chain until reaching the root prototype. Each object is associated with a prototype which comes from the constructor function from which it is created.

For example, if we want to create an object, X, from constructor function B, whose prototype chain is: B.prototype, A.prototype, Object.prototype:

We would use the following code:

Object.prototype.inObj = 1;   function A() {     this.inA = 2; }   A.prototype.inAProto = 3;   B.prototype = new A;            // Hook up A into B's prototype chain B.prototype.constructor = B; function B() {     this.inB = 4; }   B.prototype.inBProto = 5;   x = new B; document.write(x.inObj + ', ' + x.inA + ', ' + x.inAProto + ', ' + x.inB + ', ' + x.inBProto); 
1, 2, 3, 4, 5

x
inB 4
B.prototype
constructor B
inA 2
inBProto 5
A.prototype
(constructor) A
inAProto 3
Object.prototype
(constructor) Object
inObj 1

In FireFox and in ActionScript, an object's prototype can be explicitly referenced via the non-standard __proto__ property. But in standard JavaScript a prototype object can only by directly referenced through the object's constructor function object.

Defining and Calling Methods in a Class

JavaScript allows you to assign any function to a property of an object. When you call that function usingobj.Function() syntax, it will execute the function with this defined as a reference to the object (just as it was in the constructor).

The standard paradigm for defining methods is to assign functions to a constructor's prototype. That way, all objects created with the constructor automatically inherit the function references via the prototype chain.

function Foo() {     this.x = 1; }   Foo.prototype.AddX = function(y)    // Define Method {     this.x += y; }   obj = new Foo;   obj.AddX(5);                        // Call Method 
obj
x 6
Foo.prototype
constructor Foo
AddX
Object.prototype
(constructor) Object

Polymorphism is achieved by simply having different object classes implement a collection of methods that use the same names. Then, a caller, need just use the correctly named function property to invoke the appropriate function for each object type.

function A() {     this.x = 1; }   A.prototype.DoIt = function()    // Define Method {     this.x += 1; }   function B() {     this.x = 1; }   B.prototype.DoIt = function()    // Define Method {     this.x += 2; }   a = new A; b = new B;   a.DoIt(); b.DoIt(); document.write(a.x + ', ' + b.x); 
2, 3

a
x 2
A.prototype
constructor A
DoIt
Object.prototype
(constructor) Object

b
x 3
B.prototype
constructor B
DoIt
Object.prototype
(constructor) Object

Defining a Sub-Class

The standard paradigm, is to use the prototype chain to implement the inheritance of methods from a super class. Any methods defined on the sub-class will supersede those defined on the super-class.

function A()                        // Define super class {     this.x = 1; }   A.prototype.DoIt = function()        // Define Method {     this.x += 1; }   B.prototype = new A;                // Define sub-class B.prototype.constructor = B; function B() {     A.call(this);                    // Call super-class constructor (if desired)     this.y = 2; }   B.prototype.DoIt = function()        // Define Method {     A.prototype.DoIt.call(this);    // Call super-class method (if desired)     this.y += 1; }   b = new B;   document.write((b instanceof A) + ', ' + (b instanceof B) + ' '); b.DoIt(); document.write(b.x + ', ' + b.y); 
true, true
2, 3

b
x 2
y 3
B.prototype
constructor B
(x) 1
DoIt
A.prototype
(constructor) A
(DoIt)
Object.prototype
(constructor) Object

Something to keep in mind is that each time a sub-class is defined, we explicitly call the constructor of the super-class in order to insert it into our prototype chain. So it is important to ensure that no undesirable side-effects will occur when this call is made. Conversely, if the super-class constructor should be called for each instance of every sub-class, code must be explicitly added to the sub-class's constructor to make this call (as is done in the above example).

An Alternate Sub-Classing Paradigm

As an alternate to using the prototype chain, I've developed a method which avoids calling the constructor of a super class when each sub-class is defined. Three methods are added to the Function object:

Function.prototype.DeriveFrom = function (fnSuper) {     var prop;     if (this == fnSuper)         {         alert("Error - cannot derive from self");         return;         }     for (prop in fnSuper.prototype)         {         if (typeof(fnSuper.prototype[prop]) == "function" && !this.prototype[prop])             {             this.prototype[prop] = fnSuper.prototype[prop];             }         }     this.prototype[fnSuper.StName()] = fnSuper; } Function.prototype.StName = function () {     var st;     st = this.toString();     st = st.substring(st.indexOf(" ")+1, st.indexOf("("));     if (st.charAt(0) == "(")         st = "function ...";     return st; } Function.prototype.Override = function (fnSuper, stMethod) {     this.prototype[fnSuper.StName() + "_" + stMethod] = fnSuper.prototype[stMethod]; }

Repeating the sub-classing example using this new paradigm:

function A()                        // Define super class {     this.x = 1; }   A.prototype.DoIt = function()        // Define Method {     this.x += 1; }   B.DeriveFrom(A);                    // Define sub-class function B() {     this.A();                        // Call super-class constructor (if desired)     this.y = 2; }   B.Override(A, 'DoIt'); B.prototype.DoIt = function()        // Define Method {     this.A_DoIt();                    // Call super-class method (if desired)     this.y += 1; }   b = new B;   document.write((b instanceof A) + ', ' + (b instanceof B) + ' '); b.DoIt(); document.write(b.x + ', ' + b.y); 
false, true
2, 3

b
x 2
y 3
B.prototype
constructor B
DoIt
A A
A_DoIt
Object.prototype
(constructor) Object

Unfortunately, this technique does not allow for the use of the instanceof operator to test for membership of a super-class. But, we have the added benefit that we can derive from more than one super class (multiple inheritance).

Private Members

Amazingly, JavaScript also can support private members in an object. When the constructor is called, variables declared in the function scope of the constructor will actually persist beyond the lifetime of the construction function itself. To access these variables, you need only create local functions within the scope of the constructor. They may reference local variables in the constructor.

function A() {     var x = 7;       this.GetX = function() { return x;}     this.SetX = function(xT) { x = xT; } }   obj = new A; obj2 = new A; document.write(obj.GetX() + ' ' + obj2.GetX()); obj.SetX(14); document.write(' ' + obj.GetX() + ' ' + obj2.GetX()); 
7 7 14 7

obj
GetX
SetX
A.prototype
constructor A
Object.prototype
(constructor) Object

obj2
GetX
SetX
A.prototype
constructor A
Object.prototype
(constructor) Object

I believe, however, that each instance of an object created in this way, has it's own copy of each local function. The local copy of the function can maintain a copy of the local scope (a closure) of the constructor. This would be rather inefficient for object classes that construct many instances. Experiments with a single (shared) reference to a function reveal that they can only reference variables from a single instance of the class. Since the benefits of using private members is rather limited in the context of JavaScript (which is already lacking any form of type safety), I would not recommend making extensive use of the private member paradigm.