在Java语言里，封装常被初学者理解成“把数据和方法装进类里面”，但这一认知容易混淆两个不同维度的事情：一个是对象在内存中的数据捆绑，另一个是向外部隐藏实现细节的信息隐藏。二者有关联，却不是同一回事。数据捆绑是对象和类的天然结构，而信息隐藏是设计层面的刻意约束。
一、数据捆绑：对象和类的天然属性
从语言结构上看，Java的类把字段与方法定义在同一个编译单元中，实例对象在堆内存里本就连续存储自己的实例变量，这构成了最基础的数据捆绑。当我们写出一个简单的User类，name和age字段与print方法同属一个类型定义，JVM在创建对象时也会把字段值放在对象头之后的实例数据区。
这种捆绑和访问控制没有关系。即便你把字段声明为public，它们依然“捆绑”在对象上。下面的代码展示了最原始的数据捆绑形态，它没有任何隐藏，外部可以直接修改内部状态：
public class User {
public String name;
public int age;
public void print() {
System.out.println(name + ":" + age);
}
}
// 调用方
User u = new User();
u.name = "张三";
u.age = 20;
u.print();
上面的写法在语法上完全合法，字段和方法是捆绑的，但外部代码对内部表示有完全控制权。一旦User的内部结构变化，比如把age拆成birthYear和birthMonth，所有直接访问u.age的代码都会编译失败。这说明仅有数据捆绑，无法抵御需求变化带来的耦合。
二、信息隐藏：编译期与运行期的双重约束
信息隐藏的核心是把“可能变化的东西”关在类内部，只暴露稳定的行为接口。Java通过访问修饰符（private、protected、包私有、public）在编译期限制字段可见性，字节码校验器会拒绝非法访问。但这只是手段，真正的隐藏在于：外部只应该知道“能做什么”，而不必知道“怎么做”。
下面这段代码用private隐藏字段，并提供受限的setter，在方法内部做业务校验，这就是一种基础的信息隐藏：
public class User {
private String name;
private int age;
public void setName(String name) {
if (name == null || name.isEmpty()) {
throw new IllegalArgumentException("姓名不能为空");
}
this.name = name;
}
public void setAge(int age) {
if (age < 0 || age > 150) {
throw new IllegalArgumentException("年龄不合法");
}
this.age = age;
}
public String getName() {
return name;
}
public int getAge() {
return age;
}
}
不过要注意，如果每个字段都只是机械地配上public getter和setter，外部仍然可以自由读写全部状态，这被称为“伪封装”。它满足了语法上的私有化，却没有隐藏任何设计意图，外部依旧依赖数据的形状而非行为。
三、封装的真正价值：行为契约而非数据存储
在领域驱动设计中，富领域模型强调把业务规则写在类内部。例如用户积分变更，不应由调用方算好数字再set，而应由对象自己维护不变式。这样即使积分规则变化，也只改User一处。
以下示例把积分逻辑内聚到方法里，外部无法绕过规则直接改值，体现了以行为为中心的封装：
public class User {
private int points;
public User(int init) {
this.points = Math.max(0, init);
}
public void addPoints(int delta) {
if (delta < 0) {
throw new IllegalArgumentException("增量不能为负");
}
points += delta;
}
public void consume(int cost) {
if (cost > points) {
throw new IllegalStateException("积分不足");
}
points -= cost;
}
public int getPoints() {
return points;
}
}
对比贫血模型（只有getter/setter的实体），富模型减少了散落在各处的业务判断，降低了模块间的隐式耦合。信息隐藏在这里表现为：points的具体变动策略对外不可见，对外只暴露addPoints和consume的语义。
四、进阶实践：不可变与防御性拷贝
当类需要返回内部集合或可变对象时，直接返回引用会破坏隐藏。防御性拷贝要求返回副本，不可变对象则从根本上消除被修改的可能。二者都是封装在运行期的延伸。
下面展示一个返回列表副本的例子，避免外部代码篡改内部容器：
import java.util.ArrayList;
import java.util.Collections;
import java.util.List;
public class Team {
private List<String> members = new ArrayList<>();
public void addMember(String name) {
members.add(name);
}
public List<String> getMembers() {
// 返回不可修改的视图，保护内部数据
return Collections.unmodifiableList(new ArrayList<>(members));
}
}
如果团队规模较小且线程安全要求高，也可以把members声明为final并始终使用不可变集合（如List.of）。此时对象构造后状态不再变化，调用方拿到的引用无论怎么传递都不会影响原对象，这是封装最彻底的形态。
五、总结对照
数据捆绑是Java对象和类的底层特征，信息隐藏是设计者利用访问控制和行为内聚达成的目标。把封装等同于“private字段加public方法”是片面的，只有让外部依赖行为而不是数据形状，才算真正发挥了封装的价值。
| 维度 | 数据捆绑 | 信息隐藏 |
|---|---|---|
| 发生层级 | 语言与内存结构 | 设计与编译约束 |
| 是否依赖private | 否 | 是（但不充分） |
| 抵御变化能力 | 弱 | 强 |
| 典型反例 | public字段 | 无校验的setter |
因此在日常写Java时，应先问自己：这个类对外承诺了什么行为，又藏起了哪些必然会变的东西。把易变数据锁死在方法内部，才是封装带给我们最实在的好处。