C语言中间接层级与内存访问不匹配的疑问及引用概念解惑

一、指针表达式的差异分析 #

先明确代码中各变量的类型：

• int* (*arr)[5]: 这是一个指向包含5个int*元素的数组的指针。
• arr_l2是int*[5]类型的数组，元素是n数组元素的地址。
• arr = &arr_l2: 让arr指向arr_l2数组的首地址。

第一个printf：*((*arr)[2]) #

拆解表达式优先级与含义：

1. (*arr): 解引用arr，得到arr_l2数组本身。数组参与下标运算[2]时，直接按数组规则访问第3个元素（下标从0开始），即arr_l2[2]，它的值是&n[2]（n[2]的地址）。
2. 外层的*: 解引用&n[2]，得到n[2]的值2，所以最终输出2。

第二个printf：*((*arr)+2) #

这里的关键是数组的隐式类型转换：

1. (*arr)是arr_l2数组，但在参与+2算术运算时，数组会隐式退化为指向其第一个元素的指针，类型变为int**（因为数组元素是int*）。
2. (*arr)+2: 指针算术的步长是sizeof(int*)，所以这个表达式等价于&arr_l2[2]（指向arr_l2第3个元素的地址）。
3. 外层的*: 解引用&arr_l2[2]，得到arr_l2[2]的值&n[2]（这是一个内存地址），所以用%p格式输出的就是这个地址，而非n[2]的值。

你直觉上的误区在于：把(*arr)当成了指向n元素的指针，但实际上它退化成了指向arr_l2元素的指针（int**），所以*((*arr)+2)等价于arr_l2[2]（一个int*类型的指针），而非n[2]的值。要得到2，需要再多加一层解引用：**((*arr)+2)，这样就和第一个printf的结果一致了。

二、指针与引用的本质区别 #

你的教授说“指针与引用相同”，应该是指底层实现可能类似（部分编译器用指针实现引用），但语法和语义上二者完全不同：

• 引用是变量的别名，声明时必须绑定一个已存在的变量，且绑定后无法再指向其他变量；指针是独立的变量，存储另一个变量的地址，可以随时修改指向。
• 使用方式不同：引用无需解引用，直接使用就等同于操作原变量；指针必须通过*解引用才能访问指向的变量，用->访问结构体/联合体成员。
• 空值限制：引用不能为空，必须始终绑定有效变量；指针可以为空（NULL），表示不指向任何变量。
• 函数参数传递：引用传递在语法上更简洁，调用时无需加&，函数内部直接使用引用即可操作原变量；指针传递需要显式传递变量地址（调用时加&），函数内部必须解引用指针才能访问原变量。

举个简单例子对比：

// 指针传递
void modify_ptr(int* p) {
    *p = 10; // 必须解引用
}

// 引用传递
void modify_ref(int& r) {
    r = 10; // 直接使用，无需解引用
}

int main() {
    int a = 5;
    modify_ptr(&a); // 传地址
    modify_ref(a);  // 直接传变量
    return 0;
}

内容的提问来源于stack exchange，提问作者user20332975