類的設(shè)計(jì)在于用恰到好處的信息來完整表達(dá)一個(gè)職責(zé)清晰的概念，恰到好處的意思是不多也不少，少了，就概念就不完整；多了，就顯得冗余，累贅，當(dāng)然特例下，允許少許的重復(fù)，但是，這里必須要有很好的理由。冗余往往就意味著包含了過多的信息，概念的表達(dá)不夠精準(zhǔn)，好比goto，指針，多繼承這些貨色，就是因?yàn)槠溥^多的內(nèi)涵，才要嚴(yán)格限制其使用。好像，more effective c++上說的，class的成員函數(shù)，應(yīng)該是在完整的情況下保持最小化。但是，這里我們的出發(fā)點(diǎn)，是成員數(shù)據(jù)的完整最小化。
最小化的好處是可以保持概念最大的獨(dú)立性，也意味著，可以用最小的代價(jià)來實(shí)現(xiàn)這個(gè)概念，也意味著對(duì)應(yīng)用層的代碼要求越少，非侵入式？好比c++11 noexcept取代throw()，好比從多繼承中分化出來接口的概念，好比不考慮多繼承虛繼承的普通成員函數(shù)指針。又比如，如果不要求只讀字符串以0結(jié)束，那么就可以把只讀字符串的任何一部分都當(dāng)成是只讀字符串。類的對(duì)外功能固然重要，但是，類不能做的事情，也很重要。
首先是要有清晰的概念以及這個(gè)概念要支持的最基本運(yùn)算，然后在此基礎(chǔ)上組織數(shù)據(jù)，務(wù)求成員數(shù)據(jù)的最小化。當(dāng)然，概念的產(chǎn)生，并非拍著腦袋想出來的，是因?yàn)榇a里面出現(xiàn)太多那種相關(guān)數(shù)據(jù)的次數(shù)，所以就有必要把這些數(shù)據(jù)打包起來，抽象成一個(gè)概念。好比說，看到stl算法函數(shù)參數(shù)到處開始結(jié)束的迭代器，就有必要把開始結(jié)束放在一起。比如說，string_view的出現(xiàn)，這里假設(shè)其字符存儲(chǔ)類型為char，string_view就是連續(xù)char內(nèi)存塊的意思，可以這樣表示
struct string_view
{
const char* textBegin;
size_t length; //或者 const char* textEnd
};
這里的重點(diǎn)是，string_view里面的兩個(gè)成員字段缺一不可，但是也不必再添加別的什么其他東西。然后，在這兩個(gè)數(shù)據(jù)上展開實(shí)現(xiàn)一系列的成員函數(shù)，這里，成員函數(shù)和成員字段這兩者，有一點(diǎn)點(diǎn)雞生蛋生雞的糾結(jié)，因?yàn)楸匾蓡T函數(shù)的集合（原始概念的細(xì)化），成員函數(shù)決定了成員字段的表示，而成員字段定下來之后，這反過來又能夠驗(yàn)證成員函數(shù)的必要性。不管怎么說都好，成員函數(shù)的設(shè)計(jì)，也必須遵從最小完整化的原則。再具體一點(diǎn)，就是說但凡一個(gè)成員函數(shù)可以通過其他成員函數(shù)來實(shí)現(xiàn)，就意味著這個(gè)函數(shù)應(yīng)該趕出類外，作為全局函數(shù)存在。當(dāng)然，這也不是死板的教條，有些很特殊的函數(shù)，也可以是成員函數(shù)，因?yàn)槌蓡T函數(shù)的使用，確實(shí)很方便。
可能會(huì)有疑惑，感覺所有的成員函數(shù)其實(shí)都可以是全局函數(shù)?；蛘哒f，我們可以對(duì)每一個(gè)成員字段都搞一對(duì)set、get的函數(shù)，那么所有的其他成員函數(shù)就可以是全局函數(shù)的形式，很容易就可以遵守最小完整化的原則。當(dāng)然，這是明顯偷懶，拒絕思考的惡劣行為。與其這樣，還不如就開放所有的成員字段，那樣子就落入c語言的套路了。所以的法論是，一個(gè)函數(shù)，這里假設(shè)是全局函數(shù)，如果它的實(shí)現(xiàn)必須要訪問到成員字段，不能通過調(diào)用該類的成員函數(shù)（一般不是get，set）來達(dá)到目的，或者，也可以強(qiáng)行用其他函數(shù)來完成任務(wù)，但是很麻煩，或者要付出時(shí)間空間上的代價(jià)，那么就意味著這個(gè)函數(shù)應(yīng)該是該類的成員函數(shù)。
類的設(shè)計(jì)，就是必不可少的成員字段和必不可少的成員函數(shù)，它們一起，實(shí)現(xiàn)了對(duì)類的原始概念的完整表達(dá)，其他什么的，都不必理會(huì)。一個(gè)類如果不好寫，往往意味著這個(gè)類的功能不專一，或者其概念不完整，這時(shí)，可以不要急著抽象，如果一個(gè)類有必要誕生，那么在代碼的編寫中，該類的抽象概念將一再重復(fù)出現(xiàn)，猿猴對(duì)它的理解也越來越清晰，從而，水到渠成地把它造出來。所有非需求推動(dòng)，非代碼推動(dòng)的，拍著腦袋，想當(dāng)然的造類行為，都是在臆造抽象，脫離實(shí)際生活的藝術(shù)，最終將被淘汰。
類的設(shè)計(jì)，其著眼點(diǎn)在于用必要的數(shù)據(jù)來完整表達(dá)一個(gè)清晰的概念。而繼承，則是對(duì)類的概念進(jìn)行細(xì)化，也就是分類，好比說生物下面開出來動(dòng)物、植物這兩個(gè)子類，就是把生物分成動(dòng)物、植物這兩類，繼承與日常生活的分類不太一樣，繼承的分類方式是開放式，根據(jù)需要，隨時(shí)可以添加新的子類別。整個(gè)類的體系，是一顆嚴(yán)格的單根樹，任何類只能有一個(gè)根類。從任何類開始，只能有一條路徑回溯到最開始的根類，java、C#中就是Object，所有的類都派生自Object，這是一棵大樹。單根系下，萬物皆是對(duì)象，這自然很方便，起碼，這就從語言層面上直接支持c++ std的垃圾any了。而由于java、C#完善的反射信息，拋棄靜態(tài)類型信息，也可以做動(dòng)態(tài)語言層面上的事情，而c，c++的void*，所有的動(dòng)態(tài)類型信息全部都在猿猴的大腦中。java平臺(tái)上生存著大把的動(dòng)態(tài)語言，而且，性能都還很不錯(cuò)。
相對(duì)很多語言來說，c++就是怪胎就是異數(shù)，自有其自身的設(shè)計(jì)哲學(xué)，它是多根系的，它不可能也沒必要搞成單根系，當(dāng)然，我們可以假設(shè)一個(gè)空類，然后所有的類都默認(rèn)繼承自這個(gè)空類。c++的所有類組成一個(gè)森林，森林里的樹都長自大地。但是不管怎么說都好，只能允許單繼承，千萬不要有多繼承，這是底線，千萬千萬不能違背（當(dāng)然，奇技淫巧的場合，就不必遵守這個(gè)戒條，多繼承千般不是，但是不可或缺，因?yàn)樗梢酝娉鰜砗芏嗷樱⑶叶己軐?shí)用很必要）。最起碼，單根系出來的內(nèi)存布局直觀可預(yù)測，一定程度上跨編譯器，只有良好的內(nèi)存布局，才有望良好的二進(jìn)制復(fù)用。另外，父類對(duì)子類一無所知，不要引用到子類一丁點(diǎn)的信息，要保持這種信息的單向流動(dòng)性。
在這種單根系的等級(jí)分明的階級(jí)體系下，一切死氣沉沉，沒有一點(diǎn)點(diǎn)的社會(huì)活力。顯然，只有同屬于同一父類的類別之間，才能共享那么一丁點(diǎn)可憐的共性。如果沒有接口搗亂，將是怎樣的悲劇，最好的例子，mfc，真是厲害，沒有用到接口，居然可以做出來嚴(yán)謹(jǐn)滿足大多數(shù)需要的gui框架，沒有接口，并不表示它不需要，因?yàn)?/span>mfc開了后門，用上了更厲害的玩意----消息發(fā)送，即便如此，mfc有些地方的基類還有依賴到子類，這就很讓人無語了。
c++下，類的設(shè)計(jì)絕對(duì)不對(duì)兒戲，一定要清楚自己想要的是什么，抽象出來的概念才不會(huì)變成垃圾。大而全的類，遠(yuǎn)遠(yuǎn)不如幾個(gè)小而專的細(xì)類。java，C#下的類開發(fā)很方便，但是粒度過大，把一攬子的東西都丟給你，強(qiáng)賣強(qiáng)買，反正只要類一定義，必然相應(yīng)的就會(huì)出現(xiàn)一大坨完善的反射信息，而對(duì)象里面也包含了一些無關(guān)緊要的成員字段，而對(duì)象的訪問，也全部都是間接引用的訪問，雖然，現(xiàn)在計(jì)算機(jī)性能過剩，這些都無傷大雅。c++給了開發(fā)者最大的選擇，而搞c++的猿猴，基本上都智力過剩，對(duì)于每種選擇，都清楚其背后的代價(jià)以及所要到達(dá)的目的，所以雖然開發(fā)時(shí)候，存在心智包袱影響開發(fā)效率，但是，但內(nèi)心就不會(huì)存在什么性能包袱的負(fù)罪感。就個(gè)人而言，還是喜歡c++這種最高自由度的語言，有時(shí)候，對(duì)于內(nèi)存最細(xì)致的控制，可以得到更精簡的設(shè)計(jì)，這里無關(guān)運(yùn)行性能，好比說，在c++中，只要內(nèi)存布局一致，即便是不同類型的對(duì)象，通過強(qiáng)制類型轉(zhuǎn)換來統(tǒng)一對(duì)待，進(jìn)而做匪夷所思之事，好比COM里面，為了聚合復(fù)用，一個(gè)類，竟然可以針對(duì)同一個(gè)接口提供兩套實(shí)現(xiàn)方式。這種方便，在其他強(qiáng)類型語言中是不支持的。
某種意義上講，c++在面向?qū)ο笊咸峁┑恼Z言機(jī)制，就是為了方便地生成各種內(nèi)存布局，以及此內(nèi)存布局上所能支持的操作，虛函數(shù)用以生成一堆成員函數(shù)指針，繼承則用以方便地生成一坨成員字段，……。所以，c++的面向?qū)ο缶褪敲嫦騼?nèi)存布局地設(shè)計(jì)，而多繼承、虛繼承、模板這些鬼東西很容易就導(dǎo)致內(nèi)存布局的失控，不過，如果使用得當(dāng)，卻又有鬼斧神工之奇效，創(chuàng)造出來其他語言所沒有的奇跡。真的，論動(dòng)態(tài)行為藝術(shù)，任何語言在c++這個(gè)大人面前都是幼兒園里的小學(xué)生。
為了引出接口，本座花大力氣做科普。這也沒辦法，因?yàn)轭愲m然是基礎(chǔ)，但是靜態(tài)面向?qū)ο蟮木A，全部都在接口上。只有清晰明確類的功能職責(zé)，才能理解接口的必要性以及其多樣性。那么，可不可以只有接口，沒有類的。可以，就好像com那樣子，而代價(jià)是，使用起來，各種不方便。這個(gè)世界，從來就不存在包治百病之萬能藥。什么事情都能做的意思就是什么都做不好。