C语言array[a,b]语法与行为：tab[1,2]为何未编译报错？

哈哈，这个问题我刚学C的时候也踩过类似的坑！我来给你掰扯清楚：

你这里碰到的是C语言里逗号运算符的用法，这是C标准明确规定的语法，所以编译器不会直接报错，只会给警告。

逗号运算符的核心逻辑 #

逗号运算符的规则特别直白：

• 先计算逗号左边的表达式，算完直接把结果扔了
• 再计算逗号右边的表达式，整个逗号表达式的最终结果就是右边的值

所以1, 2这个表达式，实际就是先算1（没什么实际作用），然后取2作为整个表达式的结果。那tab[1, 2]就完全等价于tab[2]。

这里的隐患：数组越界 #

你的数组定义是int tab[2][4]，也就是只有2行（下标是0和1），tab[2]属于数组越界访问。虽然语法上合法，但这是C标准里的未定义行为——编译器不会强制报错，但运行时可能读取到垃圾值、甚至导致程序崩溃，完全看运气。

因为tab[1,2]本身符合C语法：逗号运算符是标准允许的，数组下标也可以是任意整数表达式（哪怕结果越界）。GCC会贴心给你警告（比如提示你“逗号表达式的结果被使用”或者“数组下标超出范围”），但不会拒绝编译——毕竟语法上没毛病，只是你的逻辑大概率写错了。

逗号运算符在C标准里有明确定义，比如C99/C11的6.5.17节就专门讲了它的行为：

逗号运算符的左操作数会被求值为void表达式，执行序列点后，右操作数被求值，整个表达式的结果是右操作数的值，类型与右操作数一致。

而数组越界访问属于未定义行为，标准里也明确说明：访问超出数组边界的元素是未定义的，编译器不需要对此报错，具体行为由实现自行决定。

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