从-1开始的循环不打印任何东西
该程序应打印出array
的元素,但运行时不显示输出。从-1开始的循环不打印任何东西
#include <stdio.h>
#define TOTAL_ELEMENTS (sizeof(array)/sizeof(array[0]))
int array[] = { 23, 34, 12, 17, 204, 99, 16 };
int main() {
int d;
for (d = -1; d <= (TOTAL_ELEMENTS - 2); d++)
printf("%d\n", array[d + 1]);
return 0;
}
为什么没有这个计划表现出任何输出?
sizeof
返回一个无符号整数,所以TOTAL_ELEMENTS
也是无符号的。
d
已签名。起初,d
是-1
。但是,这样做比较时,d
被隐式类型强制转换为无符号,因此它不再-1
被比较TOTAL_ELEMENTS
时,它实际上是UINT_MAX
(这是4294967295
我的机器上,但可能会为其他人的不同)。
此外,
如果要解决这个问题,强制转换TOTAL_ELEMENTS
到int
:
for(d = -1; d <= (int)(TOTAL_ELEMENTS - 2); d++)
这将打印:
23
34
12
17
204
99
16
正如你所期望。您可能还想查看Comparison operation on unsigned and signed integers以获取有关signed-unsigned比较主题的更多信息。
值得注意的是开启编译器警告就已经帮助你弄清楚发生了什么事情(如海德在他comment观察):
$ gcc -Wall -Wextra test.c
test.c:7:17: warning: comparison of integers of different signs: 'int' and 'unsigned long' [-Wsign-compare]
for(d = 0; d < TOTAL_ELEMENTS; d++)
~^~~~~~~~~~~~~~~
1 warning generated.
或者,为什么不开始d
在0
并运行到TOTAL_ELEMENTS - 1
而不是?您甚至可以删除类型转换,仅在d = -1
的情况下才需要。
for(d = 0; d < TOTAL_ELEMENTS; d++)
printf("%d\n", array[d]);
作为一个注脚,这里有相关的C99标准摘录:
-
6.3.1.8p2从符号到无符号类型定义的转换。
如果具有无符号整数类型的操作数的秩大于或等于另一个操作数的类型的秩,然后 用符号整型操作数被转换为 操作数与无符号整数的类型类型。
-
6.3.1.3p2定义转换是如何完成的:通过添加
UINT_MAX + 1
的符号表示。如果新类型是无符号的,则该值是通过重复地加上或减去小于能够在新的类型来表示,直到该值是在 范围的新类型的最大值 多一个转换。
所以
-1
=>-1 + (UINT_MAX + 1)
=UINT_MAX
,对于这种情况。
我的gcc的输出这样的警告:
warning: comparison of integers of different signs: 'int' and 'unsigned long' [-Wsign-compare]
for(d = 0; d < TOTAL_ELEMENTS; d++)
这意味着(TOTAL_ELEMENTS-2)
是unsigned int
而d
是signed int
。这使得总的表达为false
的d
的初始值,因为(unsigned int)(-1) > (TOTAL_ELEMENTS-2)
。不同的积分类型之间
是的。教训:始终启用所有警告并读取它们 –
表达式不是*总是false *,它对于'd'的初始值是错误的。 – chqrlie
二进制操作由所谓的通常的算术转换定义的“公共”型内进行。所以int d是用值-1初始化的单类型。其中,当转换为unsigned int类型,它将返回最大unsigned int类型,其比 TOTAL_ELEMENTS返回的值多少要大得多。
答案中的'unsigned int'应该是'size_t'。除此之外,你是在谈论点。 – StoryTeller
用硬编码的变量名宏是自找麻烦。 – jackarms
更改字符'D = 0'做输出的东西虽然 –
@TonyTannous但它没有解释什么是在OP – CIsForCookies