先看程式碼：

#include <cstdio>

void foo(int array[2])
{
    printf("int array[2]:\t\t%x %d\n", &array, sizeof(array));
}
void bar(int array[])
{
    printf("int array[]:\t\t%x %d\n", &array, sizeof(array));
}
void baz(int (&array)[2])
{
    printf("int (&array)[2]:\t%x %d\n", &array
 
, sizeof(array));
}

int main()
{
    int a[2] = {1, 2};
    printf("main::a[2]:\t\t%x %d\n", a, sizeof(a));
    foo(a);
    bar(a);
    baz(a);
    return 0;
}

輸出：

main::a[2]:             28feb8 8
int array[2]:           28fea0 4
int array[]:            28fea0 4
int (&array)[2]:        28feb8 8
 

解說：

foo和bar的傳值方式是相同的，都是一個int*, 即一個整型指標，這可以從foo和bar裡打印出的array地址和main中的不同和sizeof(array)僅為sizeof(int*)看出，只不過是外型有點兒區別。

編譯器是不知道你要傳遞的是一個數組或是單一一個整型的地址的，這是因為C中陣列的記憶體模型是連續儲存(它並不知道傳遞的(首)地址之後的空間可否訪問)。

所以寫為foo或bar的樣式僅僅是對人的一種暗示，暗示傳遞的是一個數組，括號裡的2編譯器是不會把他當回事兒的①。

採用foo中的樣式，程式碼編寫者在函式中獲知傳遞的陣列的大小，但這種暗示功能很弱，而且易使人產生誤解。

比如以上的函式foo，傳遞大小為1個元素的陣列(即單一一個整型的地址):

int x[1];
foo(x);

或傳遞一個大小為100的陣列:

int x[100];
foo(x);

編譯器都不會有任何抱怨，所以在程式碼工程量很大的時候，你無法保證陣列傳值的安全性，另外一個問題是如果你寫的是商業性質的庫，你無法保證客戶(二次開發者)能安全地使用你的程式碼。

採用bar中樣式，實質和foo相同，空括號給人的暗示就是它能接受的引數是一個數組，而且是一個長度不確定的一維整型陣列，這相對於foo來說更為實際和真實一些(因為foo可能造成欺騙性的程式碼，原因見上)。

所以這種傳陣列的方式被多數人所採用，但一般還需多加一個引數來指定陣列的大小，如：

void bar(int array[], int size);

或效仿STL的做法，傳遞陣列的首地址和超尾指標(在遍歷陣列元素時很方便，且更快速、安全):

void bar(int* beg, int* end);

至於baz，它不同於foo和bar。前面已經說過，foo和bar實質是相同的，傳的都是一個int*，且傳值方式都是按值傳遞(C中只有按值傳遞)。

而baz卻是按引用傳遞，傳遞的是一個”編譯器認可的，大小為2”②的陣列的引用。

foo和bar都可以改寫為:

void theFact(int* array);
或
void theFact(int* array, int size);

按照此邏輯是不是baz可改寫為這樣呢?

void baz2(int* const& array); // a其實是一個int* const型指標，所以要加上const作為修飾

答案是否定的，注意上面的②，只有在C++中，函式”按引用”傳遞陣列並”指定其大小時”，[]中的數字才有意義(對編譯器而言)。所以baz2 != baz：

int x[100];

baz(x); // 編譯錯誤
baz2(x); // 可以通過

要理解這和foo, bar的不同首先要理解C++中對引用的定義: 引用就是物件本身，不存在沒有引用物件的引用。所以在baz中，形參array就是實參main中的a，一切a所有的特性都是array的特性，所以sizeof(array) == sizeof(a)，而且&baz::array == main::a(地址相同)。

①: C99中允許使用static陣列引數修飾詞，如:

void foo(int x[static 10]); // x陣列至少含有10個連續元素

上句中的10此時並不是可有可無的，它是編譯器優化陣列訪問的一種暗示。