C语言使用%s格式符scanf单个char变量解决d变量存回车的方法是否合理

你观察到的“运行正常、不残留回车到d变量”的效果，完全是栈内存排布巧合导致的未定义行为，不属于任何合理、可移植的实现，和编译器“主动在变量相邻位置加字符串终止符”的设计没有任何关系。

具体的内存越界过程 #

scanf的%s格式符有两个固定规则：

• 读取连续的非空白字符，碰到第一个空白字符（空格、回车、制表符）就停止读取
• 必须在读取的字符序列末尾，额外写入1字节的'\0'作为字符串终止符，不管传入的地址有多少可用空间

你传入的&c、&d都是单个1字节char变量的地址，没有任何额外的存储空间留给这个终止符：

• 第一次执行scanf("%s", &c)时，输入哪怕只有1个有效字符（比如输入a后按回车），scanf会把'a'存在c的地址，然后强制越界把'\0'写到c相邻的下一块内存
• 绝大多数x86环境下，开低优化等级时，局部变量在栈上是相邻排布的，这个越界写的'\0'刚好落在d的地址上，直接覆盖了d的初始值
• 第二次执行scanf("%s", &d)时，因为%s规则会自动跳过输入缓冲区里残留的所有前导空白（也就是第一次输入后剩下的回车），直接等待读取下一个有效字符，再把读到的字符存在d的地址，再次越界把'\0'写到d相邻的更高地址上，踩坏栈上的其他无关内存

认知误区澄清 #

• 不存在“编译器自动在相邻内存加字符串终止符”的逻辑：写入'\0'是scanf函数本身的强制行为，它完全感知不到你传入的地址是单个char还是合法的字符串缓冲区，只要传了地址就会无边界写入，越界后的内存操作不受任何规则保护
• “跳过残留回车”的效果和你传单个char地址的操作没有关系：这是%s格式符本身的固有特性，哪怕你传入的是合法的字符串数组地址，%s一样会跳过所有前导空白字符
• 这种写法没有任何长期可靠性：换编译器、换优化等级、换运行架构后，栈上的变量排布、对齐规则都会变化，原本刚好落在d上的越界写入，可能会直接踩坏函数返回地址、其他局部变量，轻则程序崩溃、输出乱码，重则引入可被利用的安全漏洞

合规的等价实现 #

如果需求是“连续读取两个单个字符，且避免读取到输入残留的回车”，完全不需要使用内存越界的野写法：

• 方式1：给%s提供合法的存储空间，限制最大读取长度，避免越界：

char buf1[2], buf2[2];
scanf("%1s", buf1);
scanf("%1s", buf2);
printf("%c%c", buf1[0], buf2[0]);

这里%1s指定最多读取1个非空白字符，搭配2字节的字符数组，刚好能容纳读到的字符和自动补的'\0'，没有任何越界风险，一样能实现跳过前导空白的效果。

• 方式2：直接读取char类型时，在格式串前加空格触发空白跳过逻辑：

char c, d;
scanf(" %c", &c);
scanf(" %c", &d);
printf("%c%c", c, d);

格式串里的前导空格会指示scanf跳过所有连续的空白字符，从根源上避免读到残留的回车。

内容的提问来源于stack exchange，提问作者kimiko88