線程棧大小為1KB，復(fù)制2KB數(shù)據(jù)卻不溢出，為什么？

線程棧與堆內(nèi)存：解開 1KB 棧復(fù)制 2KB 數(shù)據(jù)的謎團(tuán)

多線程編程中，內(nèi)存管理常常令人困惑。本文將解釋一個(gè)常見疑問：為什么設(shè)置線程棧大小為 1KB 后，復(fù)制 2KB 數(shù)據(jù)卻不會(huì)發(fā)生棧溢出？

問題描述中，線程棧大小設(shè)定為 1KB，但實(shí)際復(fù)制的數(shù)據(jù)量為 2KB，這似乎矛盾。然而，程序并未崩潰，原因在于對(duì)內(nèi)存分配機(jī)制的理解偏差。

關(guān)鍵在于：對(duì)象和數(shù)組的創(chuàng)建通常在堆內(nèi)存中分配，而基本數(shù)據(jù)類型的局部變量則分配在棧內(nèi)存中。 線程棧大小限制的是棧內(nèi)存，用于存儲(chǔ)局部變量、函數(shù)參數(shù)、返回地址等。 如果 2KB 數(shù)據(jù)是通過 new 或 malloc 等方式動(dòng)態(tài)分配的，則位于堆內(nèi)存，不受 1KB 棧大小限制。只有當(dāng) 2KB 數(shù)據(jù)作為大型局部變量數(shù)組直接存儲(chǔ)在棧中時(shí)，才會(huì)導(dǎo)致棧溢出。

因此，只要復(fù)制的 2KB 數(shù)據(jù)分配在堆內(nèi)存，就不會(huì)與 1KB 的棧大小沖突，也就不會(huì)發(fā)生內(nèi)存溢出。 需要注意的是，即使是局部變量，大量的遞歸調(diào)用也可能耗盡棧空間，引發(fā)棧溢出。