〈物件導向編程精要〉

寫好了！以下是 Word 的 Word Count（包括 footnotes）：

• Pages: 12
• Words: 7,859
• Characters (no spaces): 13,058
• Characters (with spaces): 13,616
• Non-Asian words: 914
• Asian characters: 6,945
• Paragraphs: 108
• Lines: 316

基本上我這篇文章的對象是那種看過相關書籍，概念大概都知道了，但是串不起來的那種人。所以我不去介紹那些概念，而是把那些概念串起來，點明概念間的關係，然後 topological sort 弄出那些概念的 linear order 寫成文章 XD。要把全部東西弄成 linear order 實在不是簡單的事情，雖然理論上 topological sort 只要線性時間 XD。

--
除非是重大更新，日後更新直接附於本文下，不另行發文 XD。

---

p.10 footnote 16：Java interface 在 C++ 的對偶角色是「成員全為 pure virtual functions」的 abstract class。─ JK 注：寫清楚一點。

p.3 par.-1：DBC 是個效力甚強的規範，無論在實務上檢驗程式正確性，或如本文內用以刻劃原則，都相當有效。 ─ JK 注：點清 DBC 的角色。

p.11 L.6, L.7：多繼承 ─ JK 注：和 L.8 的「單繼承」平衡。

p.11 L.8：單繼承（single inheritance） ─ JK 注：單根繼承是 Java 那種「所有 classes 皆繼承自 Object」的情況，不是 single inheritance 的譯詞。

p.7 差異編程 L.8：A subclass object = a superclass (sub)object + subclass extension. ─ JK 注：把 subobject 點清楚。

p.7 L.-3：若讓一個 base pointer/reference 指向一個 derived object，效果就相當於指向該物件內含的 base (sub)object ─ 透過這個 pointer/reference 喚起的成員函式一定是 base class 定義的版本。─ JK 注：寫清楚一點。

「介面編程」部份加入 ADT 與多型的關係。