primitive value与primitive type的区别及对应存储关系疑问

首先明确各术语的定义边界：

• primitive type（原始类型/基本类型）：属于语言类型系统的抽象定义，是对一类特征相同的原始值的归类，比如Java中的int、boolean，JavaScript中的number、string都属于原始类型范畴。
• primitive value（原始值）：是原始类型的具体实例，是运行时实际存在的数据，比如100、false、"test"都属于原始值。
• reference type（引用类型）：同样是类型系统层面的抽象定义，指所有需要通过地址引用访问的类型，比如Java中的自定义类、数组，JavaScript中的Object、Array都属于引用类型范畴。
• reference value（引用值）：本质是堆内存地址，指向引用类型的实际实例（即常说的对象本体）。

表述准确性判断 #

请问“primitive type存储primitive value”这一表述是否准确？

这个表述不够严谨，正确的逻辑关系是：声明为原始类型的变量，直接存储对应的原始值。
你已知的存储规则是通用的默认实现：原始值大小固定、占用空间低，所以会直接分配在调用栈中，变量持有的就是原始值本身，赋值操作会直接完成值的全量拷贝，不同原始类型变量的修改互不干扰。

引用类型与引用值的对应关系 #

不存在你提到的“反向关系”，二者的逻辑和原始类型侧完全统一：声明为引用类型的变量，存储的是对应引用类型实例的引用值（堆内存地址）。
引用类型的实例本体默认存储在堆内存中，变量持有的只是指向该实例的地址，赋值操作仅拷贝地址，不会拷贝对象本体，所以多个引用类型变量如果持有同一个地址，修改对象会在所有变量上可见。

可以参考下面的JavaScript示例直观理解差异：

// 原始类型赋值：拷贝值本身
let num1 = 1;
let num2 = num1;
num2 = 2;
console.log(num1); // 输出 1，两个变量互不影响

// 引用类型赋值：拷贝地址
let arr1 = [1, 2, 3];
let arr2 = arr1;
arr2.push(4);
console.log(arr1); // 输出 [1,2,3,4]，两个变量指向同一个堆中的数组

补充说明：你提到的“原始值存栈、引用对象存堆”是通用默认实现，部分语言的逃逸分析优化会将没有逃逸出方法的小对象直接分配在栈上，但这属于底层实现优化，不会影响上层类型与值的语义逻辑。

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