函數(shù)指針與軟件設計

記得剛開始工作時，一位高手告訴我，說，longjmp和setjmp玩得不熟，就不要自稱為C語言高手。當時我半信半疑，為了讓自己向高手方向邁進，還是花了一點時間去學習longjmp和setjmp的用法。后來明白那不單是跳來跳去那樣簡單，而是一種高級的異常處理機制，在某些情況下確實很有用。

為了顯示自己的技巧，也在自己的程序中用過幾次。漸漸發(fā)現(xiàn)這樣的技巧帶來的好處是有代價的，破壞了程序的結構化設計，程序變得很難讀，尤其對新手來說。終于明白這種技巧不過是一種調味料，在少數(shù)情況使用幾次，可以簡化對問題的處理。如果把調味拿來當飯吃，一定會本末倒置，寫出的程序會呈現(xiàn)營養(yǎng)不良之狀。

事實上，longjmp和setjmp玩得熟不熟與是不是C語言高手，不是因果關系。但是，如果可以套用那位高手的話，我倒想說如果函數(shù)指針玩得不熟，就不要自稱為C語言高手。為什么這么說呢，函數(shù)指針有那么復雜嗎？當然不是，任何一個稍有編程常識的人，不管他懂不懂C語言，在10分鐘內，我想他一定可以明白C語言中的函數(shù)指針是怎么回事。

原因在于，難的不是函數(shù)指針的概念和語法本身，而是在什么時候，什么地方該使用它。函數(shù)指針不僅是語法上的問題，更重要的是它是一個設計范疇。真正的高手當然不單應該懂得語法層面上的技巧，更應該懂得設計上的方法。不懂設計，能算高手嗎？懷疑我在夸大其辭嗎？那我們先看看函數(shù)指針與哪些設計方法有關：

與分層設計有關。分層設計早就不是什么新的概念，分層的好處是眾所周知的，比較明顯好處就是簡化復雜度、隔離變化。采用分層設計，每層都只需關心自己的東西，這減小了系統(tǒng)的復雜度，層與層之間的交互僅限于一個很窄的接口，只要接口不變，某一層的變化不會影響其它層，這隔離了變化。

分層的一般原則是，上層可以直接調用下層的函數(shù)，下層則不能直接調用上層的函數(shù)。這句話說來簡單，在現(xiàn)實中，下層常常要反過來調用上層的函數(shù)。比如你在拷貝文件時，在界面層調用一個拷貝文件函數(shù)。界面層是上層，拷貝文件函數(shù)是下層，上層調用下層，理所當然。但是如果你想在拷貝文件時還要更新進度條，問題就來了。一方面，只有拷貝文件函數(shù)才知道拷貝的進度，但它不能去更新界面的進度條。另外一方面，界面知道如何去更新進度條，但它又不知道拷貝的進度。怎么辦？常見的做法，就是界面設置一個回調函數(shù)給拷貝文件函數(shù)，拷貝文件函數(shù)在適當?shù)臅r候調用這個回調函數(shù)來通知界面更新狀態(tài)。

與抽象有關。抽象是面向對象中最重要的概念之一，也是面向對象威力強大之處。面向對象只是一種思想，大家都知道，用C語言一樣可以實現(xiàn)面向對象的編程。這可不是為了趕時髦，而是一種實用的方法。如果你對此表示懷疑，可以去看看GTK+、linux kernel等開源代碼。

接口是最高級的抽象。在linux kernel里面，接口的概念無處不在，像虛擬文件系統(tǒng)(VFS)，它定義一個文件系統(tǒng)的接口，只要按照這種接口的規(guī)范，你可以自己開發(fā)一個文件系統(tǒng)掛上去。設備驅動程序更是如此，不同的設備驅動程序有自己一套不同的接口規(guī)范。在自己開發(fā)設備開發(fā)驅動程序時，只要遵循相應的接口規(guī)范就行了。接口在C語言中如何表示？很簡單，就是一組函數(shù)指針。

與接口與實現(xiàn)分開有關。針對接口編程，而不是針對實現(xiàn)編程，此為《設計模式》的第一條設計準則。分開接口與實現(xiàn)的目標是要隔離變化。軟件是變化的，如果不能把變化的東西隔離開來，導致牽一發(fā)而動全身，代價是巨大的。這是大家所不愿看到的。

C語言既然可以實現(xiàn)面向對象的編程，自然可以利用設計模式來分離接口與實現(xiàn)。像橋接模式、策略模式、狀態(tài)模式、代理模式等等，在C語言中，無一不需要利用函數(shù)指針來實現(xiàn)。

與松耦合原則有關。面向過程與面向對象相比，之所以顯得蒼白無力，原因之一就是它不像面向對象一樣，可以直觀的把現(xiàn)實模型映射到計算機中。面向過程講的是層層控制，而面向對象更強調的對象間的分工合作?，F(xiàn)實世界中的對象處于層次關系的較少，處于對等關系的居多。也就是說，對象間的交互往往是雙向的。這會加強對象間的耦合性。

耦合本身沒有錯，實際上耦合是必不可少的，沒有耦合就沒有協(xié)作，對象之間無法形成一個整體，什么事也做不了。關鍵在于耦合要恰當，在實現(xiàn)預定功能的前提下，耦合要盡可能的松散。這樣，系統(tǒng)的一部分變化對其它部分的影響會很少。

函數(shù)指針是解耦對象關系的最佳利器。Signal(如boost的signal和glib中的signal)機制是一個典型的例子，一個對象自身的狀態(tài)可能是在變化的（或者會觸發(fā)一些事件），而其它對象關心它的變化。一旦該對象有變化發(fā)生，其它對象要執(zhí)行相應的操作。

如果該對象直接去調用其它對象的函數(shù)，功能是完成了，但對象之間的耦合太緊了。如何把這種耦合降到最低呢，signal機制是很好的辦法。它的原理大致如下：其它關注該對象變化的對象主動注冊一個回調函數(shù)到該對象中。一旦該對象有變化發(fā)生，就調用這些回調函數(shù)通知其它對象。功能同樣實現(xiàn)了，但它們之間的耦合度降低了。

在C語言中，要解決以上這些問題，不采用函數(shù)指針，將是非常困難的。在編程中，如果你從沒有想到用函數(shù)指針，很難想像你是一個C語言高手。

總結

以上就是這篇文章的全部內容了，希望本文的內容對大家的學習或者工作具有一定的參考學習價值，謝謝大家對腳本之家的支持。如果你想了解更多相關內容請查看下面相關鏈接

最新評論