NASM 64位汇编类型说明符选择及变量寄存器迁移疑问

嘿，我来帮你拆解这些NASM 64位汇编的问题，说得直白点：

1. 怎么选择类型说明符？ #

类型说明符（byte/word/dword/qword这些）本质是给NASM递个明确的信号：“我要操作的内存数据是多大的”——毕竟有时候汇编器没法从指令本身推断出操作数大小（比如直接给内存赋值常量的时候）。

选择的核心原则就是匹配数据的实际存储大小，或者目标寄存器的宽度：

• 操作1字节数据（比如单个字符、8位整数）→ 用byte
• 操作2字节数据（对应16位寄存器ax/bx等）→ 用word
• 操作4字节数据（对应32位寄存器eax/ebx等）→ 用dword
• 操作8字节数据（对应64位寄存器rax/rbx等）→ 用qword

举几个实际例子：

mov byte [my_char], 'A'   ; 给1字节变量赋值字符
mov ax, word [my_16bit]   ; 把2字节内存数据读到16位寄存器ax
mov qword [my_64bit], rcx ; 把64位寄存器rcx的值写入内存

2. 用resb 2预留的变量，移入ax/bx等寄存器时用word还是byte？ #

首先，resb 2是预留了2字节的连续内存空间——这本质上就是一个16位的存储单元（虽然resb是按字节预留的，但2字节=1个word）。

如果你想把这2字节作为一个完整的16位值读到ax/bx这类16位寄存器里，必须用word：

mov ax, word [var]  ; 正确：把var开始的2字节整体加载到ax

要是用byte的话，只会读取var地址的第一个字节，而且因为ax是16位寄存器，NASM会直接报错（操作数大小不匹配）。如果只是想读其中某一个字节，那应该写mov al, byte [var]（读第一个字节到al）或者mov ah, byte [var+1]（读第二个字节到ah），但这就不是把整个变量移入寄存器了。

3. 怎么把3字节变量移入4位寄存器ebx？ #

x86架构没有原生的3字节加载指令，所以得手动“拼接”数据，分两种场景处理：

场景1：3字节是无符号数（零扩展到ebx的高8位） #

先把ebx清零，再分步骤加载每个字节并拼接：

xor ebx, ebx          ; 先把ebx初始化为0，避免残留旧数据
mov bl, byte [var]    ; 加载3字节中的最低位到bl
mov bh, byte [var+1]  ; 加载中间字节到bh
shl ebx, 8            ; 把已加载的2字节左移8位，腾出低8位
mov bl, byte [var+2]  ; 加载最高位字节到bl

或者用movzx（零扩展加载）更简洁：

xor ebx, ebx
movzx ebx, word [var]  ; 加载低2字节到ebx，高16位自动清零
shl ebx, 8             ; 左移8位，把低2字节移到中间位置
movzx ecx, byte [var+2] ; 加载最高位字节到ecx（高24位清零）
or ebx, ecx            ; 拼接两个部分，得到完整的3字节零扩展值

场景2：3字节是有符号数（符号扩展到ebx的高8位） #

如果3字节是有符号数，需要把最高位的符号位扩展到ebx的高8位，确保数值的正负性正确：

; 先把最高位字节符号扩展到32位
movsx eax, byte [var+2]  ; 符号扩展最高位字节到eax（高24位补符号位）
shl eax, 16              ; 把这个字节移到eax的高8位（对应ebx的第16-23位）
; 再加载低2字节并拼接
movzx edx, word [var]    ; 零扩展低2字节到edx
or eax, edx              ; 拼接得到完整的32位有符号值
mov ebx, eax             ; 赋值给ebx

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