GCC編譯

預處理->編譯->彙編->鏈接

預處理：頭⽂件包含、巨集替換、條件編譯、刪除註釋...
編譯：主要進⾏詞法、語法、語義分析等，檢查⽆誤後將預處理好的⽂件編譯成彙編⽂件...
彙編：將彙編⽂件轉換成 ⼆進位⽬標⽂件...
鏈接：將項⽬中的各個⼆進位⽂件+所需的庫+啟動代碼鏈接成可執⾏⽂件...

記憶體佈局

當我們運行程式時，可載入到 RAM 中。如下是一個記憶體佈局圖。

示例代碼

#include <stdio.h>
#include <stdlib.h>

#include "utils.h"

/* memory layout test */
/* #define STR(s) #s */
static int u_s_g_var_a; /* 未初始化靜態全局變數a 存放在bss段 */
static int i_s_g_var_b = 10; /* 已初始化靜態全局變數b 存在在data段 */

static int *u_s_g_var_p;
static int *i_s_g_val_p = &u_s_g_var_a;

int u_g_var_c; /* 未初始化全局變數c */
int i_g_var_d = 10; /* 已初始化全局變數d */

const int u_g_c_var_e; /* const 修飾未初始化全局常量 */
const int i_g_c_var_f = 10; /* const 修飾初始化全局常量 */

void func_test(void)
{
    printf("func\n");
}

int test_memory_layout(void)
{
    int l_var_a;
    int l_var_b = 10;
    int *l_var_c = NULL;
    int *l_var_d = NULL;
    static int u_s_l_var_e;
    static int i_s_l_var_f = 10;
    const int u_l_c_var_g;
    const int i_l_c_var_h = 10;
    char *l_var_s = "Hello World";
    char l_var_arr[] = "Hello World";
    const int *l_p_a =  &l_var_a;   /* 常量指針 */
    int * const l_p_b = &l_var_b;       /* 指針常量 */
    const int * const l_p_c =  &i_l_c_var_h;    /* 指向常量的常指針 */
    int *l_var_aa = (int *)alloca(sizeof(int) * 4); /* 從棧分配記憶體 */
		static int *i_s_l_var_p = &u_g_var_c;

    printf("-----------------------------------------------------\n");
    printf("棧區\n");
    printf("%s\t\t%p\n", STR(l_var_aa), l_var_aa);
    printf("%s\t\t\t%p\n", STR(l_var_a), &l_var_a);
    printf("%s\t\t\t%p\n", STR(l_var_b), &l_var_b);
    printf("%s\t\t%p\n", STR(&l_var_c), &l_var_c);
    printf("%s\t\t%p\n", STR(&l_var_d), &l_var_d);
    printf("%s\t\t%p\n", STR(u_l_c_var_g), &u_l_c_var_g);
    printf("%s\t\t%p\n", STR(i_l_c_var_h), &i_l_c_var_h);
    printf("%s\t\t%p\n", STR(&l_var_s), &l_var_s);
    printf("%s\t\t\t%p\n", STR(&l_p_a), &l_p_a);
    printf("%s\t\t\t%p\n", STR(&l_p_b), &l_p_b);
    printf("%s\t\t\t%p\n", STR(&l_p_c), &l_p_c);
    printf("%s\t\t%p\n", STR(l_var_arr), l_var_arr);


    l_var_c = (int *)malloc(sizeof(int) * 4);
    l_var_d = (int *)malloc(sizeof(int) * 4);
    printf("-----------------------------------------------------\n");
    printf("堆區\n");
    printf("%s\t\t\t%p\n", STR(l_var_c), l_var_c);
    printf("%s\t\t\t%p\n", STR(l_var_d), l_var_d);

    printf("-----------------------------------------------------\n");
    printf("bss區\n");
    printf("%s\t\t%p\n", STR(u_s_g_var_a), &u_s_g_var_a);
    printf("%s\t\t%p\n", STR(u_g_var_c), &u_g_var_c);
    printf("%s\t\t%p\n", STR(u_s_l_var_e), &u_s_l_var_e);
    printf("%s\t\t%p\n", STR(u_g_c_var_e), &u_g_c_var_e);
    printf("%s\t\t%p\n", STR(&i_s_l_var_p), &i_s_l_var_p);
    printf("%s\t\t%p\n", STR(&u_s_g_var_p), &u_s_g_var_p);
    printf("%s\t\t%p\n", STR(&i_s_g_val_p), &i_s_g_val_p);

    printf("-----------------------------------------------------\n");
    printf("data區\n");
    printf("%s\t\t%p\n", STR(i_s_g_var_b), &i_s_g_var_b);
    printf("%s\t\t%p\n", STR(i_g_var_d), &i_g_var_d);
    printf("%s\t\t%p\n", STR(i_s_l_var_f), &i_s_l_var_f);

    printf("-----------------------------------------------------\n");
    printf("text區\n");
    printf("常量\n");
    printf("%s\t\t%p\n", STR(i_g_c_var_f), &i_g_c_var_f);
    printf("%s\t\t\t%p\n", STR(l_var_s), l_var_s);

    printf("代碼\n");
    printf("%s\t%p\n", STR(memory_layout_test), memory_layout_test);
    printf("%s\t\t%p\n", STR(func_test), func_test);

    free(l_var_c);
    l_var_c = NULL;
    free(l_var_d);
    l_var_d = NULL;
    return 0;
}

void main_test(void)
{
    printf("TEST ENTRY\n");
    printf("GNU libc version: %s\n", gnu_get_libc_version());
    memory_layout_test();
}

運行結果：

-----------------------------------------------------
棧區
l_var_aa                0xffcc5760
l_var_a                 0xffcc5784
l_var_b                 0xffcc5788
&l_var_c                0xffcc578c
&l_var_d                0xffcc5790
u_l_c_var_g             0xffcc5794
i_l_c_var_h             0xffcc5798
&l_var_s                0xffcc579c
&l_p_a                  0xffcc57a0
&l_p_b                  0xffcc57a4
&l_p_c                  0xffcc57a8
l_var_arr               0xffcc57b0
-----------------------------------------------------
堆區
l_var_c                 0x57f895b0
l_var_d                 0x57f895d0
-----------------------------------------------------
bss區
u_s_g_var_a             0x565d0050
u_g_var_c               0x565d004c
u_s_l_var_e             0x565d0058
u_g_c_var_e             0x565cca08
i_s_l_var_p             0x565d004c
&i_s_l_var_p            0x565d001c
&u_s_g_var_p            0x565d0054
&i_s_g_val_p            0x565d0018
-----------------------------------------------------
data區
i_s_g_var_b             0x565d000c
i_g_var_d               0x565d0010
i_s_l_var_f             0x565d0014
-----------------------------------------------------
text區
常量
i_g_c_var_f             0x565cca0c
l_var_s                 0x565cca15
代碼
test_memory_layout      0x565c9b5e
func_test               0x565c9b33

參考鏈接：

https://en.wikipedia.org/wiki/Data_segment

https://en.wikipedia.org/wiki/Memory_segmentation

https://medium.com/@vikasv210/memory-layout-in-c-fe4dffdaeed6

https://github.com/gatieme/AderXCoding/tree/master/language/c/memory_layout