如何在c中乘以32位整数

Question

执行：

#define HIGH32(V64) ((uint32_t)((V64 >> 32)&0xffFFffFF))
#define LOW32(V64) ((uint32_t)(V64&0xffFFffFF))

uint32_t a = 0xffFFffFF;
uint32_t b = 0xffFFffFF;
uint64_t res = a * b;
printf("res = %08X %08X\n", HIGH32(res), LOW32(res));

给予：

"res = 00000000 00000001"

但我期待：fffffffe00000001。我做错了什么？单一作业：

res = 0x0123456789ABCDEF;
printf("res = %08X %08X\n", HIGH32(res), LOW32(res));

给出

res = 01234567 89ABCDEF

环境：

$gcc --version
gcc (GCC) 4.8.3
Copyright (C) 2013 Free Software Foundation, Inc.

$ gcc -v
COLLECT_GCC=gcc
COLLECT_LTO_WRAPPER=/usr/lib/gcc/i686-pc-cygwin/4.8.3/lto-wrapper.exe
dest arch: i686-pc-cygwin

$ file a.exe
a.exe: PE32 executable (console) Intel 80386, for MS Windows

Answer 1

您目前有：

uint64_t res = (uint32_t) a * (uint32_t) b;

您需要在乘法之前将参数提升为64位数。因此：

uint64_t res = (uint64_t) a * b;