什麼是物件導向（2）：Object, Class, Instance

January 21 22:58~January 22 00:10

鄉民們看到這篇的日子應該是大年初一，先跟大家說聲新年快樂。

這次要介紹在物件導向技術中三個經常容易搞混的名詞，分別是object、class、instance。首先看一下Object-Oriented Software Engineering這本書對於這三個名詞的定義：

• Object：An object is characterized by a number of operations and a state which remembers the effect of these operations.（p.44）
• Class：A class represents a template for several objects and describes how these objects are structured internally. Objects of the same class have the same definition both for their operations and for their information structures.（p.50）
• Instance：An instanceis an object created from a class. The class describes the (behavior and information)structure of the instance, while the current state of the instance is defined by the operations performed on the instance.（p.50）

以下為上述定義翻成白話文再加上一點Teddy個人補充的資料：

• Class是用來定義object的一種東西，class的內容包含了動作（operations）與資料（data）。
• 動作（operations）、方法（methods）和行為（behaviors）可以看作同義詞。理想上一個object的狀態只能透過動作去改變它。
• 一個object就是某個class的instance，換句話說可以把object和instance看作是同樣的東西。只是在某些場合大家比較習慣用object這個說法，其他場合則是會用instance。例如，

List<String> a = new LinkedList<String>();

List<String> b = new LinkedList<String>();

你可以說「a、b兩個ojbects各指到一個LinkedList類別的instance」或是說「a、b兩個ojbects各指到一個 LinkedList類別的object」，但是如果程式變成下面這樣：

a = b;

那麼說成「a、b兩個ojbects都指到一個相同的LinkedList類別的instance」，或是更簡單一點「a、b都指到同一個instance」會比「a、b都指到同一個object」意思要來的清楚一點。

• 資料成員（data members）和屬性（attributes）是同義詞，都是用來儲存物件的狀態。如果一個class沒有任何資料成員，這個class所產生的所有objects看起來就會是一模一樣的東西。也就是說，可以把一個沒有狀態的class變成一個static class，不用產生任何instance就可以呼叫該class的operations。
• 物件與物件之間的關係可以簡化成兩種：aggregation和association，請參考GoF Design Pattern, pp.22-23。

***

看到這邊不知道鄉民們會不會有一個疑問：同樣的東西幹嘛搞出不同的說法啊？這就是「阿斗仔」厲害的地方啦。

***

友藏內心獨白：「九x共識」跟「一x各表」算是同義詞嗎？