飞翔的十号"值类型在栈上，引用类型在堆上。" 我刚入行的时候，把这句话背得滚瓜烂熟，面试官问起来完全不慌。直到有一次线上出了一个诡异 bug，我盯着代码怎么都想不通，最后发现罪魁祸首就是我对这句话的盲目信任。
那个 bug 长这样：函数 A 把一个配置对象传给了函数 B，函数 B 只是"稍微改了一下"里面的一个字段，结果函数 A 里的配置对象也跟着变了。我第一反应是函数 B 写错了，后来才反应过来，问题根本不在函数 B，而是这俩函数从头到尾拿的都是同一个对象。
这就引出了这篇文章核心想表达的观点：值类型和引用类型的本质区别，不在"栈还是堆"，而在于变量里存的是数据本身，还是数据的地址。栈和堆只是这两种语义运行到内存层面后，系统给它们安排的位置而已，而且这个位置说法本身还有一堆例外，简直防不胜防。
所以这篇内容我打算换个讲法，不带你再背一遍结论，而是把这两类类型最底层的行为差异、它们如何在参数传递、相等比较、复制对象、内存性能这些实际场景里影响你写的每一行代码，整个捋一遍。无论你是刚接触编程，还是已经在做全栈项目、天天和各种对象打交道，这篇内容应该都能让你对"自己写的代码到底在内存里发生了什么"有全新的理解。
1. 先别急着背栈和堆——两种类型的本质到底是什么
1.1 值类型：变量本身就是数据本体
有一杯奶茶，你把配方完整地抄了一份带走。以后原店的配方再怎么改，你手上的奶茶配方都不会受影响，因为它已经是独立于原店的另一份副本了。这就是值类型的行为模式。
所谓值类型，指的是变量里存的就是数据内容本身。在 C# 里是 struct、enum，在 Java 和 JavaScript 里是 int、double、boolean 这些原始类型，在 Go 里则是 int、float、bool、数组这些基本类型。值类型的变量在赋值、传参时，都会给对方一份完整的副本，两边从此各自独立，互不影响。
我要强调一个关键点：值类型最大的好处就是"没有共享"。你在一个函数里改局部变量，绝对不会影响另一个函数里的同名变量，也不会影响调用方的数据。这种确定性让程序好理解、好调试，但代价就是每次赋值或者传参，都要把整个数据拷贝一份，如果数据很大，拷贝带来的开销就很高。
在 C# 里可以非常直观地看到这一点：
csharp复制struct PointValue
{
public int X;
public int Y;
}
PointValue a = new PointValue { X = 1, Y = 2 };
PointValue b = a; // 这里发生了完整的逐字段拷贝
b.X = 99;
Console.WriteLine(a.X); // 输出 1，a 和 b 互不影响
这段代码里最值得留意的是 b = a 这一行。对值类型来说，它不是简单的"指针赋值"，而是把 a 的 X、Y 两个字段的内容分别复制到 b 里。所以之后你改 b.X，a 完全感知不到。
1.2 引用类型：变量只是数据的"门牌号"
与值类型相对，引用类型的变量里存的不是数据本体，而是数据所在的"地址"，也就是一个指向某块内存的引用。可以把它想象成门牌号：你并没有把整套房子复制给别人，只是告诉对方"我家住在幸福路 88 号"，对方拿着这个门牌号过去看的，还是原来那套房子。
C# 里的 class、数组、字符串、接口类型，Java 里的对象，JavaScript 里的对象、数组、函数，Go 里的 slice、map、channel，都属于引用类型。引用类型的赋值，本质上只是把门牌号抄了一份递给对方，房子还是同一间，住在里面的人换谁来看都是同一批。
csharp复制class PointRef
{
public int X;
public int Y;
}
PointRef a = new PointRef { X = 1, Y = 2 };
PointRef b = a; // 这里只是把引用地址拷贝了一份
b.X = 99;
Console.WriteLine(a.X); // 输出 99，因为 a 和 b 指向同一个对象
这段代码和上一段结构几乎一模一样，只差在 PointRef 是 class、PointValue 是 struct，但执行结果完全不同。a 和 b 指向的是同一个堆上的对象，你通过 b 修改 X，a 看到的 X 也变了。这就是值类型和引用类型最让人犯迷糊、也最容易踩坑的地方。
这里有个细节值得说清楚：当我们说"引用类型的变量"时，变量本身（即那个存门牌号的格子）可能放在栈上，但它指向的数据本尊在堆里。可"可能"两个字又引出一堆例外，这正印证了标题那句"别再只背栈和堆"。
1.3 栈和堆到底在其中扮演什么角色
栈和堆都是内存区域，但用途完全不同。栈（Call Stack）是每个线程私有的，函数调用时往里压栈帧（Stack Frame），函数返回时弹栈。局部变量、函数参数这些生命周期跟函数存在期绑定的东西，天然适合放栈上。栈的分配和释放极其简单：压栈就是移动一下栈顶指针，弹栈也是移动一下指针，速度极快，而且不需要垃圾回收。
堆（Heap）则是所有线程共享的大仓库，动态分配的对象在这里安家。它的特点是生命周期不固定，可以活得很久，也可以随时被回收（GC），但分配和回收都比栈要慢，对象越多，GC 压力越大。
问题是，值类型一定在栈上、引用类型一定在堆上吗？答案是：不一定。一个 class 里的 int 字段，它明明是值类型，但作为对象的一部分，存在堆里；一个被闭包捕获的局部变量，也可能被编译器搬到堆上；JIT 做逃逸分析时，如果发现某个对象没有逃逸出方法，还可能把它拆成若干字段放到栈上，这就是 Java 里的标量替换。所以"值类型在栈、引用类型在堆"这个说法只是面向初学者的简化模型，往深了走，它站不住脚。
真正稳妥的表述是：值类型具有"值语义"，赋值传参时拷贝数据；引用类型具有"引用语义"，赋值传参时拷贝地址。至于数据最后落在栈上还是堆上，是编译器、运行时共同决定的结果，而不是定义这两类类型的根本依据。
另外我也顺便提醒一下：内存里的栈（call stack）和数据结构里说的"栈"（LIFO 容器）是两个不同的概念，内存里的堆（GC 管理的内存区域）和数据结构里说的"堆"