C内联汇编字符串反转疑问：显示反转的原因及与输出约束的关联

你的代码 #

#include <stdio.h>
#include <string.h>

int main() {
    char str[10000]; // Allow for 10000 characters

    // Prompt user for input
    printf("Enter a string: ");
    fgets(str, sizeof(str), stdin);

    // Remove newline character if present
    char *nl = strchr(str, '\n');
    if (nl != NULL) {
        *nl = '\0';
    } else {
        printf("Line too long or no newline character found.\n");
    }

    // Validate string length
    int length = strlen(str);
    if (length > 50) {
        printf("String exceeds 50 characters.\n");
        return 1;
    }

    // Inline assembly to reverse the string
    __asm__ (
        "mov %[len], %%esi\n\t"    // esi = length
        "decl %%esi\n\t"            // esi = length - 1 (last character index)
        "xor %%ecx, %%ecx\n\t"      // ecx = 0 (starting index)
        "reverse_loop:\n\t"
        "cmp %%esi, %%ecx\n\t"      // Compare start and end indexes
        "jge loop_end\n\t"          // If start >= end, end loop
        "movb (%[str], %%ecx), %%al\n\t"    // al = str[ecx]
        "movb (%[str], %%esi), %%bl\n\t"    // bl = str[esi]
        "movb %%bl, (%[str], %%ecx)\n\t"    // str[ecx] = bl
        "movb %%al, (%[str], %%esi)\n\t"    // str[esi] = al
        "incl %%ecx\n\t"            // Increment start index
        "decl %%esi\n\t"            // Decrement end index
        "jmp reverse_loop\n\t"      // Repeat loop
        "loop_end:\n\t"
        :
        : [str] "r" (str), [len] "r" (length)
        : "%esi", "%ecx", "%al", "%bl"
    );

    // Print the reversed string
    printf("Reversed string: %s\n", str);

    return 0;
}

你的内联汇编约束 #

:
: [str] "r" (str), [len] "r" (length)
: "%esi", "%ecx", "%al", "%bl"

你的疑问 #

• 为何最终通过printf("Reversed string: %s\n", str);能显示出反转后的字符串？
• 这一现象是否与内联汇编约束中未声明输出有关？
• 存储在str数组中的反转字符串是如何传递给printf函数进行显示的？
• 未声明输出约束的影响是什么？

解答 #

1. 为什么printf能显示反转后的字符串？

你的内联汇编直接操作了str数组所在的内存区域。str是栈上分配的字符数组，汇编里的(%[str], %%ecx)这类指令，通过str的地址直接读写内存中的字符——交换操作完成后，栈上的str数组内容已经被彻底改成反转后的状态。printf调用时，直接从这个内存地址读取数据，自然能拿到反转后的字符串。

2. 和未声明输出约束的关系

这属于“碰巧工作”的场景，和未声明输出约束直接相关：

• 你把str作为输入约束传递，只是让编译器把str的地址放到某个寄存器供汇编使用。汇编并没有修改这个寄存器里的地址值，而是用地址去修改了内存内容。
• 输出约束的作用是告诉编译器：「这段汇编会修改某个变量的值，你要放弃对该变量的寄存器缓存，之后重新从内存读取」。但你修改的是指针指向的内存，不是指针本身，加上汇编执行后立刻调用printf，编译器没机会对str的内存内容做优化（比如提前把字符加载到寄存器），所以printf读到了最新的内存值。

3. 未声明输出约束的风险

这种写法不安全，开启编译器优化（如-O2）后极可能出错：

• 编译器可能会把str的部分内容缓存到寄存器里，汇编执行后，printf直接使用缓存的旧值，导致打印未反转的字符串。
• 正确的修复方式是在clobber部分添加"memory"，告诉编译器这段汇编修改了内存，让编译器重新读取内存中的值：

  :
  : [str] "r" (str), [len] "r" (length)
  : "%esi", "%ecx", "%al", "%bl", "memory"
  

4. str如何传递给printf？

当你把数组str作为参数传给printf时，C语言会自动把数组退化为指向第一个元素的指针。printf接收到这个指针后，从该地址开始逐字节读取字符，直到遇到'\0'终止符——因为你的汇编已经修改了内存里的字符序列，所以printf读取到的就是反转后的字符串。

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