x86汇编中add指令为何存在类似隐式sizeof()的指针转换行为？

问题场景 #

给定以下x86汇编指令：

mov     eax, [ebp+StrPointer]
add     eax, 1
mov     [ebp+StrPointer], eax 

其中[ebp+StrPointer]是指向堆分配字符串的指针，这三条指令用于将指针更新为指向字符串的下一个字符。

疑问点：

• 第二条指令add eax, 1为何不需要改为加4？明明内存按字节寻址，加1对应下一个内存地址，但为何这里的1是“1字节”而非单纯数值1？比如若[ebp+StrPointer]的值为0xFFF0，原本以为add eax,1会得到0xFFF1，但疑惑是否会变成0xFFF4？
• 在C语言中，如下代码：

int a = 1;
int *ptr = &a;
ptr = ptr + 1;

编译器会转换为ptr = ptr + sizeof(int)*1，但汇编层面并没有sizeof调用，背后原理是什么？

解答 #

1. 汇编指令add eax,1的本质 #

x86汇编是无类型的底层指令，add指令只负责对寄存器里的数值做纯数学加法，没有任何类型相关的自动偏移逻辑。

这里的[ebp+StrPointer]指向的是字符串，而字符串的本质是char类型的字节序列，每个字符占1字节。所以要让指针指向下一个字符，只需要把指针的数值加1（对应内存地址移动1字节），这就是add eax,1的作用。你误以为会得到0xFFF4，是混淆了C语言的类型化指针算术和汇编的纯数值操作——如果是处理指向int的指针，要实现“指向下一个int”的效果，汇编里才需要写add eax,4（32位系统下int占4字节）。

2. C语言指针算术的汇编实现原理 #

C语言的指针算术是类型感知的，这是编译器在编译阶段完成的静态转换，不需要运行时调用sizeof：

• 编译器会根据指针指向的类型，自动计算偏移量：代码中的ptr + n会被转换成指针原始数值 + n * sizeof(指针指向的类型)。
• 以你给出的int指针例子来说，编译器在生成汇编时，直接会把ptr = ptr +1翻译成给指针寄存器加4的指令（比如add eax,4），整个转换过程在编译时就完成了，不存在运行时的sizeof调用。

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