数组作为函数形参时自动退化为指针，int a[10]、int a[] 和 int* a 语义完全等价，括号内尺寸被忽略，sizeof(a) 返回指针大小，真约束需用 std::array 或引用形式。

函数参数里 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。

C++ 算法竞赛自动化测试数据生成与校验框架

根据原题生成新题面、验证器及完整测试数据，自动套用 testlib 模板，用于用户要求生成测试数据时。

下载

• 所有三种写法：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++ 的类型安全容器。

• 固定大小且已知：用 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 都不算进类型系统，它只是个幻觉。

C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！