这篇文章很长。但我相信这会澄清你的大部分疑问关于JavaScript继承的“原型”性质。甚至更多。请阅读整篇文章。

JavaScript基本上有两种数据类型

非对象物体

非对象

以下是非对象数据类型

一串数字（包括NaN和Infinity）布尔值（true，false）未定义

使用typeof运算符时，这些数据类型返回以下内容

typeof“string literal”（或包含字符串文本的变量）==“string”

typeof 5（或任何数字文本或包含数字文本或NaN或Infynity的变量）==“number”

typeof true（或false或包含true或false的变量）==“boolean”

typeof undefined（或未定义变量或包含未定义的变量）==“undefineed”

字符串、数字和布尔数据类型既可以表示为对象，也可以表示为非对象。当它们表示为对象时，其类型总是==“object”。一旦我们了解了对象数据类型，我们将回到这一点。

物体

对象数据类型可以进一步分为两种类型

函数类型对象非函数类型对象

Function类型对象是返回带有typeof运算符的字符串“Function”的对象。所有用户定义的函数和所有可以使用new运算符创建新对象的JavaScript内置对象都属于这一类。例如。

对象一串数字布尔型大堆类型化数组RegExp（RegExp）作用所有其他可以使用new运算符创建新对象的内置对象函数UserDefinedFunction（）｛/*用户定义的代码*/｝

所以typeof（对象）==typeof（字符串）==typeof（数字）==typeof（布尔）==typeof（数组）==type-of（RegExp）==typeoft（函数）==typesof（UserDefinedFunction）==“函数”

所有Function类型对象实际上都是内置JavaScript对象Function的实例（包括Function对象，即递归定义的对象）。就好像这些对象是按以下方式定义的

var Object= new Function ([native code for object Object])
var String= new Function ([native code for object String])
var Number= new Function ([native code for object Number])
var Boolean= new Function ([native code for object Boolean])
var Array= new Function ([native code for object Array])
var RegExp= new Function ([native code for object RegExp])
var Function= new Function ([native code  for object Function])
var UserDefinedFunction= new Function ("user defined code")

如上所述，Function类型对象可以使用new运算符进一步创建新对象。例如，object、String、Number、Boolean、Array、RegExp或UserDefinedFunction类型的对象可以使用

var a=new Object() or var a=Object() or var a={} //Create object of type Object
var a=new String() //Create object of type String
var a=new Number() //Create object of type Number
var a=new Boolean() //Create object of type Boolean
var a=new Array() or var a=Array() or var a=[]  //Create object of type Array
var a=new RegExp() or var a=RegExp() //Create object of type RegExp
var a=new UserDefinedFunction() 

这样创建的对象都是非函数类型的对象，并返回它们的typeof=='object'。在所有这些情况下，对象“a”无法进一步创建对象使用运算符new。所以以下是错误的

var b=new a() //error. a is not typeof==='function'

内置对象Math的类型为==“object”。因此，新运算符不能创建Math类型的新对象。

var b=new Math() //error. Math is not typeof==='function'

还要注意，Object、Array和RegExp函数可以创建一个新对象，而无需使用运算符new。然而，以下这些不适用。

var a=String() // Create a new Non Object string. returns a typeof==='string' 
var a=Number() // Create a new Non Object Number. returns a typeof==='number'
var a=Boolean() //Create a new Non Object Boolean. returns a typeof==='boolean'

用户定义的函数是特殊情况。

var a=UserDefinedFunction() //may or may not create an object of type UserDefinedFunction() based on how it is defined.

由于函数类型对象可以创建新对象，因此它们也被称为构造函数。

每个构造函数/函数（无论是内置的还是用户定义的）在定义时都会自动具有一个名为“prototype”的属性，其值默认设置为对象。此对象本身有一个名为“constructor”的属性，默认情况下该属性引用构造函数/函数。

例如，当我们定义一个函数

function UserDefinedFunction()
{
}

自动发生以下情况

UserDefinedFunction.prototype={constructor:UserDefinedFunction}

此“prototype”属性仅存在于Function类型对象中（并且从不在非函数类型对象中）。

这是因为当创建一个新对象时（使用new操作符），它会继承Constructor函数当前原型对象的所有财产和方法，即在新创建的对象中创建一个内部引用，该对象引用Constructtor函数当前原型所引用的对象。

在对象中创建的用于引用继承的财产的“内部引用”称为对象的原型（它引用由Constructor的“prototype”属性引用的对象，但与之不同）。对于任何对象（函数或非函数），都可以使用object.getPrototypeOf（）方法进行检索。使用此方法可以跟踪对象的原型链。

此外，创建的每个对象（函数类型或非函数类型）都有一个“构造函数”属性，该属性继承自构造函数函数的原型属性引用的对象。默认情况下，此“构造函数”属性引用创建它的构造函数（如果构造函数的默认“原型”未更改）。

对于所有Function类型对象，构造函数总是函数function（）｛｝

对于非函数类型的对象（例如Javascript内置数学对象），构造函数是创建它的函数。对于Math对象，它是函数object（）｛｝。

在没有任何支持代码的情况下，上面解释的所有概念都有点难以理解。请逐行阅读以下代码以了解概念。尝试执行它，以便更好地理解。

function UserDefinedFunction()
{ 

} 

/* creating the above function automatically does the following as mentioned earlier

UserDefinedFunction.prototype={constructor:UserDefinedFunction}

*/


var newObj_1=new UserDefinedFunction()

alert(Object.getPrototypeOf(newObj_1)===UserDefinedFunction.prototype)  //Displays true

alert(newObj_1.constructor) //Displays function UserDefinedFunction

//Create a new property in UserDefinedFunction.prototype object

UserDefinedFunction.prototype.TestProperty="test"

alert(newObj_1.TestProperty) //Displays "test"

alert(Object.getPrototypeOf(newObj_1).TestProperty)// Displays "test"

//Create a new Object

var objA = {
        property1 : "Property1",
        constructor:Array

}


//assign a new object to UserDefinedFunction.prototype
UserDefinedFunction.prototype=objA

alert(Object.getPrototypeOf(newObj_1)===UserDefinedFunction.prototype)  //Displays false. The object referenced by UserDefinedFunction.prototype has changed

//The internal reference does not change
alert(newObj_1.constructor) // This shall still Display function UserDefinedFunction

alert(newObj_1.TestProperty) //This shall still Display "test" 

alert(Object.getPrototypeOf(newObj_1).TestProperty) //This shall still Display "test"


//Create another object of type UserDefinedFunction
var newObj_2= new UserDefinedFunction();

alert(Object.getPrototypeOf(newObj_2)===objA) //Displays true.

alert(newObj_2.constructor) //Displays function Array()

alert(newObj_2.property1) //Displays "Property1"

alert(Object.getPrototypeOf(newObj_2).property1) //Displays "Property1"

//Create a new property in objA
objA.property2="property2"

alert(objA.property2) //Displays "Property2"

alert(UserDefinedFunction.prototype.property2) //Displays "Property2"

alert(newObj_2.property2) // Displays Property2

alert(Object.getPrototypeOf(newObj_2).property2) //Displays  "Property2"

每个对象的原型链最终可以追溯到object.prototype（它本身没有任何原型对象）。以下代码可用于跟踪对象的原型链

var o=Starting object;

do {
    alert(o + "\n" + Object.getOwnPropertyNames(o))

}while(o=Object.getPrototypeOf(o))

各种对象的原型链工作如下。

每个Function对象（包括内置Function对象）->Function.prototype->Object.prototype->null简单对象（由新的Object（）或｛｝创建，包括内置的Math对象）->Object.prototype->null使用新的或Object.create创建的对象->一个或多个原型链->Object.prototype->null

要创建没有任何原型的对象，请使用以下方法：

var o=Object.create(null)
alert(Object.getPrototypeOf(o)) //Displays null

人们可能会认为，将构造函数的prototype属性设置为null将创建一个原型为null的对象。然而，在这种情况下，新创建的对象的原型被设置为object.prototype，其构造函数被设置为函数object。以下代码演示了这一点

function UserDefinedFunction(){}
UserDefinedFunction.prototype=null// Can be set to any non object value (number,string,undefined etc.)

var o=new UserDefinedFunction()
alert(Object.getPrototypeOf(o)==Object.prototype)   //Displays true
alert(o.constructor)    //Displays Function Object

本文摘要如下

有两种类型的对象功能类型和非功能类型只有函数类型的对象才能使用运算符new创建新对象。这样创建的对象是非函数类型的对象。非函数类型对象无法使用运算符new进一步创建对象。默认情况下，所有函数类型对象都具有“prototype”属性。此“prototype”属性引用了一个对象，该对象具有默认引用Function类型对象本身的“构造函数”属性。所有对象（函数类型和非函数类型）都有一个“构造函数”属性，默认情况下该属性引用创建它的函数类型对象/构造函数。内部创建的每个对象都引用创建该对象的构造函数的“prototype”属性。该对象称为创建对象的prototype（与它引用的函数类型对象“prototype“属性不同）。这样，创建的对象可以直接访问Constructor的“prototype”属性（在创建对象时）引用的对象中定义的方法和财产。可以使用object.getPrototypeOf（）方法检索对象的原型（以及继承的属性名称）。事实上，这种方法可以用于导航对象的整个原型链。每个对象的原型链最终都会追溯到object.prototype（除非对象是使用object.create（null）创建的，在这种情况下，对象没有原型）。typeof（new Array（））==“object”是由语言设计的，而不是Douglas Crockford指出的错误将构造函数的原型属性设置为null（或undefined、number、true、false、string）不会创建具有null原型的对象。在这种情况下，新创建的对象的原型设置为object.prototype，其构造函数设置为函数object。

希望这有帮助。

每个对象都有一个内部属性[[Prototype]]，将其链接到另一个对象：

object [[Prototype]] → anotherObject

在传统javascript中，链接对象是函数的原型属性：

object [[Prototype]] → aFunction.prototype

某些环境将[[Prototype]]公开为__proto__：

anObject.__proto__ === anotherObject

创建对象时创建[[Prototype]]链接。

// (1) Object.create:
var object = Object.create(anotherObject)
// object.__proto__ = anotherObject

// (2) ES6 object initializer:
var object = { __proto__: anotherObject };
// object.__proto__ = anotherObject

// (3) Traditional JavaScript:
var object = new aFunction;
// object.__proto__ = aFunction.prototype

因此，这些陈述是等价的：

var object = Object.create(Object.prototype);
var object = { __proto__: Object.prototype }; // ES6 only
var object = new Object;

您实际上无法在新语句中看到链接目标（Object.prototype）；相反，目标由构造函数（Object）暗示。

记得：

每个对象都有一个链接[[Prototype]]，有时公开为__proto__。每个函数都有一个原型属性，最初持有一个空对象。使用new创建的对象链接到其构造函数的原型属性。如果函数从未用作构造函数，则其原型属性将不被使用。如果不需要构造函数，请使用Object.create而不是new。

只是您已经有一个带有object.new的对象，但在使用构造函数语法时仍然没有对象。

考虑以下keyValueStore对象：

var keyValueStore = (function() {
    var count = 0;
    var kvs = function() {
        count++;
        this.data = {};
        this.get = function(key) { return this.data[key]; };
        this.set = function(key, value) { this.data[key] = value; };
        this.delete = function(key) { delete this.data[key]; };
        this.getLength = function() {
            var l = 0;
            for (p in this.data) l++;
            return l;
        }
    };

    return  { // Singleton public properties
        'create' : function() { return new kvs(); },
        'count' : function() { return count; }
    };
})();

我可以通过执行以下操作创建此对象的新实例：

kvs = keyValueStore.create();

此对象的每个实例都将具有以下公共财产：

数据收到设置删去获取长度

现在，假设我们创建了这个keyValueStore对象的100个实例。尽管get、set、delete、getLength将对这100个实例中的每一个执行完全相同的操作，但每个实例都有自己的函数副本。

现在，想象一下，如果您只有一个get、set、delete和getLength副本，并且每个实例都引用相同的函数。这将更好地提高性能，并且需要更少的内存。

原型就是这样产生的。原型是财产的“蓝图”，它是继承而不是被实例复制的。因此，这意味着对于一个对象的所有实例，它只在内存中存在一次，并且由所有这些实例共享。

现在，再次考虑keyValueStore对象。我可以这样重写：

var keyValueStore = (function() {
    var count = 0;
    var kvs = function() {
        count++;
        this.data = {};
    };

    kvs.prototype = {
        'get' : function(key) { return this.data[key]; },
        'set' : function(key, value) { this.data[key] = value; },
        'delete' : function(key) { delete this.data[key]; },
        'getLength' : function() {
            var l = 0;
            for (p in this.data) l++;
            return l;
        }
    };

    return  {
        'create' : function() { return new kvs(); },
        'count' : function() { return count; }
    };
})();

这与keyValueStore对象的上一版本完全相同，只是它的所有方法现在都放在一个原型中。这意味着，所有100个实例现在都共享这四个方法，而不是每个实例都有自己的副本。

每个JavaScript对象都有一个名为[[Prototype]]的内部“槽”，其值要么为null，要么为对象。您可以将槽视为对象的属性，在JavaScript引擎内部，隐藏在编写的代码中。[[Prototype]]周围的方括号是故意的，是表示内部插槽的ECMAScript规范约定。

一个对象的[[Prototype]]所指向的值，通俗地说就是“该对象的原型”

如果您通过点（obj.propName）或括号（obj['propName']）表示法访问属性，并且对象没有直接具有这样的属性（即自己的属性，可通过obj.hasOwnProperty（'propName'）检查），则运行时会在[[Prototype]]引用的对象上查找具有该名称的属性。如果[[Prototype]]也没有这样的属性，则依次检查其[[Prototype]]，依此类推。这样，将遍历原始对象的原型链，直到找到匹配项或到达其终点。原型链的顶部是空值。

现代JavaScript实现允许通过以下方式对[[Prototype]]进行读和/或写访问：

新运算符（在从构造函数返回的默认对象上配置原型链），extends关键字（使用类语法时配置原型链），Object.create将提供的参数设置为结果对象的[[Prototype]]，Object.getPrototypeOf和Object.setPrototype Of（在创建对象后获取/设置[[Prototype]]），以及名为__proto__（类似于4）的标准化访问器（即getter/setter）属性

Object.getPrototypeOf和Object.setPrototype of优于__proto__，部分原因是当对象的原型为null时，o.__proto__的行为是不寻常的。

对象的[[Prototype]]最初是在创建对象期间设置的。

如果通过new Func（）创建新对象，则默认情况下，对象的[[Prototype]]将设置为Func.Prototype引用的对象。

因此，请注意，所有类和所有可以与新运算符一起使用的函数，除了它们自己的[[prototype]]内部槽之外，还有一个名为.prototype的属性。这种“原型”一词的双重使用是该语言新来者无尽困惑的根源。

在构造函数中使用new允许我们模拟JavaScript中的经典继承；尽管正如我们所见，JavaScript的继承系统是原型的，而不是基于类的。

在JavaScript引入类语法之前，构造函数是模拟类的唯一方法。我们可以将构造函数的.prototype属性引用的对象的财产视为共享成员；即每个实例相同的成员。在基于类的系统中，方法对每个实例的实现方式相同，因此方法在概念上被添加到.prototype属性中；然而，对象的字段是特定于实例的，因此在构造过程中会添加到对象本身。

如果没有类语法，开发人员必须手动配置原型链，以实现与经典继承类似的功能。这导致了实现这一目标的多种方式的优势。

这里有一种方法：

function Child() {}
function Parent() {}
Parent.prototype.inheritedMethod = function () { return 'this is inherited' }

function inherit(child, parent) {
  child.prototype = Object.create(parent.prototype)
  child.prototype.constructor = child
  return child;
}

Child = inherit(Child, Parent)
const o = new Child
console.log(o.inheritedMethod()) // 'this is inherited'

…还有另一种方法：

function Child() {}
function Parent() {}
Parent.prototype.inheritedMethod = function () { return 'this is inherited' }

function inherit(child, parent) {
    function tmp() {}
    tmp.prototype = parent.prototype
    const proto = new tmp()
    proto.constructor = child
    child.prototype = proto
    return child
}

Child = inherit(Child, Parent)
const o = new Child
console.log(o.inheritedMethod()) // 'this is inherited'

ES2015中引入的类语法简化了事情，通过提供extends作为配置原型链的“一种真正的方式”，以模拟JavaScript中的经典继承。

因此，与上面的代码类似，如果您使用类语法创建一个新对象，如下所示：

class Parent { inheritedMethod() { return 'this is inherited' } }
class Child extends Parent {}

const o = new Child
console.log(o.inheritedMethod()) // 'this is inherited'

…结果对象的[[Prototype]]将被设置为Parent的一个实例，其[[Prototype]]又是Parent.Prototype。

最后，如果您通过object.create（foo）创建一个新对象，则生成的对象的[[Prototype]]将设置为foo。

我总是喜欢用类比来理解这类事情在我看来，原型继承与类低音继承相比非常令人困惑，尽管原型是更简单的范例。事实上，对于原型来说，确实没有继承，因此名称本身就具有误导性，更像是一种“委托”。

想象一下。。。。

你在上高中，你在课堂上，有一个今天到期的测验，但你没有笔来填写你的答案。多！

你坐在你的朋友芬尼乌斯旁边，他可能有一支笔。你问，他环顾了一下他的桌子，但没有成功，但他不是说“我没有笔”，而是一个很好的朋友，他会和他的另一个朋友Derp检查是否有笔。德普确实有一支备用笔，并将其交给芬尼乌斯，后者将其交由你完成测验。德普已将笔交给芬尼乌斯，后者已将笔委托给你使用。

这里重要的是，德普不会把笔交给你，因为你和他没有直接关系。

这是原型如何工作的一个简化示例，其中搜索数据树以查找您要查找的对象。