为何编程语言设计为创建对象时变量存引用而非对象本身？

以下是该设计选择的核心原因，以及反向设计会触发的具体问题：

1. 提升内存管理灵活性 #

栈内存的分配规则要求编译期就必须确定变量占用的空间大小，而堆内存可以支持运行时动态调整大小的对象。如果A obj = new A()中的obj直接存储实际对象，就只能把对象放在栈上，一旦类A包含可变长度的成员（比如String、动态列表），编译期根本无法预判对象运行时的实际大小，无法提前预分配栈空间。

反向设计问题示例：假设类A包含一个List<Integer>成员，运行时你往列表中插入了100万条数据，对象实际大小膨胀到100MB，而常见的线程栈大小只有8MB左右，直接会触发栈溢出导致程序崩溃，完全没有规避的空间。

2. 降低跨作用域传递的性能开销 #

如果obj是实际对象，只要发生赋值、传参操作，就需要对整个对象的内存做全量拷贝，对象体积越大，性能损耗越高。

反向设计问题示例：你定义了一个存储高清图片的类Image，单个实例大小为20MB，当你需要把实例传给3个不同的工具函数做裁剪、加滤镜、压缩操作时，仅参数拷贝就要执行3次20MB的内存复制，耗时是引用传递的数千倍，高并发场景下会直接拖垮整个服务的性能。

3. 支撑面向对象的多态特性 #

多态要求父类类型的变量可以指向任意子类实例，而不同子类的内存布局、占用空间都和父类存在差异，如果obj直接存储实际对象，只能容纳编译期声明的父类大小的内存，子类的额外成员会被直接截断，多态完全无法实现。

反向设计问题示例：你定义了父类Animal，有子类Cat（多了miaoVolume字段）、Dog（多了barkTimes字段），当你编写Animal a = new Cat()时，如果a是实际对象，编译期只会给a分配Animal类大小的栈空间，Cat类额外的字段会被截断，后续调用a的重写方法时，会因为找不到对应的成员变量直接抛出异常，多态特性彻底失效。

4. 支持对象的全局共享与生命周期管理 #

如果obj是实际对象，每个变量持有的都是独立的内存拷贝，无法实现多个变量指向同一个对象的共享逻辑，也无法灵活控制对象的生命周期（只要变量出栈作用域，对象就会被销毁）。

反向设计问题示例：你做一个电商系统，需要把当前登录的User实例传递给订单、支付、会员多个模块使用，如果每个模块拿到的都是实际对象的拷贝，你在订单模块修改了用户的收货地址，支付、会员模块的User实例完全不会同步更新，会出现下单地址和支付校验地址不一致的逻辑错误，也无法实现全局统一的用户状态管理。

内容的提问来源于stack exchange，提问作者katarina zed