鱼C论坛

 找回密码
 立即注册
查看: 1906|回复: 2

[已解决]宏定义问题

[复制链接]
发表于 2023-4-21 23:11:57 | 显示全部楼层 |阅读模式

马上注册,结交更多好友,享用更多功能^_^

您需要 登录 才可以下载或查看,没有账号?立即注册

x
这串代码中国 宏定义里的那个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`。
想知道小甲鱼最近在做啥?请访问 -> ilovefishc.com
回复

使用道具 举报

发表于 2023-4-21 23:18:23 | 显示全部楼层
你好!关于你的问题,我来帮你分析一下这个代码。

首先,我们要明白宏定义的行为。宏定义在预处理阶段就会被扩展替换,它不是一个函数。在本例中,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'。这是因为内联函数只计算一次参数,避免了宏展开带来的副作用。
想知道小甲鱼最近在做啥?请访问 -> ilovefishc.com
回复 支持 反对

使用道具 举报

发表于 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`。
想知道小甲鱼最近在做啥?请访问 -> ilovefishc.com
回复 支持 反对

使用道具 举报

您需要登录后才可以回帖 登录 | 立即注册

本版积分规则

小黑屋|手机版|Archiver|鱼C工作室 ( 粤ICP备18085999号-1 | 粤公网安备 44051102000585号)

GMT+8, 2024-12-23 23:16

Powered by Discuz! X3.4

© 2001-2023 Discuz! Team.

快速回复 返回顶部 返回列表