宏定义问题
这串代码中国 宏定义里的那个c为什么只替换后运算了3次不应该是4次吗？
第一次替换后运算 c:TOUPPER(c)
第二次替换后运算 c:'a'<=(c)
第三次替换后运算 c:(c)<='z'
第四次替换后运算 c：就是最后判断条件的结果其中之一
这样打印的就会是E 可是运行是D
是TOUPPER(c)里面的这个C没有替换后运算吗？
#include<stdio.h>
#include<stdlib.h>
#include<string.h>
#define TOUPPER(c) ('a'<=(c)&&(c)<='z'?(c)-'a'+'A':(c))
int main()
{
char s;
strcpy(s, "abcd");
int i = 0;
putchar(TOUPPER(s[++i]));
return 0;
}
你好！关于你的问题，我来帮你分析一下这个代码。
首先，我们要明白宏定义的行为。宏定义在预处理阶段就会被扩展替换，它不是一个函数。在本例中，TOUPPER(c)的定义是：
#define TOUPPER(c) ('a'<=(c)&&(c)<='z'?(c)-'a'+'A':(c))
当我们在程序中调用这个宏时，会发生文本替换。实际的替换过程如下：
putchar(TOUPPER(s[++i]));
展开TOUPPER宏后，我们得到：
putchar(('a'<=(s[++i])&&(s[++i])<='z'?(s[++i])-'a'+'A':(s[++i])));
现在，问题变得清晰了。因为宏展开后，`s[++i]` 出现了四次。每次出现，`i`都会增加 1。所以，`i`的值会从 0 增加到 4。但实际上我们只需要三次操作，而不是四次。请看如下说明：
1. 第一次 `s[++i]`，`i` 变为 1。
2. 第二次 `s[++i]`，`i` 变为 2。
3. 第三次 `s[++i]`，`i` 变为 3。
现在，我们需要比较 s 是否在 'a' 和 'z' 之间。但是第四次 `s[++i]` 使得 `i` 变为 4，此时我们实际上在检查 s 是否在 'a' 和 'z' 之间，这是错误的。正确的行为应该是在第三次操作时，复用 s 而不是 s。
为了解决这个问题，我们可以将宏定义修改为一个内联函数，这样就可以避免这种问题了。以下是修改后的代码：
#include<stdio.h>
#include<stdlib.h>
#include<string.h>
inline char TOUPPER(char c) {
return ('a' <= c && c <= 'z') ? (c - 'a' + 'A') : c;
}
int main() {
char s;
strcpy(s, "abcd");
int i = 0;
putchar(TOUPPER(s[++i]));
return 0;
}
现在，运行这段代码，你会看到正确的输出结果：'E'。这是因为内联函数只计算一次参数，避免了宏展开带来的副作用。 宏定义中的`c`确实只被替换了三次，这是因为宏定义中的`c`只是一个符号，它不是变量，也不是表达式。宏定义只是在预处理阶段进行简单的文本替换，将代码中的`TOUPPER(s[++i])`替换成`( 'a'<=s[++i] && s[++i]<='z' ? s[++i]-'a'+'A' : s[++i] )`，因此，`c`在每次替换中都被替换成了`s[++i]`。
在这个例子中，`TOUPPER(s[++i])`被替换成了`( 'a'<=s[++i] && s[++i]<='z' ? s[++i]-'a'+'A' : s[++i] )`，其中`'a'<=s[++i]`这个条件判断会使`i`加1，然后`s[++i]`会返回`s`的值，而不是`s`的值。因此，`TOUPPER(s[++i])`中的`c`实际上被替换成了`s`，而不是`s`。所以，`TOUPPER(s[++i])`的实际运算过程是这样的：
1. `i`先加1，变成1
2. 判断`'a'<=s`，这是成立的，所以继续执行
3. 判断`s<='z'`，这也是成立的，所以继续执行
4. 计算`s-'a'+'A'`，即`'d'-'a'+'A'`，结果为`'D'`
5. `putchar('D')`输出`D`
因此，程序输出的是`D`而不是`E`。
页:
[1]