在 C 语言中，*、=、++、<< |操作员

Question

u8 num[] = {0x00, 0x00, 0x40};

u8*ptr = num;

u8 tag;

u16 len;

tag = *ptr++;

len = (u16)*ptr++ <<8 | *ptr++;

我希望 len = 0x0040 但 len 在 Visual Studio 2013 中设置为 0x0000。 我不知道为什么会这样。 你能用运算符优先级的观点来解释吗？

Answer 1

关于运算符优先级，我建议你先看看这个table。

现在，++/-- 可能是棘手的运算符，因为您需要确定它们是前缀还是后缀运算符，如您在表中所见，如果它们是前缀运算符，它们将具有与 * 相同的优先级（取消引用）。

所以，让我们分析一下你的最后一行 len = (u16)*ptr++ <<8 | *ptr++; 的情况，有这组运算符 {=, (cast), *(dereference), ++(postfix), <<, |}，所以根据这个 table 的评估顺序将是 ++(postfix), *dereference, (type), <<, |, =

这与评估顺序有关，但您需要考虑：

后缀递增/递减具有高优先级，但 操作数的实际递增或递减被延迟（要 在语句完成执行之前的某个时间完成）。

也就是说，这里有几种方法可以实现您想要的：

ptr[1]<<8 | ptr[2]

或：

*(ptr+1) <<8 | *(ptr+2)

最后一个建议，当您处理具有相同优先级的运算符时要小心，正如您在表格中看到的那样，关联性可以是从左到右或从右到左。

PS：当然，生成的 asm 代码将取决于所使用的编译器和配置，这里是该行的调试模式下的 vs2015 示例：

; 7    :     u16 len = (u16)*ptr++ <<8 | *ptr++;

    mov ecx, DWORD PTR _ptr$[ebp]
    movzx   edx, BYTE PTR [ecx]
    shl edx, 8
    mov eax, DWORD PTR _ptr$[ebp]
    movzx   ecx, BYTE PTR [eax]
    or  edx, ecx
    mov WORD PTR _len$[ebp], dx
    mov edx, DWORD PTR _ptr$[ebp]
    add edx, 1
    mov DWORD PTR _ptr$[ebp], edx
    mov eax, DWORD PTR _ptr$[ebp]
    add eax, 1
    mov DWORD PTR _ptr$[ebp], eax

编码愉快。