18.1.4 連鎖推導法：爲什麼值類型不可以爲null而引用類型可以爲null呢？

連鎖推導法：在一個證明過程中，或一個比較複雜的推理過程中，將前一個推理的結論作爲後一個推理的前提，一步接一步地推導，直到把需要的結論推出來。 我們在前面的知識中瞭解到值類型存儲在堆棧（Stack）中，而引用類型存儲在託管堆（Heap）中，堆棧的工作方式是以先進後出原則先保證先分配內存的變量後釋放，你可以想像的出，堆棧中的變量是從後向前釋放，這樣就保證了堆棧中先進後出的規則不與變量的生命週期起衝突。

>>阅读原文<<