C语言抽象数据类型及不透明指针

一、前言

封装(Encapsulation)是一个在现代程序设计里无处不在的手段。对过程的封装，我们称其为函数(Function)，对某个对象的属性及行为的封装我们称其为类(Class)。很多高级程序设计语言都提供了足够的特性来支持封装。

封装的目的是信息隐藏(Information Hiding)，这也是操作系统及计算机体系结构领域经常提到的最小特权原则(Least Privilege Principle)的一种特殊体现，它规定了程序的目标用户只应该知道他所需要的信息，对于他不该知道的信息或没有必要知道的信息，多一点儿也不让他知道。许多面向对象的程序设计语言都提供了较好的信息隐藏的手段，例如C++，JAVA。他们通过在类(Class)中，对访问权限进行限制，以公有(Public)，私有(Private)等标签规定了一套访问规则（当然，还有protected），从而实现了信息隐藏。

在实践中，我们也把上面的技术称为接口(Interface)与实现(Implementation)的分离，用户看到的（或者说，能访问的，能调用的……）是接口，而用户看不见的，在接口之下默默运行着的是实现。

利用这样一套机制，我们可以极大地丰富程序设计语言的语义，其方法就是编写许多完备的用户自定义类型，或者说抽象数据类型。而这些抽象数据类型有着这样的特点：它们的含义远比内置类型(比如int，float，char……)，而在使用的时候却又应该与内置类型一样方便。它们有着自己的属性与行为，比如一个栈(Stack)，可以有栈顶(Top)，长度(Length)等属性，可以有压栈(Push)，出栈(Pop)等操作。

二、C语言的抽象数据类型