C語言的內存如何布局分析

 一、C語言程序的存儲區域
   
    由C語言代碼（文本文件）形成可執行程序（二進制文件），需要經過編譯-匯編-連接三個階段。編譯過程把C語言文本文件生成匯編程序，匯編過程把匯編程序形成二進制機器代碼，連接過程則將各個源文件生成的二進制機器代碼文件組合成一個文件。C語言編寫的程序經過編譯-連接后，將形成一個統一文件，它由幾個部分組成。在程序運行時又會產生其他幾個部分，各個部分代表了不同的存儲區域、
   
    1.未初始化數據段（BSS）
   
    未初始化數據是在程序中聲明，但是沒有初始化的變量，這些變量在程序運行之前不需要占用存儲器的空間。
   
    2.代碼段（Code或Text）
   
    代碼段由程序中執行的機器代碼組成。在C語言中，程序語句進行編譯后，形成機器代碼。在執行程序的過程中，CPU的程序計數器指向代碼段的每一條機器代碼，并由處理器依次運行。
   
    3.已初始化讀寫數據段（RW data）
   
    已初始化數據是在程序中聲明，并且具有初值的變量，這些變量需要占用存儲器的空間，在程序執行時它們需要位于可讀寫的內存區域內，并具有初值，以供程序運行時讀寫。
   
    4.只讀數據段（RO data）
   
    只讀數據段是程序使用的一些不會被更改的數據，使用這些數據的方式類似查表式的操作，由于這些變量不需要更改，因此只需要放置在只讀存儲器中即可。
   
    5.堆（heap）
   
    堆內存只在程序運行時出現，一般由程序員分配和釋放。在具有操作系統的情況下，如果程序沒有釋放，操作系統可能在程序（例如一個進程）結束后回收內存。
   
    6.棧（stack）
   
    棧內存只在程序運行時出現，在函數內部使用的變量、函數的參數以及返回值將使用棧空間，棧空間由編譯器自動分配和釋放。
   
    代碼段、只讀數據段、讀寫數據段、未初始化數據段屬于靜態區域，而堆和棧屬于動態區域。代碼段、只讀數據段和讀寫數據段將在鏈接之后產生，未初始化數據段將在程序初始化的時候開辟，而堆和棧將在程序的運行中分配和釋放。C語言程序分為映像和運行時兩種狀態。在編譯-連接后形成的映像中，將只包含代碼段（Text）、只讀數據段（RO Data）和讀寫數據段（RW Data）。在程序運行之前，將動態生成未初始化數據段（BSS），在程序的運行時還將動態形成堆（Heap）區域和棧（Stack）區域。一般來說，在靜態的映像文件中，各個部分稱之為節（Section），而在運行時的各個部分稱之為段（Segment）。如果不詳細區分，可以統稱為段。
   
    二、C語言程序的段
   
    1.代碼段（code或text）
   
    代碼段由各個函數產生，函數的每一個語句將最終經過編繹和匯編生成二進制機器代碼（具體生生哪種體系結構的機器代碼由編譯器決定）。
   
    2.只讀數據段（RO Data）
   
    只讀數據段由程序中所使用的數據產生，該部分數據的特點是在運行中不需要改變，因此編譯器會將該數據段放入只讀的部分中。C語言中的只讀全局變量，只讀局部變量，程序中使用的常量等會在編譯時被放入到只讀數據區。
   
    3.讀寫數據段（RW Data）
   
    讀寫數據段表示了在目標文件中一部分可以讀也可以寫的數據區，在某些場合它們又被稱為已初始化數據段，這部分數據段和代碼段，與只讀數據段一樣都屬于程序中的靜態區域，但具有可寫性的特點。通常已初始化的全局變量和局部靜態變量被放在了讀寫數據段，如、 在函數中定義static char b[ 100]={“ABCDEFG”};讀寫數據區的特點是必須在程序經過初始化，如果只定義，沒初始值，則不會生成讀寫數據區，而會定位為未初始化數據區（BSS）。如果全局變量（函數外部定義的變量）加入static修飾，這表示只能在文件內使用，而不能被其他文件使用。
   
    4. 未初始化數據段（BSS）
   
    與讀寫數據段類似，它也屬于靜態數據區，但是該段中的數據沒有經過初始化。因此它只會在目標文件中被標識，而不會真正稱為目標文件中的一段，該段將會在運行時產生。未初始化數據段只在運行的初始化階段才會產生，因此它的大小不會影響目標文件的大小。
   
    三、程序中段的使用
   
    下面用一個簡單的例子來說明C語言中變量和段的對應關系。C語言程序中的全局區（靜態區），實際對應著下述幾個段、RO Data; RW Data ; BSS Data.
   
    一般來說，直接定義的全局變量在未初始化數據區，如果該變量有初始化則是在已初始化數據區（RW Data），加上const則將放在只讀數據區。
   
    棧空間主要用于以下3數據的存儲、
   
    1.函數內部的動態變量
   
    2.函數的參數
   
    3.函數的返回值
   
    棧空間是動態開辟與回收的。在函數調用過程中，如果函數調用的層次比較多，所需要的棧空間也逐漸加大，對于參數的傳遞和返回值，如果使用較大的結構體，在使用的棧空間也會比較大。