<p>数组作为函数形参时自动退化为指针，int a[10]、int a[] 和 int* a 语义完全等价，括号内尺寸被忽略，sizeof(a) 返回指针大小，真约束需用 std::array 或引用形式。</p>
![c++为什么函数形参写int a[10]和int a[]没区别](https://img.php.cn/upload/article/001/221/864/179005262024526.png)
函数参数里 int a[10] 和 int a[] 实际都是 int*
因为 C++（继承自 C）规定：**数组作为函数形参时，会自动退化为指向其首元素的指针**。无论你写 int a[10]、int a[100] 还是 int a[]，编译器看到的都只是 int*。括号里的数字完全被忽略，不参与类型检查，也不影响内存布局或运行行为。
-
void f(int a[10])和void f(int a[])声明完全等价，也等价于void f(int* a) - 调用时传
int x[5]、int y[20]或new int[100]都合法——只要类型匹配，编译器不会校验大小 -
sizeof(a)在函数体内永远是sizeof(int*)（通常是 4 或 8），不是sizeof(int) * 10
为什么编译器允许写 int a[10] 这种“假尺寸”
纯属历史兼容和文档意图：那个 10 不是约束，只是给程序员看的注释性提示。它不生成任何边界检查代码，也不影响 ABI 或调用约定。有些老代码或教学材料会这么写，暗示“我预期你传一个至少 10 元素的数组”，但这种暗示对编译器毫无意义。
- 如果你真靠
a[9]访问第 10 个元素，而实际只传了int b[5]，就是未定义行为（UB），程序可能崩溃、静默出错或看似正常 - 现代静态分析工具（如 clang-tidy）可能警告
array-parameter，但标准 C++ 编译器默认不报错 - 想真正约束大小？得用
std::array<int></int>或引用形式：void f(int (&a)[10])—— 这时尺寸才参与类型系统
int a[] 作为形参时，和 int* a 有区别吗
语法上不同，语义上完全相同。两者都表示“接收一个 int* 类型的指针”。唯一可见差异是可读性：int a[] 暗示“你传的是数组”，而 int* a 更直白地暴露底层机制。但反过来说，int* a 更容易让人意识到：它也能接指针运算结果（比如 &x + 1）、堆内存、甚至 nullptr。
- 所有三种写法：
int a[]、int a[10]、int* a，函数体内的a + i、a[i]、*(a + i)行为一致 - 没有隐式转换开销；它们在汇编层就是同一个寄存器/栈槽存一个地址值
- 若函数需知道长度，必须额外传参，例如：
void f(int a[], size_t n)
真正安全替代方案：什么时候该换掉这种写法
当你需要编译期尺寸检查、避免越界、或支持范围 for 循环时，int a[10] 形参就彻底失效了。此时应转向现代 C++ 的类型安全容器。
立即学习“C++免费学习笔记（深入）”；
- 固定大小且已知：用
std::array<int>&</int>（引用避免拷贝）或const std::array<int>&</int> - 大小运行时确定：用
std::vector<int>&</int>（注意非 const 引用可修改原容器） - 只读访问且不想绑定具体容器：用
std::span<const int></const>（C++20，轻量、无拷贝、带尺寸） - 跨 ABI 或 C 接口必须用裸指针？那就坚持配对传长度，并在函数开头加断言：
assert(n （但这仍是运行时检查）
真正容易被忽略的一点：很多人以为把形参写成 int a[10] 就能触发编译器对实参长度的检查，其实完全不能——这个数字连 token 都不算进类型系统，它只是个幻觉。
