18.1.4 连锁推导法：为什么值类型不可以为null而引用类型可以为null呢？

连锁推导法：在一个证明过程中，或一个比较复杂的推理过程中，将前一个推理的结论作为后一个推理的前提，一步接一步地推导，直到把需要的结论推出来。 我们在前面的知识中了解到值类型存储在堆栈（Stack）中，而引用类型存储在托管堆（Heap）中，堆栈的工作方式是以先进后出原则先保证先分配内存的变量后释放，你可以想像的出，堆栈中的变量是从后向前释放，这样就保证了堆栈中先进后出的规则不与变量的生命周期起冲突。

>>阅读原文<<