面嚮物件語言的三大特徵是：封裝 繼承 多型

最近感覺，總結一下這個問題還是挺有必要的，所以轉發了此篇文章的部分段落。

封裝

封裝是面向物件的特徵之一，是物件和類概念的主要特性。封裝，也就是把客觀事物封裝成抽象的類，並且類可以把自己的資料和方法只讓可信的類或者物件操作，對不可信的進行資訊隱藏。示例程式碼：

1. public class Department

2. {

3. private string departname;

4.  

5. // 讀方法

6. public string GetDepartname(){

7. return departname;

8. }

9.  

10. //寫方法

11. public void SetDepartname( string a){

12. departname=a;

13. }

14.  

15. }

繼承

面向物件程式設計 (OOP) 語言的一個主要功能就是“繼承”。繼承是指這樣一種能力：它可以使用現有類的所有功能，並在無需重新編寫原來的類的情況下對這些功能進行擴充套件。

通過繼承建立的新類稱為“子類”或“派生類”。

被繼承的類稱為“基類”、“父類”或“超類”。

繼承的過程，就是從一般到特殊的過程。

要實現繼承，可以通過“繼承”（Inheritance）和“組合”（Composition）來實現。

在某些 OOP 語言中，一個子類可以繼承多個基類。但是一般情況下，一個子類只能有一個基類，要實現多重繼承，可以通過多級繼承來實現。

繼承概念的實現方式有三類：實現繼承、介面繼承和可視繼承。

?         實現繼承是指使用基類的屬性和方法而無需額外編碼的能力；

?         介面繼承是指僅使用屬性和方法的名稱、但是子類必須提供實現的能力；

?         可視繼承是指子窗體（類）使用基窗體（類）的外觀和實現程式碼的能力。

在考慮使用繼承時，有一點需要注意，那就是兩個類之間的關係應該是“屬於”關係。例如，Employee 是一個人，Manager 也是一個人，因此這兩個類都可以繼承 Person 類。但是 Leg 類卻不能繼承 Person 類，因為腿並不是一個人。

抽象類僅定義將由子類建立的一般屬性和方法，建立抽象類時，請使用關鍵字 Interface 而不是 Class。

OO開發正規化大致為：劃分物件→抽象類→將類組織成為層次化結構(繼承和合成) →用類與例項進行設計和實現幾個階段。

普通類繼承關係示例程式碼：

1. public class A{

2. int test=0;

3. public A(){

4. test = 5;

5. Console.WriteLine("I am A 公有預設建構函式 ，test={0}", test);

6. }

7. }

8.  

9. public class B : A {

10.  

11. }

12.  

13. public class InheritanceTest1 {

14.  

15. public static void Main(string[] args){

16. B b = new B();

17. Console.Read();

18. }

19. }

多型

多型性（polymorphisn）是允許你將父物件設定成為和一個或更多的他的子物件相等的技術，賦值之後，父物件就可以根據當前賦值給它的子物件的特性以不同的方式運作。簡單的說，就是一句話：允許將子類型別的指標賦值給父類型別的指標。

實現多型，有二種方式，覆蓋，過載。

覆蓋，是指子類重新定義父類的虛擬函式的做法。

過載，是指允許存在多個同名函式，而這些函式的引數表不同（或許引數個數不同，或許引數型別不同，或許兩者都不同）。

其實，過載的概念並不屬於“面向物件程式設計”，過載的實現是：編譯器根據函式不同的引數表，對同名函式的名稱做修飾，然後這些同名函式就成了不同的函式（至少對於編譯器來說是這樣的）。如，有兩個同名函式：function func(p:integer):integer;和function func(p:string):integer;。那麼編譯器做過修飾後的函式名稱可能是這樣的：int_func、str_func。對於這兩個函式的呼叫，在編譯器間就已經確定了，是靜態的（記住：是靜態）。也就是說，它們的地址在編譯期就綁定了（早繫結），因此，過載和多型無關！真正和多型相關的是“覆蓋”。當子類重新定義了父類的虛擬函式後，父類指標根據賦給它的不同的子類指標，動態（記住：是動態！）的呼叫屬於子類的該函式，這樣的函式呼叫在編譯期間是無法確定的（呼叫的子類的虛擬函式的地址無法給出）。因此，這樣的函式地址是在執行期繫結的（晚邦定）。結論就是：過載只是一種語言特性，與多型無關，與面向物件也無關！引用一句Bruce Eckel的話：“不要犯傻，如果它不是晚邦定，它就不是多型。”

那麼，多型的作用是什麼呢？我們知道，封裝可以隱藏實現細節，使得程式碼模組化；繼承可以擴充套件已存在的程式碼模組（類）；它們的目的都是為了——程式碼重用。而多型則是為了實現另一個目的——介面重用！多型的作用，就是為了類在繼承和派生的時候，保證使用“家譜”中任一類的例項的某一屬性時的正確呼叫。

1. public class Animal

2. {

3. public virtual void Eat()

4. {

5. Console.WriteLine("Animal eat");

6. }

7. }

8.  

9. public class Cat : Animal

10. {

11. public override void Eat()

12. {

13. Console.WriteLine("Cat eat");

14. }

15. }

16.  

17. public class Dog : Animal

18. {

19. public override void Eat()

20. {

21. Console.WriteLine("Dog eat");

22. }

23. }

24.  

25. class Tester

26. {

27. static void Main(string[] args)

28. {

29. Animal[] animals = new Animal[3];

30.  

31. animals[0] = new Animal();

32. animals[1] = new Cat();

33. animals[2] = new Dog();

34.  

35. for (int i = 0; i < 3; i++)

36. {

37. animals[i].Eat();

38. }

39. }

40. }