GCC内联汇编未引用的"m" (*(const char (*)[]) p)操作数作用是什么

该操作数并非冗余，核心作用是显式告知GCC编译器当前内联汇编会读取p指向的连续字符串内存，避免优化导致的逻辑错误。 #

GCC不会解析你编写的汇编指令内容，所有汇编用到的寄存器、内存、状态位都必须通过输入输出操作数、破坏列表显式声明，否则编译器的指令重排、常量折叠等优化逻辑会误判汇编的行为，产生错误的执行结果。
这个内存操作数的作用可以拆解为两点：

• 首先"m"约束声明了这段汇编会访问内存，那个看起来很奇怪的类型转换*(const char (*)[]) p，是把指针p强转为「指向任意长度的char数组的指针」再解引用，本质是告诉GCC：汇编会访问p指向的一整段长度未知的连续char内存，而不是只有首地址的单个char。如果只写"m" (*p)，编译器只会认为你读了p指向的第一个字节，还是会误判后续内存访问行为。
• 如果你删掉这个操作数，编译器会完全不知道repne scasb指令会读取p指向的内存。举个实际的错误场景：如果调用test函数前，你刚给p指向的字符串赋值，开O2优化时，编译器可能会把赋值操作重排到汇编执行之后，因为它判断汇编没有用到这段内存，最终scasb读取的是未初始化的脏内存，逻辑完全错误。

你在编译平台看到的差异只是低优化级别、简单测试用例下的表象，一旦开启高优化等级、或者上下文存在和p指向内存相关的操作，删掉该操作数的版本大概率会出现难以排查的玄学bug。
另外要补充的是，也有很多开发者会选择在内联汇编的破坏列表加memory来声明内存访问，但memory会告知编译器所有内存都被修改，会导致大量不必要的内存读写无法被优化，这个显式声明对应内存区域的写法性能更好，优化空间更大。

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