为什么要编译这段代码?
_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
https://stackoverflow.com/questions/46653406
复制相似问题