函式由函式名以及一組運算元型別唯一的表示。函式的運算元，也即形參（parameter），在一對圓括號中宣告，形參與形參之間以逗號分隔。

void swap(int a, int b)
{
   int temp = a;
   a = b;
   b = temp;
}

int i = 1;
int j = 2;
swap(i, j);

1 引數傳遞

每次函式呼叫時，都會重新建立該函式的所有形參，此時所傳遞的實參將會初始化對應的形參。

1.1 非引用形參

普通的非引用型別的引數通過複製對應的實參實現初始化。當用實參副本初始化形參時，函式並沒有訪問呼叫所傳遞的實參本身，因此不會改變實參值。

從圖1中可以看出，swap()函式交換的是實參i和j的副本，而不是i和j的本身。

1.2 引用形參

引用形參直接關聯到其繫結的物件，而並非這些物件的副本。每次呼叫函式時，引用形參被建立並與相應實參關聯。如果將swap()函式的引數修改為引用形參

void swap(int& a, int& b)
{
   int temp = a;
   a = b;
   b = temp;
}

從圖2中可以看到，swap()函式交換的是實參i和j的本身。

2 陣列形參

當要使用陣列作為函式形參時，因為一個數組不能使用另外一個數組初始化，也不能將一個數組賦值給另外一個數組，而在

那麼，如果一個函式需要陣列作為其引數，這個函式該如何定義呢？

2.1 引數為陣列的函式

例如一個函式的作用是找出陣列中的最大數，陣列為該函式的引數，則可以用如下三種方式定義該函式：

int FindMax(int* array);
int FindMax(int array[]);
int FindMax(int array[10]);

呼叫該函式時，直接將陣列名稱作為實參即可。

int array_my[5] = {1, 2, 3, 4, 5};
int array_maxvalue = FindMax(array_my);

2.2 引數為陣列引用的函式

如果函式的形參時陣列的引用，則編譯器不會把陣列實參轉換為指標，而是傳遞陣列的引用本身。

其定義方式為

int FindMax(int(&array)[5]);

需要注意的時，呼叫引數為陣列引用的函式時，編譯器檢查實參的大小與形參的大小是否匹配。

當

int FindMax(int(&array)[5]);

int array_my[3] = {1, 2, 3};
int array_maxvalue = FindMax(array_my);

int FindMax(int array[10]);

int array_my[3] = {1, 2, 3};
int array_maxvalue = FindMax(array_my);