常見的問題：信任類型不安全連接

Question

我用陣列，其中一個例子被給出爲以下時閱讀本鏈路How do I use arrays in C++?，部分5常見的問題：

// [numbers.cpp] 
int numbers[42] = {1, 2, 3, 4, 5, 6, 7, 8, 9}; 

// [main.cpp] 
extern int* numbers; 
int main() 
{} 

由於「數字」 numbers.cpp是數組的名稱，它通常可以衰減到一個指針等於'&數字[0]'，我期望在main.cpp值'數字'仍然是'&數字[0]'。但不是！而是'數字[0]'，即'1'。

或比方說，我是編譯器，在「numbers.cpp」，我看到的符號「數字」作爲地址指向「1」，這是爲什麼同樣的符號變更爲值1' 'main.cpp中'？

我明白這就是作者所說的「類型不安全鏈接」。但我不知道爲什麼編譯器 這樣做，即使編譯器只是提出一個類型不匹配的鏈接錯誤對我更有意義。

有人可以幫忙解釋一下嗎？

感謝，

評論：

我想我的理解是，編譯見下文等同，使連接成功，否則將有 '無法解析的外部' 錯誤：

// [numbers.cpp] 
int tmp[42] = {1, 2, 3, 4, 5, 6, 7, 8, 9}; //{1,..9} starts at global address 0x1234 
int *numbers = &tmp[0];     //numbers == 0x1234 

// [main.cpp] 
extern int* numbers;      //numbers == 0x1234 
int main() 
{} 

的真實情況

// [numbers.cpp] 
int numbers[42] = {1, 2, 3, 4, 5, 6, 7, 8, 9}; //{1,..9} starts at global address 0x1234 

// [main.cpp] 
extern int* numbers;      //numbers == numbers[0] == 1 
int main() 
{} 

Answer 1

是否說明的以下方式，幫助：

當a是陣列（即，當編譯器知道的a類型是陣列類型），則語法a[i]被解釋爲：返回第i個數組的元素。

在另一方面，當a是一個指針（到數組的第一元素），則相同的語法，a[i]，將被解釋爲：查找存儲在a地址，添加的字節數對應到i元素，並返回存儲在那裏的值。

在main.cpp，它認爲numbers是一個指針^（*）並應用相應的操作。也就是說，它查找存儲在numbers中的值，將其視爲地址，添加一定數量的字節並返回存儲在該地址的值。

^（*）這樣做是因爲numbers被聲明爲指針。編譯器不知道它確實是一個數組，因爲main.cpp與numbers.cpp分開編譯（即它是一個單獨的翻譯單元）。所以它不會將數組衰減爲一個指針–它只是假設它已經是指針了。

Answer 2

如果數字是一個數組，例如。數字[]，那麼你不能改變它指向的內容。目標文件將符號「數字」映射到實際數組{1，2，...}但如果數字是一個指針，例如。 *數字，那麼你可以改變它指向的內容，而目標文件會將符號「數字」映射到單個指針值（它本身可能指向數組的開始，但我們不知道）。

數組和指針的行爲相似，但不是同一回事。

Answer 3

在C++中，典型的答案是「使用容器」。對於類似數組的容器，std :: vector通常是你想要的。如果你想獲得最大性能，std :: valarray可能是一個更好的選擇（當然，如果你像使用gslice一樣使用它，那麼性能就是如此）。

更好的文章是「我什麼時候會用C風格的數組」。答：幾乎從不，除非你必須連接到其他軟件。