我曾在一本编码书中看到以下宏定义。
#define TRUE '/'/'/'
#define FALSE '-'-'-'
没有任何解释。
请向我解释这些是如何作为真和假。
我曾在一本编码书中看到以下宏定义。
#define TRUE '/'/'/'
#define FALSE '-'-'-'
没有任何解释。
请向我解释这些是如何作为真和假。
这只是另一种写法
#define TRUE 1
#define FALSE 0
表达式'/'/'/'将'/'的char值除以自身,结果为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。
它相当于写作
#define TRUE 1
#define FALSE 0
表达式'/'/'/'实际上做的是将字符/(不管它的数值是什么)除以它自己,所以它变成了1。
类似地,表达式'-'-'-'从自身减去字符-并求值为0。
最好还是写下来
#define TRUE ('/'/'/')
#define FALSE ('-'-'-')
避免与其他高优先级操作符一起使用时意外更改值。
我们看一下:'/' /' /'表示字符字面值/,除以字符字面值'/'本身。结果是1,听起来是合理的TRUE。
'-' -' -'表示字符'-',从自身减去。这是零(FALSE)。
这有两个问题:首先,它是不可读的。使用1和0绝对更好。此外,正如TartanLlama和KerrekSB指出的那样,如果你打算使用这个定义,请在它们周围加上括号,这样你就不会有任何惊喜:
#include <stdio.h>
#define TRUE '/'/'/'
#define FALSE '-'-'-'
int main() {
printf ("%d\n", 2 * FALSE);
return 0;
}
这将打印字符字面值'-'(在我的系统上是45)的值。
括号:
#define TRUE ('/'/'/')
#define FALSE ('-'-'-')
程序正确地输出0,尽管将真值乘以一个整数没有多大意义,但这只是一种意外错误的例子,如果您不给宏加上括号,这些错误可能会咬您一口。
让我们从“真”开始。你可以把它读成“/”/“/”,意思是“字符/”除以字符“/”。因为在C语言中,每个字符都是一个数值(在一个字节上),它可以被读取为“字符'/'的ASCII值除以相同字符的ASCII值”,这意味着1(因为,显然,x/x是1)。因此,TRUE为1。
对于FALSE,同样的推理:'-'-'-'读取'-'-'-',即" '-'的ASCII值减去'-'的ASCII值",即0。因此,FALSE为0。
这是对显而易见的事实的一种粗暴的表述。
Jay已经回答了为什么这些表达式的值是0和1。
出于历史原因,这些表达式'/'/'/'和'-'-'-'来自1984年第一届国际混淆C代码大赛的参赛作品之一:
int i;main(){for(;i["]<i;++i){--i;}"];read('-'-'-',i+++"hell\
o, world!\n",'/'/'/'));}read(j,i,p){write(j/p+p,i---j,i/i);}
(链接到这里的程序,在上面的IOCCC页面中有这个程序做什么的提示。)
如果我没记错的话,这些表示TRUE和FALSE的模糊宏的表达式也在Don Libes(1993)的《模糊C和其他谜团》一书中提到过。
这是为True和False编写宏的一种有趣的方式。
正如许多解释所提供的/意味着一个1字节的数字(根据ASCII),当除以本身时,它会给你1,这将被视为True,同样地-又是一个字节数,当减去相同的值时,它会给你0,这将被解释为false
#define TRUE '/'/'/'
#define FALSE '-'-'-'
因此,我们可以用我们喜欢的任何字符替换/或-,例如:
#define TRUE '!'/'!'
#define FALSE 'o'-'o'
将保持与原表达式相同的含义。