C 无符号整数减法、宏和类型转换

Question

为示例代码的 Objective-C 特性道歉，但我很确定我的问题的答案在 C 标准库和/或 Apple clang 编译器中。

我有一个NSArray，其中包含可变数量的项目。我想使用项目计数来创建一个介于 1 和 3 之间的值。我正在使用 C MAX 宏，但它有一些奇怪的行为：

NSLog( @"%d %d %d %d", 1, [tasks count], 3 - [tasks count], MAX( 1, 3 - [tasks count] ) );

当增加tasks 中的项目数时，此日志语句的输出是这样的：

1 0 3 3
1 1 2 2
1 2 1 1
1 3 0 1
1 4 -1 -1

我稍微研究了一下文档，发现count 函数返回了NSUInteger。我的困境的解决方案只是将返回值类型转换为NSInteger：

NSLog( @"%d %d %d %d", 1, (NSInteger)[tasks count], 3 - (NSInteger)[tasks count], MAX( 1, 3 - (NSInteger)[tasks count] ) );

1 0 3 3
1 1 2 2
1 2 1 1
1 3 0 1
1 4 -1 1

（如果你不熟悉 Objective-C，在 32 位架构上，NSInteger 的类型定义为 int，NSUInteger 是 unsigned int。）

我很难理解在我的原始代码中隐式发生的类型转换，这导致了我不直观的结果。有人能点亮吗？

Answer 1

打开编译器警告。正如你所说，Objective C 位无关紧要，所以我将从这里开始引用 C。

假设您的 MAX() 宏是这样定义的（使用 GCC 扩展）：

#define MAX(x, y) ({ typeof (x) _x = (x); \
                     typeof (y) _y = (y); \
                     _x > _y ? _x : _y })

（MAX() 宏是非标准的

当您计算 MAX(1, 3 - [tasks count]) 时，您会得到：

int x = 1;
unsigned y = 3 - [tasks count];
x > y ? x : y;

现在，可以在 C 中正确比较 int 和 unsigned，但这不是您在 C 中使用 x > y 时得到的行为。相反，两个操作数都转换为 unsigned（由于到“通常的算术转换”）。

所以您的比较是(unsigned) 1 > (unsigned) -1，这是错误的，因为(unsigned) -1 是最大可能的unsigned，在大多数系统（32 位和64 位）上是0xffffffff。

哪里出错了？

NSLog(@"%d", [tasks count]);

这在技术上是错误的，您将unsigned 传递给NSLog()，但使用了%d 格式说明符，它用于int。请改用%u，或先将您的值转换为int。

编译器警告

编译器会发出两个警告：

• 它可能告诉您在计算 MAX(1, 3 - [tasks count]) 时正在比较有符号和无符号。

• 当格​​式需要 int 时，它会告诉您您正在将 unsigned 传递给 NSLog()。

Answer 2

3 - [tasks count] 使用无符号类型完成，因此减法回绕，变为 0xffffffff。所以你会得到无符号类型的 MAX(1, 0xffffffff)。

但是，您将其打印为有符号整数，因为您的 NSLog 格式化字符串是“%d”，它将使 NSLog 将参数的位视为有符号整数，并且位模式 0xfffffff 为 -1 .