小编bgo*_*erg的帖子

为什么这段代码会编译？

_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, "");

前两个断言显然是正确的,但我本来期望最后一行失败,因为我的理解是sizeof()应该求值为整数文字,不能将其视为数组.换句话说,它将以与以下行失败相同的方式失败:

_Static_assert(4[0] == 4, "");

有趣的是,以下确实无法编译(应该做同样的事情,不是吗？):

_Static_assert(*sizeof(my_arr) == 4, "");

错误:一元'*'的无效类型参数(具有'long unsigned int')_Static_assert(*sizeof(my_arr)== 4,"");

如果重要,我正在使用gcc 5.3.0