【C语言】语义陷阱探秘(3)：作为参数的数组声明

目录

一、关键点

1.1. 数组名作为指针

1.2. 数组大小信息丢失

二、常见陷阱

2.1. 数组越界访问

2.1.1. 陷阱描述

2.1.2. 越界访问的后果

2.1.3. 如何避免

2.1.4. 改进后的代码示例

2.2. 修改原数组

2.2.1. 陷阱描述

2.2.2. 可能的副作用

2.2.3. 如何避免副作用

2.2.4. 改进后的代码示例

2.3. 指针与数组混淆

2.3.1. 陷阱描述

 2.3.2. 可能的副作用

2.3.3. 如何避免副作用

2.3.4. 改进后的代码示例

 2.4. 字符数组（字符串）的特殊情况

2.4.1. 陷阱描述

2.4.2. 可能的副作用

2.4.3. 如何避免副作用

2.4.4. 改进后的代码示例

 2.5. 多维数组

2.5.1. 陷阱描述

2.5.2. 可能的副作用

2.5.3. 如何避免副作用

2.5.4. 改进后的代码示例

2.6. 传递指针到指针（用于动态数组）

2.6.1. 陷阱描述

2.6.2. 可能的副作用

2.6.3. 如何避免副作用

2.6.41. 改进后的代码示例

三、总结

---

在C语言中，数组作为函数参数时，有一些常见的语义陷阱，这些陷阱可能导致代码的行为与预期不符。理解这些陷阱对于编写健壮的C程序至关重要。本篇整理关于作为参数的数组声明的一些关键点和陷阱。

一、关键点

数组作为函数参数时的两个关键点：数组名作为指针以及数组大小信息的丢失。

1.1. 数组名作为指针

在C语言中，当数组名作为函数参数时，它会被自动转换为指向数组第一个元素的指针。这意味着在函数内部，我们无法直接通过数组名来获取数组的大小（即元素的数量）。函数接收到的只是一个指向数组首元素的指针，而没有任何关于数组长度的信息。

例如，如果我们有一个函数：