if语句Objective-C中的评估（NSIntegers）

Question

我很怀疑，为什么它可以正常工作：

NSInteger row = indexPath.row;
NSInteger preloadTrigger = self.nodes.count - 20;
if (row >= preloadTrigger) {
    [self.loader loadNextposts];
}

这不会（只是跳过 if 语句）：

if (indexPath.row >= self.nodes.count - 20) {
    [self.loader loadNextposts];
}

当self.nodes.count - 20 的值为负时。

但是，当表达式的值为正时，它总是可以正常工作。

一个非常奇怪的行为，因为我看不到两个表达式的语义差异。

更新： 所以，我决定测试一下：

(lldb) po self.nodes.count - 20
18446744073709551601

(lldb) po preloadTrigger
-15

Answer 1

我将对其他正确答案添加一些解释。

所以，事情是这样的：

self.nodes.count 是 NSUInteger 类型，在 64 位系统中与 unsigned long int 相同，或者在 32 位系统中与 unsigned int 相同。

文字20 的类型是int。

当您形成表达式 self.nodes.count - 20 时，20 被“提升”为另一个操作数 (self.nodes.count) 的无符号整数类型，因为它具有两者中更大的范围。

这是因为，当两个操作数具有不同大小的类型时，较小的被提升为较大的，以使它们相等并以这些术语计算结果（在硬件中，不同类型的值之间的算术运算不是真正定义 - 位表示不同）。

问题在于，为了换取能够用相同的位长表示更广泛的正值，无符号整数不能表示负值。因此，当20 大于self.nodes.count 时，结果“环绕”为一个大的无符号整数。

另一方面，indexPath.row 也是一个无符号整数 (NSUInteger)，因此您最终会将相对较小的行值与减法运算的巨大结果进行比较；测试：

if (indexPath.row >= self.nodes.count - 20)

...总是失败（左边更小）。

如果您首先将两个结果都转换为有符号整数，然后比较这些有符号整数：

NSInteger row = indexPath.row;
NSInteger preloadTrigger = self.nodes.count - 20;
if (row >= preloadTrigger) {

...然后不会发生包装/下溢，您会得到预期的结果。

Answer 2

根据Apple Docs，count 属性是objective-C 中的NSUInteger。

当你写的时候：

 NSInteger preloadTrigger = self.nodes.count - 20;

实际上，您将count 转换为NSInteger 对象，如果count 不大于20，则可以有一个负值。

但是当你写的时候：

(indexPath.row >= self.nodes.count - 20)

count 是一个NSUInteger 对象，从它减去 20 总是会得到一个正数（顺便说一下很大）。

Answer 3

因为 nodes.count 是 NSUInteger 而 row 是 NSInteger。无符号整数 - 20 绝不是负值，但会产生一个巨大的正值，而您期望它是负值。