C没有任何内置布尔类型。在C语言中使用它们的最佳方式是什么?


当前回答

以下是我使用的版本:

typedef enum { false = 0, true = !false } bool;

因为false只有一个值,但逻辑true可以有多个值,但是技术将true设置为编译器将使用的与false相反的值。

这解决了某些人编码的问题,这些问题可以归结为:

if (true == !false)

我想我们都会同意,这不是一个好的做法,但为了一次性的“真=!假”,我们消除了这个问题。

[编辑]最后我使用了:

typedef enum { myfalse = 0, mytrue = !myfalse } mybool;

以避免与定义true和false的其他方案的名称冲突。但这一概念保持不变。

[EDIT]要显示整数到布尔值的转换:

mybool somebool;
int someint = 5;
somebool = !!someint;

第一个(最右边)!将非零整数转换为0,然后是第二个(最左边)!将0转换为myfalse值。我将把它作为练习留给读者来转换一个零整数。

[编辑]当需要特定值时,我的风格是在枚举中使用值的显式设置,即使默认值相同。示例:因为false需要为零,所以我使用false=0,而不是false,

[编辑]演示如何在使用gcc编译时限制枚举的大小:

typedef __attribute__((__packed__)) enum { myfalse = 0, mytrue = !myfalse } mybool;

也就是说,如果有人这样做:

struct mystruct {
    mybool somebool1;
    mybool somebool2;
    mybool somebool3;
    mybool somebool4;
}

结构的大小将是4字节而不是16字节。

其他回答

如果允许您使用C99,这只是对其他答案的补充和一些澄清。

+-------+----------------+-------------------------+--------------------+
|  Name | Characteristic | Dependence in stdbool.h |        Value       |
+-------+----------------+-------------------------+--------------------+
| _Bool |   Native type  |    Don't need header    |                    |
+-------+----------------+-------------------------+--------------------+
|  bool |      Macro     |           Yes           | Translate to _Bool |
+-------+----------------+-------------------------+--------------------+
|  true |      Macro     |           Yes           |   Translate to 1   |
+-------+----------------+-------------------------+--------------------+
| false |      Macro     |           Yes           |   Translate to 0   |
+-------+----------------+-------------------------+--------------------+

我的一些偏好:

_布尔还是布尔?两者都很好,但bool看起来比关键字_bool更好。bool和_bool的接受值为:false或true。指定0或1而不是false或true是有效的,但更难阅读和理解逻辑流。

标准中的一些信息:

_Bool不是无符号整数,而是无符号整数类型组的一部分。它足够大,可以保存值0或1。不要,但是的,你可以重新定义bool true和false,但肯定不是个好主意。这种能力被认为是过时的,将来将被删除。将标量类型(算术类型和指针类型)赋给_Bool或Bool,如果标量值等于0或与0比较,则为0,否则结果为1:_Bool x=9;当分配给x时,9被转换为1。_Bool是1字节(8位),通常程序员会尝试使用其他位,但不建议使用,因为唯一的保证是只使用一位来存储数据,而不是像具有8位可用的类型字符那样。

typedef enum {
    false = 0,
    true
} t_bool;

如果您使用的是C99编译器,它内置了对布尔类型的支持:

#include <stdbool.h>
int main()
{
  bool b = false;
  b = true;
}

http://en.wikipedia.org/wiki/Boolean_data_type

第一件事。C、 即ISO/IEC 9899已经有19年的布尔型了。这比访问这个问题时,业余/学术/专业部分的C编程生涯的预期长度要长得多。我的确实超过了这一点,可能只有1-2年。这意味着,在一个普通读者完全了解C的过程中,C实际上拥有布尔数据类型。

对于数据类型,#include<stdbool.h>,并使用true、false和bool。或者不包括它,而是使用_Bool、1和0。


在本主题的其他答案中,有各种危险的做法。我将向他们讲话:

typedef int bool;
#define true 1
#define false 0

这是不可能的,因为一个偶然的读者——在那19年里学习过C语言——会认为bool是指实际的bool数据类型,并且会有类似的行为,但事实并非如此!例如

double a = ...;
bool b = a;

对于C99 bool/_bool,如果a为零,b将设置为false,否则为true。C11 6.3.1.2p1

当任何标量值转换为_Bool时,如果值比较等于0,则结果为0;否则,结果为1。59)脚注59)NaN不等于0,因此转换为1。

在typedef就位的情况下,double将被强制为int-如果double的值不在int的范围内,则行为未定义。

当然,如果在枚举中声明了true和false,这同样适用。

更危险的是宣布

typedef enum bool {
    false, true
} bool;

因为现在除了1和0之外的所有值都是无效的,如果将这样的值分配给该类型的变量,则行为将完全未定义。

因此,如果有某种莫名其妙的原因,如果您不能使用C99,则应使用布尔变量:

按原样键入int和值0和1;并小心地将域从任何其他值转换为带有双重否定的值!!或者如果你坚持认为你不记得0是假的和非零真的,那么至少使用大写,这样他们就不会与C99的概念混淆:BOOL、TRUE和FALSE!

如果使用C99,则可以使用_Bool类型。不需要#includes。不过,您确实需要将其视为整数,其中1为真,0为假。

然后可以定义TRUE和FALSE。

_Bool this_is_a_Boolean_var = 1;


//or using it with true and false
#define TRUE 1
#define FALSE 0
_Bool var = TRUE;