JavaScript 快速入門
- 面向對象編程
- 創建對象
- 構造函數
- 忘記寫
new
怎么辦? - 原型繼承
- class繼承
面向對象編程
JavaScript的面向對象編程和大多數其他語言如Java、C#的面向對象編程都不太一樣。如果你熟悉Java或C#,很好,你一定明白面向對象的兩個基本概念:
類:類是對象的類型模板,例如,定義
Student
類來表示學生,類本身是一種類型,
Student
表示學生類型,但不表示任何具體的某個學生;實例:實例是根據類創建的對象,例如,根據
Student
類可以創建出xiaoming
、xiaohong
、xiaojun
等多個實例,每個實例表示一個具體的學生,他們全都屬于Student
類型。
所以,類和實例是大多數面向對象編程語言的基本概念。
不過,在JavaScript中,這個概念需要改一改。JavaScript不區分類和實例的概念,而是通過原型(prototype)來實現面向對象編程。
原型是指當我們想要創建xiaoming
這個具體的學生時,
我們并沒有一個Student
類型可用。那怎么辦?
恰好有這么一個現成的對象:
var robot = {
name: 'Robot',
height: 1.6,
run: function () {
console.log(this.name + ' is running...');
}
};
我們看這個robot
對象有名字,有身高,還會跑,有點像小明,干脆就根據它來“創建”小明得了!
于是我們把它改名為Student
,然后創建出xiaoming
:
var Student = {
name: 'Robot',
height: 1.2,
run: function () {
console.log(this.name + ' is running...');
}
};
var xiaoming = {
name: '小明'
};
xiaoming.__proto__ = Student;
注意最后一行代碼把xiaoming
的原型指向了對象Student
,
看上去xiaoming
仿佛是從Student
繼承下來的:
xiaoming.name; // '小明'
xiaoming.run(); // 小明 is running...
xiaoming
有自己的name屬性,但并沒有定義run()
方法。
不過,由于小明是從Student
繼承而來,
只要Student
有run()
方法,xiaoming
也可以調用.
JavaScript的原型鏈和Java的Class
區別就在,它沒有“Class”的概念,
所有對象都是實例,所謂繼承關系不過是把一個對象的原型指向另一個對象而已。
如果你把xiaoming
的原型指向其他對象:
var Bird = {
fly: function () {
console.log(this.name + ' is flying...');
}
};
xiaoming.__proto__ = Bird;
現在xiaoming
已經無法run()
了,他已經變成了一只鳥:
xiaoming.fly(); // 小明 is flying...
在JavaScrip代碼運行時期,你可以把xiaoming
從Student
變成Bird
,
或者變成任何對象。
請注意,上述代碼僅用于演示目的。在編寫JavaScript代碼時,
不要直接用obj.__proto__
去改變一個對象的原型,并且,低版本的IE也無法使用proto。
Object.create()
方法可以傳入一個原型對象,并創建一個基于該原型的新對象,
但是新對象什么屬性都沒有,因此,我們可以編寫一個函數來創建xiaoming
:
// 原型對象:
var Student = {
name: 'Robot',
height: 1.2,
run: function () {
console.log(this.name + ' is running...');
}
};
function createStudent(name) {
// 基于Student原型創建一個新對象:
var s = Object.create(Student);
// 初始化新對象:
s.name = name;
return s;
}
var xiaoming = createStudent('小明');
xiaoming.run(); // 小明 is running...
xiaoming.__proto__ === Student; // true
創建對象
JavaScript對每個創建的對象都會設置一個原型,指向它的原型對象。
當我們用obj.xxx
訪問一個對象的屬性時,JavaScript引擎先在當前對象上查找該屬性,
如果沒有找到,就到其原型對象上找,如果還沒有找到,就一直上溯到Object.prototype
對象,
最后,如果還沒有找到,就只能返回undefined
。
例如,創建一個Array
對象:
var arr = [1, 2, 3];
其原型鏈是:
arr ----> Array.prototype ----> Object.prototype ----> null
Array.prototype
定義了indexOf()
、shift()
等方法,
因此你可以在所有的Array
對象上直接調用這些方法。
當我們創建一個函數時:
function foo() {
return 0;
}
函數也是一個對象,它的原型鏈是:
foo ----> Function.prototype ----> Object.prototype ----> null
由于Function.prototype
定義了apply()
等方法,因此,所有函數都可以調用apply()
方法。
很容易想到,如果原型鏈很長,那么訪問一個對象的屬性就會因為花更多的時間查找而變得更慢,
因此要注意不要把原型鏈搞得太長。
構造函數
除了直接用{ ... }
創建一個對象外,JavaScript還可以用一種構造函數的方法來創建對象。
它的用法是,先定義一個構造函數:
function Student(name) {
this.name = name;
this.hello = function () {
alert('Hello, ' + this.name + '!');
}
}
你會問,咦,這不是一個普通函數嗎?
這確實是一個普通函數,但是在JavaScript中,可以用關鍵字new來調用這個函數,并返回一個對象:
var xiaoming = new Student('小明');
xiaoming.name; // '小明'
xiaoming.hello(); // Hello, 小明!
注意,如果不寫new
,這就是一個普通函數,它返回undefined
。
但是,如果寫了new
,它就變成了一個構造函數,它綁定的this
指向新創建的對象,
并默認返回this
,也就是說,不需要在最后寫return this;
。
新創建的xiaoming的原型鏈是:
xiaoming ----> Student.prototype ----> Object.prototype ----> null
也就是說,xiaoming
的原型指向函數Student
的原型。
如果你又創建了xiaohong
、xiaojun
,那么這些對象的原型與xiaoming
是一樣的:
xiaoming ↘
xiaohong -→ Student.prototype ----> Object.prototype ----> null
xiaojun ↗
用new Student()
創建的對象還從原型上獲得了一個constructor
屬性,
它指向函數Student
本身:
xiaoming.constructor === Student.prototype.constructor; // true
Student.prototype.constructor === Student; // true
Object.getPrototypeOf(xiaoming) === Student.prototype; // true
xiaoming instanceof Student; // true
注意,Student.prototype
指向的對象就是xiaoming
、xiaohong
的原型對象,
這個原型對象自己還有個屬性constructor
,指向Student
函數本身。
另外,函數Student
恰好有個屬性prototype
指向xiaoming
、xiaohong
的原型對象,
但是xiaoming
、xiaohong
這些對象可沒有prototype
這個屬性,
不過可以用__proto__
這個非標準用法來查看。
現在我們就認為xiaoming
、xiaohong
這些對象“繼承”自Student
。
不過還有一個小問題,注意觀察:
xiaoming.name; // '小明'
xiaohong.name; // '小紅'
xiaoming.hello; // function: Student.hello()
xiaohong.hello; // function: Student.hello()
xiaoming.hello === xiaohong.hello; // false
xiaoming
和xiaohong
各自的name
不同,這是對的,否則我們無法區分誰是誰了。
xiaoming
和xiaohong
各自的hello
是一個函數,
但它們是兩個不同的函數,雖然函數名稱和代碼都是相同的!
如果我們通過new Student()
創建了很多對象,
這些對象的hello
函數實際上只需要共享同一個函數就可以了,這樣可以節省很多內存。
要讓創建的對象共享一個hello
函數,根據對象的屬性查找原則,
我們只要把hello
函數移動到xiaoming
、xiaohong
這些對象共同的原型上就可以了,
也就是Student.prototype
:
修改代碼如下:
function Student(name) {
this.name = name;
}
Student.prototype.hello = function () {
alert('Hello, ' + this.name + '!');
};
用new
創建基于原型的JavaScript的對象就是這么簡單!
忘記寫new
怎么辦?
如果一個函數被定義為用于創建對象的構造函數,但是調用的時候忘記寫new
怎么辦?
在strict
模式下,this.name = name
將會報錯,因為this
綁定為undefined
。
在非strict
模式下,this.name = name
不報錯,因為this
綁定為window
,
于是無意中創建了全局變量name
,并且返回undefined
,這個結果更加糟糕。
所以,調用構造函數千萬不要忘記寫new
。為了區分普通函數和構造函數,按照約定,構造函數首字母應當大寫,而普通函數首字母應當小寫,這樣,一些語法檢查工具可以檢測到漏寫的new
。
最后,我們還可以編寫createStudent()
函數,在內部封裝所有的new
操作。
一個常用的編程模式像這樣:
function Student(props) {
this.name = props.name || '匿名'; // 默認值為'匿名'
this.grade = props.grade || 1; // 默認值為1
}
Student.prototype.hello = function () {
alert('Hello, ' + this.name + '!');
};
function createStudent(props) {
return new Student(props || {})
}
這個createStudent()
函數有幾個巨大的優點:一是不需要new
來調用,二是參數非常靈活,可以不傳,也可以這樣傳:
var xiaoming = createStudent({
name: '小明'
});
xiaoming.grade; // 1
如果創建的對象有很多屬性,我們只需要傳遞需要的某些屬性,剩下的屬性可以用默認值。由于參數是一個Object
,我們無需記憶參數順序。如果恰好從JSON
拿到了一個對象,就可以直接創建出xiaoming
。
原型繼承
在傳統的基于Class的語言,如Java、C++中,繼承的本質是擴展一個已有的Class,并且生成新的SubClass。
由于這類語言嚴格區分類和實例,繼承實際上是類型的擴展。但是,JavaScript由于采用原型繼承,我們無法直接擴展一個Class,因為根本不存在Class這種類型。
但是辦法還是有的。我們先回顧Student
構造函數:
function Student(props) {
this.name = props.name || 'Unnamed';
}
Student.prototype.hello = function () {
alert('Hello, ' + this.name + '!');
}
現在,我們要基于Student
擴展出PrimaryStudent
,可以先定義出PrimaryStudent
:
function PrimaryStudent(props) {
// 調用Student構造函數,綁定this變量:
Student.call(this, props);
this.grade = props.grade || 1;
}
但是,調用了Student
構造函數不等于繼承了Student
,PrimaryStudent
創建的對象的原型是:
new PrimaryStudent() ----> PrimaryStudent.prototype ----> Object.prototype ----> null
必須想辦法把原型鏈修改為:
new PrimaryStudent() ----> PrimaryStudent.prototype ----> Student.prototype ----> Object.prototype ----> null
這樣,原型鏈對了,繼承關系就對了。
新的基于PrimaryStudent
創建的對象不但能調用PrimaryStudent.prototype
定義的方法,
也可以調用Student.prototype
定義的方法。
如果你想用最簡單粗暴的方法這么干:
PrimaryStudent.prototype = Student.prototype;
是不行的!
如果這樣的話,PrimaryStudent
和Student
共享一個原型對象,
那還要定義PrimaryStudent
干啥?
我們必須借助一個中間對象來實現正確的原型鏈,這個中間對象的原型要指向Student.prototype
。
為了實現這一點,參考道爺(就是發明JSON的那個道格拉斯)的代碼,中間對象可以用一個空函數F
來實現:
// PrimaryStudent構造函數:
function PrimaryStudent(props) {
Student.call(this, props);
this.grade = props.grade || 1;
}
// 空函數F:
function F() {
}
// 把F的原型指向Student.prototype:
F.prototype = Student.prototype;
// 把PrimaryStudent的原型指向一個新的F對象,F對象的原型正好指向Student.prototype:
PrimaryStudent.prototype = new F();
// 把PrimaryStudent原型的構造函數修復為PrimaryStudent:
PrimaryStudent.prototype.constructor = PrimaryStudent;
// 繼續在PrimaryStudent原型(就是new F()對象)上定義方法:
PrimaryStudent.prototype.getGrade = function () {
return this.grade;
};
// 創建xiaoming:
var xiaoming = new PrimaryStudent({
name: '小明',
grade: 2
});
xiaoming.name; // '小明'
xiaoming.grade; // 2
// 驗證原型:
xiaoming.__proto__ === PrimaryStudent.prototype; // true
xiaoming.__proto__.__proto__ === Student.prototype; // true
// 驗證繼承關系:
xiaoming instanceof PrimaryStudent; // true
xiaoming instanceof Student; // true
注意,函數F
僅用于橋接,我們僅創建了一個new F()
實例,
而且,沒有改變原有的Student
定義的原型鏈。
如果把繼承這個動作用一個inherits()
函數封裝起來,還可以隱藏F
的定義,并簡化代碼:
function inherits(Child, Parent) {
var F = function () {};
F.prototype = Parent.prototype;
Child.prototype = new F();
Child.prototype.constructor = Child;
}
這個inherits()
函數可以復用:
function Student(props) {
this.name = props.name || 'Unnamed';
}
Student.prototype.hello = function () {
alert('Hello, ' + this.name + '!');
}
function PrimaryStudent(props) {
Student.call(this, props);
this.grade = props.grade || 1;
}
// 實現原型繼承鏈:
inherits(PrimaryStudent, Student);
// 綁定其他方法到PrimaryStudent原型:
PrimaryStudent.prototype.getGrade = function () {
return this.grade;
};
小結
JavaScript的原型繼承實現方式就是:
定義新的構造函數,并在內部用
call()
調用希望“繼承”的構造函數,并綁定this
;借助中間函數
F
實現原型鏈繼承,最好通過封裝的inherits
函數完成;繼續在新的構造函數的原型上定義新方法。
class繼承
在上面的章節中我們看到了JavaScript的對象模型是基于原型實現的,
特點是簡單,缺點是理解起來比傳統的類-實例模型要困難,
最大的缺點是繼承的實現需要編寫大量代碼,并且需要正確實現原型鏈。
有沒有更簡單的寫法?有!
新的關鍵字class
從ES6開始正式被引入到JavaScript中。class
的目的就是讓定義類更簡單。
我們先回顧用函數實現Student
的方法:
function Student(name) {
this.name = name;
}
Student.prototype.hello = function () {
alert('Hello, ' + this.name + '!');
}
如果用新的class
關鍵字來編寫Student
,可以這樣寫:
class Student {
constructor(name) {
this.name = name;
}
hello() {
alert('Hello, ' + this.name + '!');
}
}
比較一下就可以發現,
class
的定義包含了構造函數constructor
和定義在原型對象上的函數hello()
(注意沒有function
關鍵字),
這樣就避免了Student.prototype.hello = function () {...}
這樣分散的代碼。
最后,創建一個Student
對象代碼和前面章節完全一樣:
var xiaoming = new Student('小明');
xiaoming.hello();
class
繼承
用class
定義對象的另一個巨大的好處是繼承更方便了。
想一想我們從Student
派生一個PrimaryStudent
需要編寫的代碼量。
現在,原型繼承的中間對象,原型對象的構造函數等等都不需要考慮了,直接通過extends
來實現:
class PrimaryStudent extends Student {
constructor(name, grade) {
super(name); // 記得用super調用父類的構造方法!
this.grade = grade;
}
myGrade() {
alert('I am at grade ' + this.grade);
}
}
注意PrimaryStudent
的定義也是class
關鍵字實現的,
而extends
則表示原型鏈對象來自Student
。
子類的構造函數可能會與父類不太相同,例如,PrimaryStudent
需要name
和grade
兩個參數,
并且需要通過super(name)
來調用父類的構造函數,否則父類的name
屬性無法正常初始化。
PrimaryStudent
已經自動獲得了父類Student
的hello
方法,
我們又在子類中定義了新的myGrade
方法。
ES6引入的class
和原有的JavaScript
原型繼承有什么區別呢?
實際上它們沒有任何區別,
class
的作用就是讓JavaScript
引擎去實現原來需要我們自己編寫的原型鏈代碼。
簡而言之,用class
的好處就是極大地簡化了原型鏈代碼。
你一定會問,class
這么好用,能不能現在就用上?
現在用還早了點,因為不是所有的主流瀏覽器都支持ES6的class
。
如果一定要現在就用上,就需要一個工具把class
代碼轉換為傳統的prototype
代碼,
可以試試Babel
這個工具。