正如Joel在Stack Overflow播客#34中用C编程语言(又名:K&R)所指出的那样,在C中提到了数组的这种属性:a[5] == 5[a]
乔尔说,这是因为指针运算,但我仍然不明白.为什么a[5] == 5[a]?
为什么这段代码会编译?
_Static uint32_t my_arr[2];
_Static_assert(sizeof(my_arr) == 8, "");
_Static_assert(sizeof(my_arr[0]) == 4, "");
_Static_assert(sizeof(my_arr)[0] == 4, "");
Run Code Online (Sandbox Code Playgroud)
前两个断言显然是正确的,但我本来期望最后一行失败,因为我的理解是sizeof()应该求值为整数文字,不能将其视为数组.换句话说,它将以与以下行失败相同的方式失败:
_Static_assert(4[0] == 4, "");
Run Code Online (Sandbox Code Playgroud)
有趣的是,以下确实无法编译(应该做同样的事情,不是吗?):
_Static_assert(*sizeof(my_arr) == 4, "");
Run Code Online (Sandbox Code Playgroud)
错误:一元'*'的无效类型参数(具有'long unsigned int')_Static_assert(*sizeof(my_arr)== 4,"");
如果重要,我正在使用gcc 5.3.0