無法將uint64_t正確轉換為double。 我想念什么？

Question

為了提供一些背景信息，我正在用C對Java 8的JVM進行編碼，並且試圖打印位於常量池中的Double值。

我有兩個變量uint32_t代表雙精度值的高低值。 我正在嘗試將其打印出來，但是我無法弄清楚我的代碼出了什么問題。

我嘗試打印所有值進行檢查。

uint64_t high_arg, low_arg, double_value;

high_arg = cp[cpIndex-1].info.Double.high_bytes; // value is = 0x0000000040000000
low_arg = cp[cpIndex-1].info.Double.low_bytes; // value is = 0x0000000000000000
double_value = (high_arg << 32) | low_arg; // value is = 0x4000000000000000
printf("%f\n", (double)double_value);

它打印出double:4.61169e+18但應該返回2

我想念什么？

Answer 1

@JonathanLeffler明智地指出，解決方案是將表示double的整數轉換為double指針，並打印其內容。

printf("%f", *(double *)&double_value);