无论是模块化设计，还是面向对象设计，还是分层设计，实现子系统内部信息的对外隐藏都是最关键的内在要求。以本人浅显的经验，把信息隐藏按照程度的不同分成（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++程序开发中实现信息隐藏的三种类型，希望对大家以上帮助！
