隨筆檔案

一種語(yǔ)言代表了一種思維，而思維決定了問(wèn)題的解決方式。

?

從程序設(shè)計(jì)語(yǔ)言出現(xiàn)到現(xiàn)在已經(jīng)經(jīng)歷了四代。大多數(shù)高級(jí)語(yǔ)言都對(duì)應(yīng)到第三代或四代程序設(shè)計(jì)語(yǔ)言。按其主要支持的編程模型（思維模式）分類，大致可以分為如下類型

1 ． 過(guò)程型：這類語(yǔ)言把應(yīng)用抽象為序列化的操作步驟，其典型代表如PASCAL，C等。

2 ． 函數(shù)型：這類語(yǔ)言把應(yīng)用抽象為函數(shù)（按定義，函數(shù)是從一個(gè)域到另一個(gè)域的映射）；它們?cè)噲D把問(wèn)題分解為集合和集合間的函數(shù)關(guān)系。典型代表是LISP。

3 ． 邏輯型：這類語(yǔ)言把問(wèn)題抽象為事實(shí)與規(guī)則的結(jié)合，試圖通過(guò)邏輯演算解決實(shí)際問(wèn)題。典型代表是PROLOG。

4 ． 面向?qū)ο笮停哼@類語(yǔ)言從上世紀(jì)80年代后迅速發(fā)展，這類語(yǔ)言試圖將實(shí)際問(wèn)題抽象為獨(dú)立的對(duì)象以及對(duì)象間的交互，典型代表是早期的SmallTalk和Eiffel。

5 ． 面向數(shù)據(jù)結(jié)構(gòu)型：這類語(yǔ)言將問(wèn)題抽象為對(duì)結(jié)構(gòu)化數(shù)據(jù)的操作，例如現(xiàn)在常用的SQL。

?

作為一個(gè)誕生與上世紀(jì)80年代初期的編程語(yǔ)言，C++被廣泛的認(rèn)為是一種支持面向?qū)ο蟮恼Z(yǔ)言；但是，我認(rèn)為C++的偉大之處卻更多的在于（除了所提供完備的面向?qū)ο笾С郑┧瑯犹峁┝?/span>C的面向過(guò)程的編程模型以及只有少數(shù)高級(jí)語(yǔ)言能支持的范型編程（我更喜歡叫它面向算法的編程）。在實(shí)際的應(yīng)用過(guò)程中，我們往往需要不同層次的抽象，C++所支持的廣泛的編程模型為我們提供了強(qiáng)大和靈活的工具，使得我們?cè)谠O(shè)計(jì)和實(shí)現(xiàn)時(shí)能自如的選擇不同的模型，以最合理的（組合）方式解決問(wèn)題。

?

不可否認(rèn)，在當(dāng)今的程序設(shè)計(jì)中，面向?qū)ο笠呀?jīng)基本上是一統(tǒng)江湖，但它往往并不是最合理的選擇；例如在針對(duì)協(xié)議棧的開發(fā)中，使用面向過(guò)程的模型往往優(yōu)于使用面向?qū)ο蟮哪Ｐ停ɑ蛟S這也是為什么主流的電信設(shè)備供應(yīng)商堅(jiān)持使用C的原因？）；而在針對(duì)算法進(jìn)行抽象時(shí)，使用面向?qū)ο蟮乃季S模式幾乎完全是不可行的（算法和對(duì)象間的不同之處是顯而易見(jiàn)的）；如果機(jī)械的運(yùn)用面向?qū)ο笏季S，只能使最終產(chǎn)品的質(zhì)量、可維護(hù)性、可讀性下降。

?

或許有人會(huì)問(wèn)，那么應(yīng)該如何選擇抽象方式呢？我覺(jué)得這個(gè)應(yīng)該是因人和問(wèn)題的不同而不同的，關(guān)鍵是在使用C++的過(guò)程中，多從這些方面進(jìn)行思考、總結(jié)，以體會(huì)采用不同模式解決問(wèn)題的優(yōu)缺點(diǎn)，努力使用最合理的方式（或組合）對(duì)問(wèn)題進(jìn)行抽象并加以解決。我也常常為這些種種選擇而迷惑，因此在這兒也希望那些已經(jīng)到了“不惑”層次的哥們多多指教。

?

當(dāng)然，從另一方面來(lái)說(shuō)，越多的選擇往往意味著越難的選擇，這或許也是為什么現(xiàn)在這么多人趨騖與更單純、更簡(jiǎn)單的JAVA，C#的原因吧；但是當(dāng)我們真正理解并掌握C++提供的這些編程模型時(shí)，我想我們會(huì)更加堅(jiān)定當(dāng)初選擇C++的信念;D

?

時(shí)間倉(cāng)促，不正之處敬請(qǐng)指教。