C++中数组传入函数退化为指针后为什么占8字节？

• 你的核心认知（数组传入函数会退化为指针）是完全正确的，出现和预期不符的结果，是你对指针大小的前提假设错了
• 指针的大小和指向的类型无关，只和程序运行的架构有关：32位程序的指针固定占4字节，64位程序的指针固定占8字节
• 你当前运行的是64位程序，所以得到的结果符合以下计算逻辑：
  1. 退化为指针后的a大小为8字节，对应sizeof(a)输出8
  2. a[0]是int类型，常见系统下int固定占4字节，对应sizeof(a[0])输出4
  3. 二者相除结果为8 / 4 = 2，和你实际运行结果一致

如果你把程序编译为32位版本运行，就会得到你预期的输出1，对应sizeof(a)的值为4。

如果需要在函数内正确获取数组长度，可以用模板参数推导避免数组退化，示例如下：

template<typename T, size_t N>
void size_print(T (&a)[N]) {
    // N就是编译期推导得到的数组元素个数，你传入3个元素的数组这里N就是3
    cout << N << endl;
    cout << "数组总大小：" << sizeof(a) << endl;
    cout << "单个元素大小：" << sizeof(a[0]) << endl;
}

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