Java:類與繼承

Matrix海子發表於2014-06-26

Java:類與繼承

  對於物件導向的程式設計語言來說,類毫無疑問是其最重要的基礎。抽象、封裝、繼承、多型這四大特性都離不開類,只有存在類,才能體現物件導向程式設計的特點,今天我們就來了解一些類與繼承的相關知識。首先,我們講述一下與類的初始化相關的東西,然後再從幾個方面闡述繼承這一大特性。以下是本文的目錄大綱:

  一.你瞭解類嗎?

  二.你瞭解繼承嗎?

  三.常見的面試筆試題

  若有不正之處,請多多諒解並歡迎批評指正。

  請尊重作者勞動成果,轉載請標明原文連結:

  http://www.cnblogs.com/dolphin0520/p/3803432.html

一.你瞭解類嗎?

  在Java中,類檔案是以.java為字尾的程式碼檔案,在每個類檔案中最多隻允許出現一個public類,當有public類的時候,類檔案的名稱必須和public類的名稱相同,若不存在public,則類檔案的名稱可以為任意的名稱(當然以數字開頭的名稱是不允許的)。

  在類內部,對於成員變數,如果在定義的時候沒有進行顯示的賦值初始化,則Java會保證類的每個成員變數都得到恰當的初始化:

  1)對於  char、short、byte、int、long、float、double等基本資料型別的變數來說會預設初始化為0(boolean變數預設會被初始化為false);

  2)對於引用型別的變數,會預設初始化為null。

  如果沒有顯示地定義構造器,則編譯器會自動建立一個無參構造器,但是要記住一點,如果顯示地定義了構造器,編譯器就不會自動新增構造器。注意,所有的構造器預設為static的。

  下面我們著重講解一下 初始化 順序:

  當程式執行時,需要生成某個類的物件,Java執行引擎會先檢查是否載入了這個類,如果沒有載入,則先執行類的載入再生成物件,如果已經載入,則直接生成物件。

  在類的載入過程中,類的static成員變數會被初始化,另外,如果類中有static語句塊,則會執行static語句塊。static成員變數和static語句塊的執行順序同程式碼中的順序一致。記住,在Java中,類是按需載入,只有當需要用到這個類的時候,才會載入這個類,並且只會載入一次。看下面這個例子就明白了:

public class Test {
	public static void main(String[] args) throws ClassNotFoundException {
		
		Bread bread1 = new Bread();
		Bread bread2 = new Bread();
	}
}


class Bread {
	static{
		System.out.println("Bread is loaded");
	}
	public Bread() {
		System.out.println("bread");
	}
}

  執行這段程式碼就會發現"Bread is loaded"只會被列印一次。

  在生成物件的過程中,會先初始化物件的成員變數,然後再執行構造器。也就是說類中的變數會在任何方法(包括構造器)呼叫之前得到初始化,即使變數散步於方法定義之間。

public class Test {
	public static void main(String[] args)  {
		new Meal();
	}
}


class Meal {
	
	public Meal() {
		System.out.println("meal");
	}
	
	Bread bread = new Bread();
}

class Bread {
	
	public Bread() {
		System.out.println("bread");
	}
}

  輸出結果為:

bread
meal
View Code

二.你瞭解繼承嗎?

  繼承是所有OOP語言不可缺少的部分,在java中使用extends關鍵字來表示繼承關係。當建立一個類時,總是在繼承,如果沒有明確指出要繼承的類,就總是隱式地從根類Object進行繼承。比如下面這段程式碼:

class Person {
	public Person() {
		
	}
}

class Man extends Person {
	public Man() {
		
	}
}

  類Man繼承於Person類,這樣一來的話,Person類稱為父類(基類),Man類稱為子類(匯出類)。如果兩個類存在繼承關係,則子類會自動繼承父類的方法和變數,在子類中可以呼叫父類的方法和變數。在java中,只允許單繼承,也就是說 一個類最多隻能顯示地繼承於一個父類。但是一個類卻可以被多個類繼承,也就是說一個類可以擁有多個子類。

  1.子類繼承父類的成員變數

  當子類繼承了某個類之後,便可以使用父類中的成員變數,但是並不是完全繼承父類的所有成員變數。具體的原則如下:

  1)能夠繼承父類的public和protected成員變數;不能夠繼承父類的private成員變數;

  2)對於父類的包訪問許可權成員變數,如果子類和父類在同一個包下,則子類能夠繼承;否則,子類不能夠繼承;

  3)對於子類可以繼承的父類成員變數,如果在子類中出現了同名稱的成員變數,則會發生隱藏現象,即子類的成員變數會遮蔽掉父類的同名成員變數。如果要在子類中訪問父類中同名成員變數,需要使用super關鍵字來進行引用。

  2.子類繼承父類的方法

  同樣地,子類也並不是完全繼承父類的所有方法。

  1)能夠繼承父類的public和protected成員方法;不能夠繼承父類的private成員方法;

  2)對於父類的包訪問許可權成員方法,如果子類和父類在同一個包下,則子類能夠繼承;否則,子類不能夠繼承;

  3)對於子類可以繼承的父類成員方法,如果在子類中出現了同名稱的成員方法,則稱為覆蓋,即子類的成員方法會覆蓋掉父類的同名成員方法。如果要在子類中訪問父類中同名成員方法,需要使用super關鍵字來進行引用。

  注意:隱藏和覆蓋是不同的。隱藏是針對成員變數和靜態方法的,而覆蓋是針對普通方法的。(後面會講到)

  3.構造器

  子類是不能夠繼承父類的構造器,但是要注意的是,如果父類的構造器都是帶有引數的,則必須在子類的構造器中顯示地通過super關鍵字呼叫父類的構造器並配以適當的引數列表。如果父類有無參構造器,則在子類的構造器中用super關鍵字呼叫父類構造器不是必須的,如果沒有使用super關鍵字,系統會自動呼叫父類的無參構造器。看下面這個例子就清楚了:

class Shape {
	
	protected String name;
	
	public Shape(){
		name = "shape";
	}
	
	public Shape(String name) {
		this.name = name;
	}
}

class Circle extends Shape {
	
	private double radius;
	
	public Circle() {
		radius = 0;
	}
	
	public Circle(double radius) {
		this.radius = radius;
	}
	
	public Circle(double radius,String name) {
		this.radius = radius;
		this.name = name;
	}
}

  這樣的程式碼是沒有問題的,如果把父類的無參構造器去掉,則下面的程式碼必然會出錯:

  改成下面這樣就行了:

  4.super

  super主要有兩種用法:

  1)super.成員變數/super.成員方法;

  2)super(parameter1,parameter2....)

  第一種用法主要用來在子類中呼叫父類的同名成員變數或者方法;第二種主要用在子類的構造器中顯示地呼叫父類的構造器,要注意的是,如果是用在子類構造器中,則必須是子類構造器的第一個語句。

三.常見的面試筆試題

1.下面這段程式碼的輸出結果是什麼?

public class Test {
	public static void main(String[] args)  {
		new Circle();
	}
}

class Draw {
	
	public Draw(String type) {
		System.out.println(type+" draw constructor");
	}
}

class Shape {
	private Draw draw = new Draw("shape");
	
	public Shape(){
		System.out.println("shape constructor");
	}
}

class Circle extends Shape {
	private Draw draw = new Draw("circle");
	public Circle() {
		System.out.println("circle constructor");
	}
}
 
shape draw constructor
shape constructor
circle draw constructor
circle constructor
View Code

  這道題目主要考察的是類繼承時構造器的呼叫順序和初始化順序。要記住一點:父類的構造器呼叫以及初始化過程一定在子類的前面。由於Circle類的父類是Shape類,所以Shape類先進行初始化,然後再執行Shape類的構造器。接著才是對子類Circle進行初始化,最後執行Circle的構造器。

2.下面這段程式碼的輸出結果是什麼?

public class Test {
	public static void main(String[] args)  {
		Shape shape = new Circle();
		System.out.println(shape.name);
		shape.printType();
		shape.printName();
	}
}

class Shape {
	public String name = "shape";
	
	public Shape(){
		System.out.println("shape constructor");
	}
	
	public void printType() {
		System.out.println("this is shape");
	}
	
	public static void printName() {
		System.out.println("shape");
	}
}

class Circle extends Shape {
	public String name = "circle";
	
	public Circle() {
		System.out.println("circle constructor");
	}
	
	public void printType() {
		System.out.println("this is circle");
	}
	
	public static void printName() {
		System.out.println("circle");
	}
}
shape constructor
circle constructor
shape
this is circle
shape
View Code

  這道題主要考察了隱藏和覆蓋的區別(當然也和多型相關,在後續博文中會繼續講到)。

  覆蓋只針對非靜態方法(終態方法不能被繼承,所以就存在覆蓋一說了),而隱藏是針對成員變數和靜態方法的。這2者之間的區別是:覆蓋受RTTI(Runtime type  identification)約束的,而隱藏卻不受該約束。也就是說只有覆蓋方法才會進行動態繫結,而隱藏是不會發生動態繫結的。在Java中,除了static方法和final方法,其他所有的方法都是動態繫結。因此,就會出現上面的輸出結果。

相關文章