BOOL / bool / Boolean / NSCFBoolean

Mattt Thompson撰写、 Zihan Xu翻译、 发布于

我们之前讨论过不存在在编程过程中的哲学和技术问题。这一周,我们的注意力转到另一个基本的问题: 真。

真。Vēritās。哲学的全部纲领都建立在对它的追寻上,可它的确切含义和蕴涵依旧没有完全呈现在我们面前。真相是独立存在的,还是被有条件的定义反对虚假?一个命题是否可以同时是真假?是否有绝对的真理,还是一切都是相对的?

再一次,将我们有逻辑的世界编码为冰冷的电脑计算字节码使得我们不得不用这样或那样的方法处理这些问题。同时,通过阅读我们关于Objective-C中布尔值及其同类的讨论,你会发现,真相实在是比小说还离奇。


Objective-C用BOOL来编码真值。它是signed chartypedef,并且用宏YESNO来相应的表示真和假。

布尔值用于条件判断,比如ifwhile语句,来进行有条件的逻辑或者重复运行。当判断一个条件语句,数值0为“假”,而其他任何数值为“真”。因为NULLnil被定义为0,所以对于这些不存在的数值的条件语句也被判定为“假”。

在Objective-C中,当遇到处理真值的参数,属性和实例变量时,使用类型BOOL。当分配字面值时,使用宏YESNO

错误问题的错误答案

新手程序员经常在进行条件评估时加入等号运算符:

if ([a isEqual:b] == YES) {
  ...
}

这不仅仅是不必要的,而且根据左边的值,它可能会导致不可预料的结果,正如Big Nerd Ranch blog post, "BOOL's Sharp Edges"中所描述的那样:

static BOOL different (int a, int b) {
    return a - b;
}

一个过于聪明的C程序员可能会因为这种方法的简单而获得一些满足感:事实上,两个整数相等当且仅当它们的相差为0

然而,因为BOOL在实际中被typedefsigned char,所以结果并不会像预期的那样:

if (different(11, 10) == YES) {
  printf ("11 != 10\n");
} else {
  printf ("11 == 10\n");
}

if (different(10, 11) == YES) {
  printf ("10 != 11\n");
} else {
  printf ("10 == 11\n");
}

if (different(512, 256) == YES) {
  printf ("512 != 256\n");
} else {
  printf ("512 == 256\n");
}

此运行结果为:

11 != 10 10 == 11 512 == 256

现在,这在JavaScript中可能会被接受,但Objective-C可不乐意被当作傻瓜。

从算数运算中提取真值并不是一个好主意。就像这句话"Colorless green ideas sleep furiously",它可能符合语法(毕竟,BOOL是一个signed char,因此它可以被视为数字),但是它在语意上完全说不通。所以,取而代之的方法是,使用==输出的结果,或者将数值通过!(或者!!)转换成布尔值。

The Truth About NSNumber and BOOL

小测试:下面的表达会输出什么?

NSLog(@"%@", [@(YES) class]);

答案是:

__NSCFBoolean

等一等,什么?

一直以来,我们都以为NSNumber将原始数封装为对象表示。其它任何由integer-和float-衍生出来的NSNumber对象都显示它的类为__NSCFNumber。这是为什么?

NSCFBooleanNSNumber类簇中的一个私有的类。它是通往CFBooleanRef类型的桥梁,它被用来给Core Foundation的属性列表和集合封装布尔数值。CFBoolean定义了常量kCFBooleanTruekCFBooleanFalse。因为CFNumberRefCFBooleanRef在Core Foundation中属于不同种类,这样是有道理的,它们在NSNumber被以不同的衔接类呈现。

对大多数人来说,布尔值和被封装的对象“能用就好”,他们并不关心做香肠的原料是什么。但是在NSHipster,我们只关心香肠。


因为,总的来说,下面的表格是Objective-C中的所有真值类型和数值:

Name Typedef Header True Value False Value
BOOL signed char objc.h YES NO
bool _Bool (int) stdbool.h true false
Boolean unsigned char MacTypes.h TRUE FALSE
NSNumber __NSCFBoolean Foundation.h @(YES) @(NO)
CFBooleanRef struct CoreFoundation.h kCFBooleanTrue kCFBooleanFalse