相关疑难解决方法(0)

如果我有:

unsigned int x;
x -= x;

很明显,x 应该这样表达后是零,但到处看,他们说的行为,这种代码是不确定的,而不是仅仅值x(直到减法之前).

两个问题:

• 这段代码的行为确实未定义吗？
  (例如,代码在兼容系统上崩溃[或更糟]？)

• 如果是这样,为什么 C表示行为是未定义的,当非常清楚x这里应该为零时？

  即不在此定义行为给出的优势是什么？

很明显,编译器可以简单地使用它在变量中认为"方便"的任何垃圾值,并且它可以按预期工作......这种方法有什么问题？

每当我在书籍,手册页和网站中查看真实代码或示例套接字代码时,我几乎总会看到类似下面的内容:

struct sockaddr_in foo;
memset(&foo, 0, sizeof foo); 
/* or bzero(), which POSIX marks as LEGACY, and is not in standard C */
foo.sin_port = htons(42);

代替:

struct sockaddr_in foo = { 0 }; 
/* if at least one member is initialized, all others are set to
   zero (as though they had static storage duration) as per 
   ISO/IEC 9899:1999 6.7.8 Initialization */ 
foo.sin_port = htons(42);

要么:

struct sockaddr_in foo = { .sin_port = htons(42) }; /* New in C99 */ …