真假宏的奇怪定义

Question

我在一本编码书中看到了以下宏定义。

#define TRUE  '/'/'/'
#define FALSE '-'-'-'

没有任何解释。

请向我解释这些将如何作为TRUE和FALSE工作。

Answer 1

这相当于写作

#define TRUE 1
#define FALSE 0

表达式'/'/'/'实际上是将字符/（无论其数值是什么）除以自身，因此它变成1。

类似地，表达式'-'-'-'从自身减去字符-，计算结果为0。

最好是写信

#define TRUE ('/'/'/')
#define FALSE ('-'-'-')

避免与其他优先级较高的运算符一起使用时意外更改值。

Answer 2

这只是另一种写作方式

#define TRUE 1
#define FALSE 0

表达式'/'/'/'将把'/'的字符值除以自身，结果为1。

表达式'-'-'-'将把'-'的char值从自身减去，结果将为0。

但是，整个define表达式周围的括号缺失，这可能导致使用这些宏的代码出错。杰伊的回答很好地说明了这一点。

忘记括号可能有害的“现实”场景的一个例子是将这些宏与C样式的强制转换操作符结合使用。例如，如果有人决定在C中将这些表达式强制转换为bool：

#include <iostream>

#define TRUE  '/'/'/'
#define FALSE '-'-'-'

int main() {
    std::cout << "True: " << (bool) TRUE << std::endl;
    std::cout << "False: " << (bool) FALSE << std::endl;
    return 0;
}

以下是我们得到的：

True: 0
False: -44

因此（bool）TRUE将实际计算为false，（bool）false将计算为TRUE。

Answer 3

让我们看看：'/'/'/'表示字符文字/，除以字符文字'/'本身。结果是一个，对于TRUE，这听起来很合理。

并且'-' - '-'表示从自身减去的char文字'-'。这是零（FALSE）。

这有两个问题：第一，它不可读。使用1和0绝对更好。此外，正如TartanLlama和KerrekSB所指出的，如果你打算使用该定义，请在其周围添加括号，这样你就不会有任何惊喜：

#include <stdio.h>

#define TRUE  '/'/'/'
#define FALSE '-'-'-'

int main() {
        printf ("%d\n", 2 * FALSE);
        return 0;
}

这将打印charliteral'-'（在我的系统上为45）的值。

带括号：

#define TRUE  ('/'/'/')
#define FALSE ('-'-'-')

该程序正确地打印零，即使将真值乘以整数没有多大意义，但这只是一种意想不到的错误的例子，如果你不给宏加上括号，这些错误可能会咬你。