無論是模塊化設計,還是面向對象設計,還是分層設計,實現子系統內部信息的對外隱藏都是最關鍵的內在要求。以本人淺顯的經驗,把信息隱藏按照程度的不同分成(1)不可見不可用(2)可見不可用(3)可見可用。
1 不可見不可用
就是說模塊內部的變量、結構體、類定義對外部而已完全隱藏,外部對此一無所知。常用的實現方法就是利用不透明指針,請參見我的博文C語言開發函數庫時利用不透明指針對外隱藏結構體細節。
這種方法同樣適用于C++語言,一種可能的實現方式為面向接口編程。
頭文件 IMyClass.h
1
2
3
4
5
6
7
8
9
|
class IMyClass { public : virtual ~IMyClass(); public : virtual void public_function1(); virtual void public_function2(); }; IMyClass* CreateMyClassObject(); |
實現文件 MyClass.cpp
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
#include "IMyClass.h" class MyClass : IMyClass.h { private : int x; int y; int z; public : virtual void public_function1(); virtual void public_function2(); }; IMyClass* CreateMyClassObject() { return new MyClass(); } |
這種實現方法在源碼層次和庫層次上都能適用。
理論上說,完全實現不可見是最完美的設計。然而這對于程序設計要求非常高,而且會帶來更多的代碼量和設計邏輯層次以及一些限制(如無法實現對已有類型的繼承)。
所以,很多C++庫的設計都采用了下面這種可見不可用的方式,如MFC。
2 可見不可用
這種方法指的是專門針對C++而言的,指的是C++類中的非公開類型成員。例如在頭文件 myclass.h中:
1
2
3
4
5
6
7
8
9
10
11
12
|
class MyClass { private : int x; int y; int z; protected : float f; public : int M; void member_method1(); }; |
對于調用方來說,包含次頭文件后,雖然能夠看到x,y,z等成員變量,但是卻無法使用它們。只要客戶端需要使用 new 來生成實例或者繼承類,就必須知道類的完整定義。
對C語言而言,不存在這種情況,因為結構體里的任何變量都是公開的。
3 可見可用
也就是毫無隱藏而言了,程序設計中絕對要避免。
以上所述是針對C/C++程序開發中實現信息隱藏的三種類型,希望對大家以上幫助!