【物件導向程式設計】（OOP）與【程式導向程式設計】在思維方式上存在著很大的差別。【程式導向程式設計】中，演演算法是第一位的，資料結構是第二位的，這就明確地表述了程式設計師的工作方式。首先要確定如何運算元據，然後再決定如何組織資料，以便於資料操作。而【物件導向程式設計】卻調換了這個次序，【物件導向程式設計】將資料放在第一位，然後再考慮運算元據的演演算法。
對於一些規模較小的問題，將問題分解為過程的開發方式比較理想。而物件導向更加適用於解決規模較大的問題。
物件導向程式設計是一種程式設計正規化或程式設計風格。物件導向的程式是由類和物件組成的（以類和物件作為組織程式碼的基本單元），並將封裝、抽象、繼承、多型這四個特性，作為程式設計和實現的基礎。
物件導向程式設計語言是【支援類和物件的語法機制。並有現成的語法機制，能方便地實現 OOP 的四大特性（封裝、抽象、繼承、多型）】的程式語言。
對於 OOP 的四大特性，我們需要知道每一個特性的如下知識：
封裝（encapsulation）也被稱為資料隱藏、資料存取保護。從形式上看，封裝就是將資料和行為組合在一起中，並對物件的使用者隱藏資料的實現方式。
物件中的資料被稱為範例域（instance field），運算元據的過程被稱為方法（method）。對於每個特定的類範例（物件）都有一組特定的範例域值。這些值的集合就是這個物件的當前狀態（state）。
實現封裝的關鍵在於絕對不能讓類中的方法直接地存取其他類的範例域。程式僅通過物件的方法與物件資料進行互動。封裝給物件賦予了 「黑盒」 特徵，這是提高重用性和可靠性的關鍵。這意味著一個類可以全面地改變儲存資料的方式，只要仍舊使用同樣的方法運算元據，其他物件就不會知道或介意所發生的變化。
為了實現封裝這個特性，需要程式設計語言提供一定的語法機制來支援。這個語法機制就是存取許可權控制（存取修飾符：public、protected、private、default）。
在 Java 中，封裝就意味著所有的範例域都帶有 private 存取修飾符（私有的範例域），並提供帶有 public 存取修飾符的域存取器方法和域更改器方法（公共的操作方法）。
如果範例域帶有 public 存取修飾符，這就破壞了封裝性。因為 public 範例域允許程式中的任何方法對其進行讀取和修改。
如果域存取器方法、域更改器方法直接返回了一個可變物件的參照，這就破壞了封裝性。在 Employee 類中就違反了這個設計原則，其中的 getHireDay() 方法返回了一個 Date 類物件。Date 類有一個更改器方法 setTime()，可以使用 setTime() 這個方法設定毫秒數。Date 物件是可變的，這一點就破壞了封裝性。對 d 呼叫更改器方法就可以自動地改變這個僱員物件的私有狀態。
如果域存取器方法、域更改器方法需要返回一個可變物件的參照，應該首先對物件進行克隆（clone）。
物件 clone 指的是：存放在另一個位置上的物件副本。
class Employee {
private Date hireDay;
public Date getHireDay() {
return hireDay; // Bad
}
// ...
}
Employee harry = . .
Date d = harry.getHireDay();
double tenYearsInMilliSeconds = 10 * 365.25 * 24 * 60 * 60 * 1000;
d.setTime(d.getTime() - (long) tenYearsInMilliSeconds);
// let's give Harry ten years of added seniority
// 修改後的程式碼
class Employee {
public Date getHireDay() {
return (Date) hireDay.clone(); // Ok
}
// ...
}
封裝存在的意義、封裝的好處：程式僅通過物件的方法與物件資料進行互動
封裝主要講的是如何隱藏資料、資料存取保護，而抽象講的是如何隱藏方法的具體實現，讓方法的呼叫者只需要關心方法提供了哪些功能，並不需要知道這些功能是如何實現的。
我們可以藉助程式設計語言提供的介面類（比如 Java 中的 interface 關鍵字語法）或者抽象類（比如 Java 中的 abstract 關鍵字語法）這兩種語法機制，來實現抽象這一特性。
實際上，抽象這個特性是非常容易實現的，並不需要非得依靠介面類或者抽象類這些語法機制來支援。換句話說，並不是說一定要為實現類抽象出介面類，才叫作抽象。即便不編寫介面類，單純的實現類本身就滿足抽象特性。
之所以這麼說，那是因為類的方法是通過程式設計語言中的 「函數」 這一語法機制實現的。通過函數包裹具體的實現邏輯，這本身就是一種抽象。呼叫者在呼叫函數的時候，並不需要去研究函數內部的實現邏輯，只需要通過函數的命名、註釋或者檔案，瞭解該函數提供了什麼功能，就可以直接呼叫了。比如，我們在使用 C 語言的 malloc() 函數的時候，並不需要了解它的底層程式碼是怎麼實現的。
抽象存在的意義、抽象的好處：
繼承（inheritance）即 「is-a」 關係，是一種用於表示特殊與一般關係的。
例如，RushOrder 類由 Order 類繼承而來。在具有特殊性的 RushOrder 類中包含了一些用於優先處理的特殊方法，以及一個計算運費的不同方法；而其他的方法，如新增商品、生成賬單等都是從 Order 類繼承來的。
利用繼承，人們可以基於已存在的類構造一個新類。繼承已存在的類就是複用（繼承）這些類的方法和域。在此基礎上，還可以新增一些新的方法和域，以滿足新的需求。
從繼承關係上來講，繼承可以分為單繼承和多繼承。有些程式設計語言只支援單繼承，不支援多重繼承，比如 Java、PHP、C#、Ruby 等，而有些程式設計語言既支援單繼承，也支援多繼承，比如 C++、Python、Perl 等。
為了實現繼承這個特性，需要程式設計語言提供一定的語法機制來支援。比如 Java 使用 extends 關鍵字來實現繼承，C++ 使用冒號來實現繼承（class B : public A），Python 使用 parentheses() 來實現繼承，Ruby 使用 < 來實現繼承。
繼承存在的意義、繼承的好處：繼承的一個最大好處就是程式碼複用。假如兩個類有一些相同的屬性和方法，我們就可以將這些相同的部分，抽取到基礎類別中，讓兩個子類繼承基礎類別。這樣，兩個子類就可以重用基礎類別中的程式碼，避免程式碼重複寫多遍。
不過，程式碼複用這個好處也並不是繼承所獨有的，我們也可以通過其他的方式來解決程式碼複用的問題，比如利用組合關係。
過度的使用繼承，繼承的層次過深、過複雜，就會導致程式碼的可讀性、可維護性變差。
一個物件變數可以指向多種實際型別的現象被稱為多型（polymorphism）。在執行時自動地選擇呼叫哪個方法的現象被稱為動態繫結（dynamic binding）。
為了實現多型這個特性，需要程式設計語言提供一定的語法機制來支援。
在 Java 程式設計語言中，物件變數是多型的。一個父類別的物件變數既可以參照一個父類別的物件，也可以參照一個子類的物件。
一個 Employee 變數既可以參照一個 Employee 類的物件，也可以參照一個 Employee 類的任何一個子類的物件（例如， Manager、Executive、 Secretary 等）。
對於多型特性的實現方式，除了利用 「繼承加方法重寫」 這種實現方式之外，還有其他兩種比較常見的的實現方式，一種是利用介面類語法，另一種是利用 duck-typing 語法。不過，並不是每種程式設計語言都支援介面類或者 duck-typing 這兩種語法機制，比如 C++ 就不支援介面類語法，而 duck-typing 只有一些動態語言才支援，比如 Python、JavaScript 等。
多型存在的意義、多型的好處：
《Java核心技術卷一：基礎知識》（第10版）
本文來自部落格園，作者：真正的飛魚，轉載請註明原文連結：https://www.cnblogs.com/feiyu2/p/17312680.html