#include <stdio.h>
int arr[] = {1,2,3,4,5,6,7,8};
#define SIZE (sizeof(arr)/sizeof(int))
int main()
{
printf("SIZE = %d\n", SIZE);
if ((-1) < SIZE)
printf("less");
else
printf("more");
}
gcc编译后的输出为"more"。为什么即使-1 < 8，if条件也会失败？问题出在你的比较方式上：
if ((-1) < SIZE)
sizeof 通常返回一个 unsigned long，因此 SIZE 将会是 unsigned long，而 -1 只是一个 int。在 C 和相关语言中的提升规则意味着在比较之前，-1 将被转换为 size_t，因此 -1 将变成一个非常大的正值（即 unsigned long 的最大值）。
修复这个问题的一种方法是将比较改为：
if (-1 < (long long)SIZE)
gcc -Wall ...进行编译，编译器将会警告您存在的错误。-1的数据类型和sizeof返回值也不同。在比较表达式中，-1的类型被提升为unsigned long int，这就是为什么在if条件语句中，SIZE与2,147,483,648UL（我考虑了4字节int和8字节long）进行比较，而不是-1。 - Grijesh Chauhanif ((-1) < (int)sizeof(x)) 呢？ - Grijesh Chauhan当使用混合的有符号/无符号操作时要小心（使用-Wall编译器警告）。标准对此有一个很长的章节。特别地，通常但不总是有符号值转换为无符号值（尽管在您的特定示例中确实如此）。请参见下面的解释（摘自此问答）。
5 表达式 [expr]
10 许多期望算术或枚举类型操作数的二元运算符会导致类型转换，并以类似的方式产生结果类型。其目的是产生一个公共类型，也是结果的类型。这种模式称为通常的算术转换，定义如下：
[省略了关于相等类型或相等符号类型的2个子句]
— 否则，如果具有无符号整数类型的操作数的级别大于或等于另一个操作数的类型的级别，则应将具有有符号整数类型的操作数转换为具有无符号整数类型的操作数的类型。
— 否则，如果具有有符号整数类型的操作数的类型可以表示无符号整数类型的所有值，则应将具有无符号整数类型的操作数转换为具有有符号整数类型的操作数的类型。
— 否则，两个操作数都应转换为与具有有符号整数类型的操作数相对应的无符号整数类型。
要查看程序属于这3种情况中的哪一种，请稍微修改一下它：
#include <stdio.h>
int arr[] = {1,2,3,4,5,6,7,8};
#define SIZE (sizeof(arr)/sizeof(int))
int main()
{
printf("SIZE = %zu, sizeof(-1) = %zu, sizeof(SIZE) = %zu \n", SIZE, sizeof(-1), sizeof(SIZE));
if ((-1) < SIZE)
printf("less");
else
printf("more");
}
-1和SIZE的sizeof()分别打印4和8，并选择“more”分支（实时示例）。if ((long long)(-1) < (unsigned)SIZE)将采取“less”分支（实时示例）。if()语句，带有显式转换，但是如果您比较具有long long和unsigned类型的变量，则可能发生相同的效果。因此，它阐明了混合有符号/无符号算术非常微妙，并取决于相对大小（标准的用语为“排名”）。特别地，没有固定的规则表明有符号将始终转换为无符号。这是C语言中的一个历史性设计缺陷，也在C++中重复出现。
它可以追溯到16位计算机时代，错误在于决定使用所有16位来表示大小，最高可达65536，放弃了表示负大小的可能性。
如果unsigned的含义是“非负整数”（大小在逻辑上不能为负），那么这本身不会是一个错误，但它与语言的转换规则有关，存在问题。
考虑到语言的转换规则，在C语言中，unsigned类型并不表示非负数，而更像是一个位掩码（数学术语实际上是“ℤ/n环的成员”）。要看到为什么，请考虑以下内容：
unsigned - unsigned得到一个unsigned结果signed + unsigned得到一个unsigned结果如果你把unsigned理解为“非负数”，那么它们都显然毫无意义。
当然，说一个对象的大小是ℤ/n环的成员根本就没有任何意义，这就是错误所在。
每当你处理对象的大小时，要小心，因为该值是unsigned类型，在C/C++中，这种类型具有许多对于数字来说是不合逻辑的属性。请永远记住，unsigned并不意味着“非负整数”，而是“ℤ/n代数环的成员”，最危险的是，在混合操作的情况下，一个int会被转换为unsigned int，而不是相反。
例如：
void drawPolyline(const std::vector<P2d>& pts) {
for (int i=0; i<pts.size()-1; i++) {
drawLine(pts[i], pts[i+1]);
}
}
这段代码存在缺陷，因为如果传递一个空向量，它将执行非法（UB）操作。原因是pts.size()是一个unsigned。
语言规则将把整数1转换为1{mod n}，在ℤ/n中执行减法，结果为(size-1){mod n}，还会将i转换为{mod n}表示，并在ℤ/n中进行比较。
C/C++实际上在ℤ/n中定义了<运算符（在数学中很少使用），即使输入向量为空，您最终仍然会访问pts[0]、pts[1]等等直至极大的数字。
正确的循环应该是：
void drawPolyline(const std::vector<P2d>& pts) {
for (int i=1; i<pts.size(); i++) {
drawLine(pts[i-1], pts[i]);
}
}
void drawPolyline(const std::vector<P2d>& pts) {
for (int i=0,n=pts.size(); i<n-1; i++) {
drawLine(pts[i], pts[i+1]);
}
}
使用无符号整数代替整数来获得一个额外的比特位表示正整数几乎从来不是一个好主意。通过声明变量为无符号来确保某些值为正数的尝试通常会被隐式转换规则所打败。
unsigned/signed 表示法背后的历史先例。 - Nobilissigned和unsigned之间进行比较时，其中unsigned至少具有与signed类型相等的级别（请参见TemplateRex的答案以获取确切规则），signed将转换为unsigned类型。-1的二进制表示形式作为unsigned是4294967295。因此实际上您正在比较4294967295是否小于8（它不是）。warning: comparison between signed and unsigned integer expressions [-Wsign-compare]
由于讨论已经有些偏离，关于使用unsigned的适当性，让我引用James Gosling的一句话，他谈到了Java中缺乏unsigned类型（我还会不要脸地link到我的另一篇文章）。size_t 至少与 int 的等级相同）。 - TemplateRexlong long signed 的存在将会转换为带符号的 unsigned 变量）。 - Nobilis嗯，我不会重复Paul R说的强烈话语，但当你比较无符号和整数时，你会遇到一些问题。
请使用if ((-1) < (int)SIZE)代替您的if条件。
将从sizeof运算符返回的无符号类型转换为有符号类型
当您比较两个无符号和有符号数字时，编译器会隐式地将有符号数字转换为无符号数字。
在4字节int中，-1的有符号表示为11111111 11111111 11111111 11111111，当转换为无符号时，该表示将指2^16-1。
因此，基本上您正在比较2^16-1>SIZE，这是正确的。
您必须通过将无符号值显式转换为有符号值来覆盖它。
由于sizeof运算符返回unsigned long long，因此应将其强制转换为signed long long。
if((-1)<(signed long long)SIZE)
在你的代码中使用这个条件语句
printf(" %lu %lu", sizeof(-1), sizeof(SIZE));试一下吧！ - Grijesh Chauhansize_tÁĪĽŚěčŤŅõŤ°ĆŚĀáŤģĺ„Äā"%zu"śėĮś≠£Á°ģÁöĄś†ľŚľŹ„Äā - Jens Gustedt