002、基本数据类型的表现形式

类型不会完整保存在机器代码里

反汇编通常只能直接告诉我访问宽度和指令语义，不能自动还原源码类型。

1	mov eax, dword ptr [ebp+8]

这里只能确定读取 4 Byte。它可能是 int、unsigned int、指针、枚举或浮点数的原始位模式，必须结合后续使用判断。

类型恢复是一组证据的交叉验证，不是由单条 MOV 指令决定。

有符号和无符号整数采用相同位模式，差异体现在解释和指令选择上。

整数溢出时：

浮点数采用 IEEE 754 编码。常见观察点：

1 2	movss xmm0, dword ptr [value] addss xmm0, xmm1

调试器中的十六进制位模式和浮点显示是同一组字节的不同解释。

单个字符本质上是整数编码。字符串需要同时判断：

1 2	41 42 43 00 → "ABC" 41 00 42 00 43 00 00 00 → L"ABC" 的常见 UTF-16LE 表现

源码中的 bool 通常占 1 Byte，但编译器在寄存器中可能使用更宽的临时值。

1 2	test eax, eax setne al

SETcc 把条件结果归一化为 0 或 1。不过条件判断本身只要求零与非零，不应假设所有真值在中间过程都等于 1。

地址是数值，指针是带有目标类型语义的变量，引用在编译后通常也通过地址实现。

1
2
3

int value = 7;
int* p = &value;
int& r = value;

逆向时重点观察：

1 2	mov eax, [ebp+8] ; 取得地址 mov ecx, [eax] ; 解引用读取 4 Byte

引用通常不能仅靠局部反汇编与指针严格区分，要结合函数原型和调用点。

#define 在预处理阶段替换，不一定留下独立对象；const 具有类型，可能拥有存储空间，也可能被编译器直接传播。

1	mov eax, 64h

这个 64h 可能来自字面量、宏或 const，只靠机器代码通常无法恢复源码写法。

看到立即数时优先恢复它在算法中的语义，不要急着断言源码使用了宏还是常量对象。