类内数组是否会退化为指针？不同类传参方式的差异咨询

嘿，这个问题问到点子上了，刚好涉及到C++里数组退化和类成员存储的核心细节，我来给你掰扯清楚：

一、值传递类A实例时，A.array会不会退化为指针？ #

答案是不会。当你调用void f(A a)时，函数会创建一个传入对象的完整拷贝——类里的array成员是对象的一部分，会被完整复制到函数的局部对象a中，它的类型依然是int[5]，完全没有退化。

你可以用代码验证这一点：

#include <iostream>
using namespace std;

class A { public: int array[5]; };

void f(A a) {
    // 输出应该是20（假设int占4字节），而非指针的大小（比如8）
    cout << sizeof(a.array) << endl;
}

int main() {
    A obj;
    f(obj);
    return 0;
}

这里sizeof(a.array)计算的是整个数组的字节数，说明它还是完整的数组类型，没有变成指针。

二、传递类A的引用或指针时，类内array的差异 #

1. 传递引用：void f(A& a) #

• 这里的a是原对象的别名，没有任何拷贝操作，直接操作原对象的array成员。
• array的类型保持int[5]完整状态，你可以正常使用数组的所有特性：比如用sizeof(a.array)获取数组总字节数，用范围for循环遍历，或者直接用数组下标访问。
• 不存在数组退化的问题，因为引用绑定的是整个对象，成员数组的类型不会被隐式转换。

2. 传递指针：void f(A* a) #

• 你通过a->array访问原对象的成员数组，数组本身的类型依然是int[5]（比如sizeof(a->array)还是20），但要注意一个细节：当你把a->array作为表达式使用时（比如赋值给指针变量），它会退化成指向第一个元素的指针：

  void f(A* a) {
      int* p = a->array; // 这里a->array退化为int*
      cout << sizeof(a->array) << endl; // 还是20，因为sizeof操作的是数组类型
  }
  

• 和引用的核心差异：
  • 指针是间接访问，需要用->操作符，而引用直接用.；
  • 指针可以为空（你需要做空指针检查），但引用必须绑定到有效的对象，不能为null；
  • 两者都不会拷贝数组，都是操作原对象的成员。

总结一下 #

• 值传递：数组被完整拷贝，类型保持int[5]，无退化；
• 引用传递：直接操作原数组，类型完整，无拷贝，无退化；
• 指针传递：操作原数组，数组名在表达式中可能退化，但数组本身类型完整，无拷贝，支持空检查。

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