说明书上说：
"允许与指定操作数编号匹配的操作数。如果是数字 与字母一起使用时，数字应在最后。”
我不确定这是什么意思。
示例代码：
asm volatile("swap %0" : "=r" (value) : "0" (value));
【问题讨论】：
标签： c gcc assembly inline-assembly
这就像将"+r"(value) 输入/输出操作数拆分为单独的操作数（具有单独的 C 变量）用于输入和输出，同时仍然强制它们选择相同的寄存器。
具体"0" 表示“在与操作数 0 相同的寄存器中输入操作数”，在本例中为 "=r"(value)。所以无论%0 选择什么寄存器，%1 都是同一个寄存器。 操作数从左到右计数，从 0 开始。 当匹配约束引用较早的操作数时，asm 模板中的 %0、%1 等操作数的相同编号适用.
我只见过它与匹配输出约束的输入约束一起使用。这使您可以从模板中省略它，而不会冒编译器期望您的 asm 模板从一个 reg 复制到另一个的风险。
"+r"(value) 更容易为输入和输出使用相同的 C 变量。为此匹配约束是毫无意义的复杂性。
也许"+r" 只是在后来的 gcc 版本中添加的，因为您确实会看到在读/写操作数更容易时使用的匹配约束。
如果一个数字与同一替代中的字母一起使用，则该数字应排在最后。”
这是考虑给编译器提供多个约束选择的约束的可能性。例如"rm" 让编译器选择寄存器或内存。
x86 上的"a0" 将选择 EAX 或与操作数 0 相同的寄存器。我不确定那什么时候有用。也许它可以与早期的clobber一起使用来告诉编译器这个输入与某个输出在同一个寄存器中仍然可以？但可以选择任何寄存器，例如"r0"?
显然，如果您使用像 "r0" 这样的约束，您（通常）需要在 asm 模板中显式使用 %1（或它具有的任何数字或命名操作数），因为您不知道编译器会选择哪个位置给定周围的代码和优化级别。
在调试约束时，使用包含约束的 asm 注释会很有用，包括您要对其做出假设的那些。
asm ("swap %0 # other operand: %1 " : "=r"(output) : "0"(input));
生成的 asm 将为 %0 和 %1 打印两次相同的寄存器名称。这种情况是微不足道的；在更复杂的情况下它会变得更有趣。
就像您使用 "r"(input) 一样，您的代码可能会发生工作，因为编译器确实为输入和输出选择了相同的 reg（因为没有 early-clobber）。但是当它因为为output 选择了不同的注册而中断时（并且期望input 的原始值仍然在其注册中不变），您可以通过查看选择的约束的哪些注册然后意识到您来调试它假设他们会选择相同的 reg，但没有告诉编译器。
【讨论】：
0 是如何得出的。我认为一些提及如何计算约束会有所帮助。