哪一部分在C++可執行文件中存儲全局常量變量？

Question

據我所知，在C/C++程序中，全局常量變量將存儲在可執行文件的.text（或.data - 我不知道）部分。但是當我嘗試驗證時，我遇到了麻煩。

我有一個程序，它有這樣一個全局常量變量：

const unsigned char data[2030320] = 
{ 
    0x00, 0x01, 0x00, 0x00, 0x00, 0x13, 0x01, 0x00, 0x00, 0x04, 0x00, 0x30, 0x42, 0x41, 0x53, 0x45, 
    0xda, 0xec, 0xe7, 0xed, 0x00, 0x00, 0x01, 0x3c, 0x00, 0x00, 0x00, 0xc6, 0x47, 0x44, 0x45, 0x46, 
    0x50, 0x4b, 0x6e, 0x76, 0x00, 0x00, 0x02, 0x04, 0x00, 0x00, 0x00, 0x4e, 0x47, 0x50, 0x4f, 0x53, 
    0x64, 0x0a, 0x6e, 0x00, 0x00, 0x00, 0x02, 0x54, 0x00, 0x00, 0x0a, 0xdc, 0x47, 0x53, 0x55, 0x42, 
    0x41, 0xfc, 0x50, 0x71, 0x00, 0x00, 0x0d, 0x30, 0x00, 0x00, 0x44, 0x16, 0x4c, 0x49, 0x4e, 0x4f, 
    0x96, 0xa8, 0xc8, 0xcc, 0x00, 0x00, 0x51, 0x48, 0x00, 0x00, 0x00, 0x12, 0x4f, 0x53, 0x2f, 0x32, 
    0x63, 0x8d, 0x51, 0xdd, 0x00, 0x00, 0x51, 0x5c, 0x00, 0x00, 0x00, 0x60, 0x63, 0x6d, 0x61, 0x70, 
    0xc7, 0xfa, 0x84, 0xe4, 0x00, 0x00, 0x51, 0xbc, 0x00, 0x00, 0x8c, 0xf2, 0x67, 0x61, 0x73, 0x70, 
    0x00, 0x00, 0x00, 0x10, 0x00, 0x00, 0xde, 0xb0, 0x00, 0x00, 0x00, 0x08, 0x67, 0x6c, 0x79, 0x66, 
    0x31, 0xb9, 0x1a, 0xce, 0x00, 0x00, 0xde, 0xb8, 0x00, 0x1b, 0x4e, 0x90, 0x68, 0x65, 0x61, 0x64, 
    0xfe, 0x4d, 0xbc, 0xcd, 0x00, 0x1c, 0x2d, 0x48, 0x00, 0x00, 0x00, 0x36, 0x68, 0x68, 0x65, 0x61, 
    0x07, 0x6b, 0x21, 0x2a, 0x00, 0x1c, 0x2d, 0x80, 0x00, 0x00, 0x00, 0x24, 0x68, 0x6d, 0x74, 0x78, 
    0x04, 0x8c, 0x39, 0x67, 0x00, 0x1c, 0x2d, 0xa4, 0x00, 0x00, 0x7b, 0xf4, 0x6c, 0x6f, 0x63, 0x61, 
    0x72, 0x06, 0x3f, 0xca, 0x00, 0x1c, 0xa9, 0x98, 0x00, 0x00, 0x7b, 0xf8, 0x6d, 0x61, 0x78, 0x70, 
    0x21, 0x89, 0x01, 0x63, 0x00, 0x1d, 0x25, 0x90, 0x00, 0x00, 0x00, 0x20, 0x6e, 0x61, 0x6d, 0x65, 
    0xc0, 0xe5, 0xda, 0x3d, 0x00, 0x1d, 0x25, 0xb0, 0x00, 0x00, 0x04, 0x3d, 0x70, 0x6f, 0x73, 0x74, 
    0x0a, 0xfb, 0xdd, 0xeb, 0x00, 0x1d, 0x29, 0xf0, 0x00, 0x01, 0x54, 0xe2, 0x70, 0x72, 0x65, 0x70, 
... 
}; 

但是，當使用DUMPBIN.EXE（在Windows上）在程序文件.exe文件檢查部分的大小。結果是一樣的結果，如果我刪除變種，它總是如下

4B1000 .data 
    1000 .idata 
    3000 .rdata 
    2000 .reloc 
    1000 .rsrc 
    4000 .text 
    10000 .textbss 

任何人都可以幫我解釋??

Answer 1

如果編譯器能證明它們從未被引用，它將很可能優化掉變量。不幸的是，編譯器每次只能看到一個翻譯單元（包含#include之後的源文件），因此編譯器禁止優化未使用的全局變量。 Linker掌握所有翻譯單元的知識，因此它可以（也將會）對未使用的全局變量進行優化。使用MSVC編譯

下面的代碼（/O2指定）：

const char a[1000000] = { 0 }; 

int main() 
{ 
    return 0; 
} 

創建以下PE文件：

File Type: EXECUTABLE IMAGE 

    Summary 

     1000 .data 
     1000 .gfids 
     1000 .rdata 
     1000 .reloc 
     1000 .rsrc 
     1000 .text 

如果全球被使用，那麼它會被存儲在.rdata段PE文件（注如果全局非常量，則將放置在.data段中，因爲.rdata是隻讀的）。例如：

const char a[1000000] = { 0 }; 

int main() 
{ 
    char c = a[1]; 
    return 0; 
} 

而且dumpbin輸出：

File Type: EXECUTABLE IMAGE 

    Summary 

     1000 .data 
     1000 .gfids 
     F5000 .rdata 
     1000 .reloc 
     1000 .rsrc 
     1000 .text 

然而，在下面的例子中a仍可優化出作爲c是未引用的局部變量。我發現的是，在MSVC /GS編譯器開關（這對於全程序優化和力量/LTCG，其延遲代碼生成，直到鏈路階段，因此所有的信息進行交叉文件優化是可用狀態）實際上防止這種優化。

沒有/LTCG和/GS它按預期進行了優化。添加/GS會禁用全局數據優化，必須通過添加/Gw來啓用它。