C语言数组参数传递原理与嵌入式开发实践

1. C语言数组参数传递的本质解析

在嵌入式开发领域，数组参数传递是每个工程师必须掌握的底层技能。我曾在STM32项目中因为对这个概念理解不透彻，导致花费整整两天调试一个诡异的硬件异常。让我们从底层机制开始，彻底理解这个看似简单却暗藏玄机的特性。

1.1 数组名与指针的等价性

在C语言中，数组名在大多数情况下会自动转换为指向数组首元素的指针。这个特性可以追溯到C语言的早期设计，目的是为了高效地处理内存操作。例如：

c复制uint8_t sensor_data[4] = {0xA1, 0xB2, 0xC3, 0xD4};
// 以下两种写法完全等价
uint8_t *ptr1 = sensor_data;
uint8_t *ptr2 = &sensor_data[0];

关键理解：数组名作为右值时（即在表达式中被使用时），它代表的是数组首元素的地址，而不是整个数组。这是理解数组参数传递的基础。

1.2 sizeof运算符的特殊行为

数组名在sizeof运算时表现特殊，这是判断当前上下文是否发生"数组退化为指针"的重要标志：

c复制void check_size(uint8_t arr[4]) {
    printf("函数内sizeof(arr): %d\n", sizeof(arr));  // 输出指针大小（如4或8）
}

int main() {
    uint8_t data[4] = {0};
    printf("main中sizeof(data): %d\n", sizeof(data));  // 输出数组总大小4
    check_size(data);
    return 0;
}

这个差异正是理解数组参数传递的关键——函数参数中的数组声明实际上是指针声明。

2. 三种参数写法的深度对比

2.1 带数组大小的形式

c复制void process_buffer(uint8_t buf[256]) {
    // 函数实现
}

工程实践建议：

• 虽然编译器会忽略中括号内的数字，但这种写法具有极好的文档价值
• 在嵌入式开发中，当硬件寄存器需要特定大小的数据块时，这种写法能明确表达接口要求
• 配合静态断言可增加安全性：

c复制#define BUFFER_SIZE 256
void process_buffer(uint8_t buf[BUFFER_SIZE]) {
    static_assert(sizeof(buf) == sizeof(uint8_t*), "数组已退化为指针");
}

2.2 带空括号的形式

c复制void uart_send_data(uint8_t data[], uint32_t length) {
    // 函数实现
}

实际项目经验：

• 这种写法明确告诉调用者需要传递数组，但大小不固定
• 在通信协议处理中特别常见，如UART、SPI数据传输
• 必须配合长度参数使用，否则极易引发缓冲区溢出

我曾在一个LoRa模块驱动中，因为没有检查长度参数导致内存越界，系统随机崩溃。教训是：永远不要相信传入的数组长度！

2.3 指针形式

c复制void flash_write_page(uint32_t *page_data, uint16_t word_count) {
    // 函数实现
}

底层开发要点：

• 最接近机器本质的写法
• 在需要直接操作内存的场合（如Flash编程、DMA配置）必须使用
• 可以清晰地表达参数是否允许修改：

c复制// const指针表示数据只读
void display_lcd(const uint16_t *pixels, uint32_t count);

3. 嵌入式开发中的实战应用

3.1 寄存器配置的三种写法对比

在STM32 HAL库开发中，我们经常需要配置外设寄存器组。以下是三种等效写法：

c复制// 写法1：带大小
void config_tim_registers(TIM_TypeDef regs[1]) {
    regs->CR1 |= TIM_CR1_CEN;
}

// 写法2：空括号
void config_tim_registers(TIM_TypeDef regs[]) {
    regs->CR1 |= TIM_CR1_CEN;
}

// 写法3：指针
void config_tim_registers(TIM_TypeDef *regs) {
    regs->CR1 |= TIM_CR1_CEN;
}

硬件工程师提示：

• 在STM32中，外设寄存器通常通过指针访问
• 写法3是HAL库实际采用的方式，因为它最直接表达了对内存映射寄存器的操作
• 写法1和2在语义上更符合"配置一组寄存器"的抽象概念

3.2 DMA传输的典型应用

c复制// 最佳实践：使用指针形式+const修饰
void dma_transfer(const uint8_t *src, uint8_t *dest, uint32_t size) {
    DMA1_Channel1->CMAR = (uint32_t)src;
    DMA1_Channel1->CPAR = (uint32_t)dest;
    DMA1_Channel1->CNDTR = size;
    DMA1_Channel1->CCR |= DMA_CCR_EN;
}

调试经验分享：

• 我曾遇到DMA传输异常，最终发现是因为没有正确使用volatile限定符
• 在DMA操作中，源和目标指针都应考虑加上volatile