无显式指针的面向对象语言中所有对象必为reference吗？

首先明确你给出的reference定义：

reference是一种值，可让程序间接访问计算机内存或其他存储设备中的特定数据（如变量或记录）。

你的初始陈述是错误的，这类语言中存在大量不属于reference的对象，举几个典型例子：

• C# 的值类型结构体：C#是无显式指针的面向对象语言，其中的struct是标准的对象类型——可以包含属性、方法，遵循面向对象的封装特性。但struct实例默认是值语义，赋值或作为参数传递时会创建完整副本，直接存储数据而非通过reference间接访问，完全不属于reference范畴。
• Swift 的值类型：Swift里的struct和enum都支持面向对象特性（比如定义方法、遵循协议），但它们都是值语义类型。当你把这类对象传入函数时，会复制整个数据，而非传递reference，修改副本不会影响原对象。
• Kotlin 的数据类：Kotlin的data class具备面向对象的所有特性，但默认是值语义，传参或赋值时会复制数据，不属于reference。

再说说你的推理存在的问题：
你只从大型数据结构的传递效率这一个角度出发，忽略了语言设计的多场景需求：

1. 值语义的安全性需求：很多小数据场景（比如坐标、颜色、金额）需要独立的副本，使用值类型能避免意外修改原数据的问题，逻辑更清晰，而且小数据复制的开销远低于reference间接访问的开销。
2. 面向对象的核心并非依赖reference：面向对象的核心是封装、继承、多态，这些特性完全可以通过值类型对象实现，不需要强制用reference来间接访问数据。
3. 性能的多元化权衡：语言设计者会根据数据规模和使用场景提供不同的对象模型，不是所有场景都需要reference。对于小型数据，值类型的性能反而更优。

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