[已解决]宏定义问题

a905448839

这串代码中国 宏定义里的那个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[5];
        strcpy(s, "abcd");
        int i = 0;
        putchar(TOUPPER(s[++i]));
                


        return 0;
}

最佳答案

月排行榜 / 总排行榜

陶远航

2023-4-22 09:48:26

宏定义中的`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[i+1]`的值，而不是`s[i]`的值。因此，`TOUPPER(s[++i])`中的`c`实际上被替换成了`s[i+1]`，而不是`s[i]`。所以，`TOUPPER(s[++i])`的实际运算过程是这样的：

1. `i`先加1，变成1
2. 判断`'a'<=s[2]`，这是成立的，所以继续执行
3. 判断`s[3]<='z'`，这也是成立的，所以继续执行
4. 计算`s[4]-'a'+'A'`，即`'d'-'a'+'A'`，结果为`'D'`
5. `putchar('D')`输出`D`

因此，程序输出的是`D`而不是`E`。

跳转到最佳答案楼层

isdkz

你好！关于你的问题，我来帮你分析一下这个代码。

首先，我们要明白宏定义的行为。宏定义在预处理阶段就会被扩展替换，它不是一个函数。在本例中，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[3] 是否在 'a' 和 'z' 之间。但是第四次 `s[++i]` 使得 `i` 变为 4，此时我们实际上在检查 s[4] 是否在 'a' 和 'z' 之间，这是错误的。正确的行为应该是在第三次操作时，复用 s[3] 而不是 s[4]。

为了解决这个问题，我们可以将宏定义修改为一个内联函数，这样就可以避免这种问题了。以下是修改后的代码：

#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[5];
    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[i+1]`的值，而不是`s[i]`的值。因此，`TOUPPER(s[++i])`中的`c`实际上被替换成了`s[i+1]`，而不是`s[i]`。所以，`TOUPPER(s[++i])`的实际运算过程是这样的：

1. `i`先加1，变成1
2. 判断`'a'<=s[2]`，这是成立的，所以继续执行
3. 判断`s[3]<='z'`，这也是成立的，所以继续执行
4. 计算`s[4]-'a'+'A'`，即`'d'-'a'+'A'`，结果为`'D'`
5. `putchar('D')`输出`D`

因此，程序输出的是`D`而不是`E`。