在面向对象编程方法中,封装(英语:Encapsulation)是指,一种将抽象性函数接口的实现细节部分包装、隐藏起来的方法。同时,它也是一种防止外界调用端,去访问对象内部实现细节的手段,这个手段是由编程语言本身来提供的。封装被视为是面向对象的四项原则之一。
适当的封装,可以将对象使用接口的程序实现部分隐藏起来,不让用户看到,同时确保用户无法任意更改对象内部的重要资料,若想接触资料只能通过公开接入方法(Publicly accessible methods)的方式( 如:"getters" 和"setters")。它可以让代码更容易理解与维护,也加强了代码的安全性。
在面向对象的语言里,封装往往指以下两个相关联但是独立的概念,有时候这两者是存在因果关系。
一些编程语言的研究者和学者将定义①或者定义①+②作为辨认一门语言是否为面向对象语言的标准之一。一些编程语言提供了闭包作为封装,但是这种功能不属于面向对象的范畴。
在许多编程语言里,组件并不会自动隐藏并且能够被重写,因此,一些倾向于定义②的人会将信息隐藏(information hiding)作为一个单独的定义③列举出来。
在使用类的大多面向对象的编程语言中,虽然封装是被支持的,但是仍有其他替代品可以选择。
《Design Patterns》的作者们曾经大篇幅地讨论封装和继承的矛盾。根据他们自身的经验,设计师们滥用继承。他们认为继承将破坏封装,考虑父类的实现细节将暴露给子类。
父类的内部实现对于子类来说是不透明的(实现一个子类时, 你需要了解父类的实现细节, 以此决定是否需要重写某个方法)。同时,一旦父类被修改,因为子类依赖着父类,所以子类的实现也需要被重新审视。
封装可以隐藏成员变量以及成员函数,对象的内部实现通常被隐藏,并用定义代替。举个例子,仅仅对象自身的方法能够直接接触或者操作这些成员变量。隐藏对象内部信息能供保证一致性:当用户擅自修改内部部件的数据,这可能造成内部状态不一致或者不可用;隐藏对象内部信息能阻止这种后果。一个众所周知的好处是,降低系统的复杂度和提高健壮性。
大多数语言(如:C++、C#、 Delphi、Java)通过设定等级去控制内部信息隐藏,经典的是通过保留字 public
暴露信息和 private
隐藏信息。一些语言(如: Smalltalk 和 Ruby )只允许对象去访问隐藏信息。
通常,也是存在方法去暴露隐藏信息,如通过反射(Ruby、Java、C#、etc.)或名字修饰(Python)。
这是一段C#代码,演示了如何使用private
关键字限制变量的访问:
namespace Encapsulation { class Program { public class Account { private decimal accountBalance = 500.00m; public decimal CheckBalance() { return accountBalance; } } static void Main() { Account myAccount = new Account(); decimal myBalance = myAccount.CheckBalance(); /* Main方法能够通过public的“CheckBalance”方法确认账户余额,但是不能更改它 */ } }}