VLA类型参数与普通指针：一维数组传参是否存在优势？

第二个原型相比第一个的优势 #

• 语义清晰，可读性更强：func2的原型直接表明data是一个长度为size的一维数组，相比func1里模糊的指针参数，能直观传递参数的用途和约束，降低代码理解成本。
• 调用时的匹配检查更严格：如果调用func2时传入的是静态大小的数组（比如uint8_t arr[5];），但指定的size和数组实际长度不符（例如func2(10, arr);），编译器可以检测到这种不匹配并发出警告；而func1中传入指针和任意size时，编译器不会做这类关联检查。
• 数组操作语义更一致：在函数内部使用data[i]下标语法时，VLA参数的写法更贴合“数组操作”的语义，而非指针间接访问，让代码逻辑更直观。

编译器警告情况 #

是的，使用第二个原型时编译器更可能发出有价值的警告：

• 当传入的静态数组大小与指定的size参数不匹配时，开启-Wall或-Warray-bounds选项的GCC等编译器，会触发警告提示数组长度不足以覆盖指定的size。
• 在函数内部出现data[size]这类明显越界的访问时，编译器可以借助size参数的关联信息，识别出越界行为并发出警告；而func1中，编译器无法关联指针和size参数，这类越界很难被检测到。

需要注意的是，从底层实现来看，func2中的data[size]最终会退化为const uint8_t *类型的指针，和func1的data本质一致——VLA写法的优势主要体现在语义表达和编译期检查上，而非运行时行为的差异。

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