.jpg)
在c++++中，數(shù)組作為函數(shù)參數(shù)傳遞時(shí)會(huì)退化為指針，無法獲取大小并易引發(fā)越界訪問，可通過數(shù)組引用方式解決。1. 使用固定大小數(shù)組的引用作為參數(shù)，如void printArray(int (&arr)[5])，確保傳入數(shù)組大小一致，適用于固定大小場(chǎng)景；2. 使用模板推導(dǎo)數(shù)組大小，如template
在c++中，數(shù)組作為函數(shù)參數(shù)傳遞時(shí)，默認(rèn)會(huì)退化為指針，這會(huì)導(dǎo)致我們無法在函數(shù)內(nèi)部獲取數(shù)組的大小，也容易引發(fā)越界訪問等問題。如果你希望保留數(shù)組的維度信息，并實(shí)現(xiàn)真正的“引用傳遞”，就需要使用數(shù)組引用（array reference）的方式。
下面介紹幾種實(shí)用的方法，幫助你在函數(shù)參數(shù)中正確使用數(shù)組引用，避免數(shù)組退化。
使用固定大小數(shù)組的引用作為參數(shù)
如果你想讓函數(shù)接收一個(gè)特定大小的數(shù)組，可以將參數(shù)聲明為數(shù)組的引用。這種方式能確保傳入的數(shù)組大小與函數(shù)期望的一致。
立即學(xué)習(xí)“C++免費(fèi)學(xué)習(xí)筆記（深入）”；
void printArray(int (&arr)[5]) { for (int i = 0; i < 5; ++i) { std::cout << arr[i] << " "; } std::cout << std::endl; }
說明：
- int (&arr)[5] 表示對(duì)一個(gè)包含5個(gè)整數(shù)的數(shù)組的引用。
- 如果你試圖傳入一個(gè)大小不是5的數(shù)組，編譯器會(huì)報(bào)錯(cuò)。
- 這樣做的好處是保留了數(shù)組的大小信息，避免了退化成指針的問題。
適用場(chǎng)景：
- 你知道數(shù)組的大小是固定的。
- 希望在函數(shù)內(nèi)部安全地操作數(shù)組元素。
使用模板推導(dǎo)數(shù)組大小
如果你不想限制數(shù)組的大小，但又希望保留數(shù)組的信息，可以借助模板來自動(dòng)推導(dǎo)數(shù)組的大小：
template <size_t N> void printArray(int (&arr)[N]) { for (size_t i = 0; i < N; ++i) { std::cout << arr[i] << " "; } std::cout << std::endl; }
說明：
- 模板參數(shù) size_t N 會(huì)自動(dòng)匹配數(shù)組的實(shí)際大小。
- 這樣無論傳入的是5個(gè)元素還是10個(gè)元素的數(shù)組，函數(shù)都能處理。
- 同樣避免了數(shù)組退化為指針的問題。
建議：
- 在通用函數(shù)中優(yōu)先使用這種方式。
- 可以配合 std::extent 或 std::size() 來獲取數(shù)組長度。
避免數(shù)組退化的其他方式
除了上面兩種方法外，還可以考慮以下替代方案：
-
使用 std::array 或 std::vector：
C++標(biāo)準(zhǔn)庫提供的容器類天然支持引用傳遞，且不會(huì)丟失大小信息。例如：void printArray(const std::array<int, 5>& arr) { for (int val : arr) { std::cout << val << " "; } std::cout << std::endl; }- 更現(xiàn)代、更安全。
- 推薦用于新項(xiàng)目或需要?jiǎng)討B(tài)大小的情況（用 vector）。
-
手動(dòng)傳遞數(shù)組大小：
雖然這不是引用傳遞，但在傳統(tǒng)C風(fēng)格代碼中很常見：void printArray(int* arr, size_t size);
- 簡單直接，但失去了類型安全性。
- 需要調(diào)用者額外提供數(shù)組長度。
基本上就這些。數(shù)組引用傳遞的關(guān)鍵在于理解數(shù)組退化機(jī)制，并通過引用或模板技術(shù)繞過它。雖然寫法稍顯復(fù)雜，但能有效提升程序的安全性和可讀性。
.png)
