任意一个可以声明某类型变量的子程序均可以访问该类型表示 的任意分量。任何这样的子程序均可以旁路数据对象上定义的 操作,而直接访问和操作该数据对象的部件。 封装的意图是要使得这样的访问不可能。仅仅那些知道数据对 象的内部表示的子程序是该类型上的操作,被定义为类型的 部分。 Ada、C艹+、 Smalltalk等语言提供了抽象类型定义机制。Ada中 的 Package是抽象数据类型定义的形式。图8.1是一个例子 Private部分指出外界不能访问的内部结构。在包中定义的子程序 才可以访问私有数据。任意一个可以声明某类型变量的子程序均可以访问该类型表示 的任意分量。任何这样的子程序均可以旁路数据对象上定义的 操作，而直接访问和操作该数据对象的部件。 封装的意图是要使得这样的访问不可能。仅仅那些知道数据对 象的内部表示的子程序是该类型上的操作，被定义为类型的一 部分。 Ada、C++、Smalltalk等语言提供了抽象类型定义机制。Ada中 的Package是抽象数据类型定义的形式。图8.1是一个例子。 Private部分指出外界不能访问的内部结构。在包中定义的子程序 才可以访问私有数据