一、一個例子引發的思考

  執行以下程式碼，請問輸出是什麼？例子來源於《劍指Offer》，我對書上例子做了修改，讓其可以執行。

#include<iostream>
using namespace std;

int GetSize(int data[]) {
    return sizeof(data);
}
int main() {
    int data1[] = {1,2,3,4,5};
    int size1 = sizeof(data1);

    int *data2 = data1;
    int size2 = sizeof(data2);

    int
 
 size3 = GetSize(data1);

    cout<<size1<<" "<<size2<<" "<<size3<<endl;
    return 0;
}

執行結果如下：

  data1是一個數組，sizeof(data1)是求陣列的大小。這個陣列包含5個整數，每個整數佔4個位元組，因為總共是20個位元組。data2宣告為指標，儘管它指向了陣列data1，對認真指標求sizeof，得到的結果都是4。在C/C++中，當陣列作為函式的引數進行傳遞時，陣列就自動退化為同類型的指標。因此儘管函式GetSize的引數data被宣告為陣列，但它會退化為指標，size3的結果仍然是4.

二、陣列的兩個特殊性質

(1)不允許拷貝和賦值

  不能將陣列的內容拷貝給其他陣列作為其初始值，也不能用陣列為其他陣列賦值。

int a[] = {0,1,2};    // 含有三個整數的陣列
int s2 = a;           // 錯誤：不允許使用一個數組初始化另一個數組
a2 = a;               // 錯誤：不能把一個數組直接賦值給另一個數組

(2)使用陣列是通常將其轉化成指標

  在C++語言中，指標和陣列有非常緊密的聯絡。使用陣列的時候編譯器一般會把它轉換成指標。

  通常情況下，使用取地址符來獲取指向某個物件的指標，取地址符也可以用於任何物件。陣列的元素也是物件，對陣列使用下標運算子得到該陣列指定位置的元素。因此像其他物件一樣，對陣列的元素使用取地址符就能的搭配指向該元素的指標：

string nums[] = {"one", "two", "three"};  // 陣列元素是string物件
string *p = &nums[0];                     // p指向nums的第一個元素

  然而，陣列還有一個特性：在很多用到陣列名字的地方，編譯器都會自動地將其替換為一個指向陣列首元素的指標：

string *p2 = nums;                        // 等價於p2 = &nums[0]

  在大多數表示式中，使用陣列型別的物件其實是使用一個指向該陣列首元素的指標。

三、陣列形參

  陣列的兩個特殊性質對我們定義和使用作用在陣列上的函式有影響。因為不能拷貝陣列，所以我們無法以值傳遞的方式使用陣列引數。因為陣列會被轉換成指標，所以當我們為函式傳遞一個數組時，實際上傳遞的是指向陣列首元素的指標。
  儘管不能以值傳遞的方式傳毒陣列，但是我們可以把形參寫成類似陣列的形式：

//儘管形式不同，但這三個print函式是等價的
//每個函式都有一個const int*型別的形參
void print(const int*);
void print(const int[]);
//這裡的維度表示我們期望陣列含有多少元素，實際不一定
void print(const int[10]); 

  儘管表現形式不同，但上面的三個函式是等價的：每個函式的唯一形式都是const int*型別的。當編譯器處理對print函式的呼叫時，只檢查傳入的引數是否是const int*型別：

int i=0,j[2] = {0,1};
print(&i）;               //正確：&i的型別是int*
print(j);                 //正確：j轉船成int* 並指向j[0]

  如果我們傳給print函式的是一個數組，則實參自動地轉換成指向陣列首元素的指標，陣列的大小對函式的呼叫沒有影響。

  和其他使用陣列的程式碼一樣，以陣列作為形參的函式也必須確保使用陣列時不會越界。