關於c++中用extern引用的變數類型與定義類型不一致的一個疑問？

int i = 690;
int f = 100;

using namespace std;

int main()
{
int x=690;
double y=*(double*)(x);
cout&<&

至於為什麼是3.40905e-321 而題主誤認為是0，是因為690對應的二進位序列轉化成double類型是一個denormalized number，不是普通的含有尾數和階碼的normalized number。

下面詳細對比不同編譯器在這種情況下的行為

首先看下題主的問題在win 10下的vs community 2015下的行為：

#include&
using namespace std;
extern double x;
int main() {
cout &<&< "x is : " &<&< x &<&< endl; extern void p(); p(); return 0; }

b.cpp

#include&
using namespace std;
int x = 690;
void p()
{
cout &<&< "x is : " &<&< x &<&< endl; }

說明：在題主原來的a.cpp基礎上把extern p()改為了extern void p()，否則直接提示語法錯誤，編譯會出現這樣的錯誤：

a.obj : error LNK2001: 無法解析的外部符號 "double x" (?x@@3NA)

這個結果說明vs 給出了正確的編譯行為。

下面看看在Ubuntu 14.04LTS g++ 4.8.4下的行為：

和題主運行情況一樣：

下面看下彙編代碼：

00000000004008ed &:
4008ed: 55 push %rbp
4008ee: 48 89 e5 mov %rsp,%rbp
4008f1: 53 push %rbx
4008f2: 48 83 ec 18 sub $0x18,%rsp
4008f6: 48 8b 1d 7b 07 20 00 mov 0x20077b(%rip),%rbx # 601078 &
4008fd: be a4 0a 40 00 mov $0x400aa4,%esi
400902: bf 80 10 60 00 mov $0x601080,%edi
400907: e8 c4 fe ff ff callq 4007d0 &<_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc@plt&>
40090c: 48 89 5d e8 mov %rbx,-0x18(%rbp)
400910: f2 0f 10 45 e8 movsd -0x18(%rbp),%xmm0
400915: 48 89 c7 mov %rax,%rdi
400918: e8 43 fe ff ff callq 400760 &<_ZNSolsEd@plt&>
40091d: be f0 07 40 00 mov $0x4007f0,%esi
400922: 48 89 c7 mov %rax,%rdi
400925: e8 b6 fe ff ff callq 4007e0 &<_ZNSolsEPFRSoS_E@plt&>
40092a: e8 5e 00 00 00 callq 40098d &<_Z1pv&>
40092f: b8 00 00 00 00 mov $0x0,%eax
400934: 48 83 c4 18 add $0x18,%rsp
400938: 5b pop %rbx
400939: 5d pop %rbp
40093a: c3 retq


000000000040098d &<_Z1pv&>:
40098d: 55 push %rbp
40098e: 48 89 e5 mov %rsp,%rbp
400991: 53 push %rbx
400992: 48 83 ec 08 sub $0x8,%rsp
400996: 8b 1d dc 06 20 00 mov 0x2006dc(%rip),%ebx # 601078 &
40099c: be ac 0a 40 00 mov $0x400aac,%esi
4009a1: bf 80 10 60 00 mov $0x601080,%edi
4009a6: e8 25 fe ff ff callq 4007d0 &<_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc@plt&>
4009ab: 89 de mov %ebx,%esi
4009ad: 48 89 c7 mov %rax,%rdi
4009b0: e8 bb fd ff ff callq 400770 &<_ZNSolsEi@plt&>
4009b5: be f0 07 40 00 mov $0x4007f0,%esi
4009ba: 48 89 c7 mov %rax,%rdi
4009bd: e8 1e fe ff ff callq 4007e0 &<_ZNSolsEPFRSoS_E@plt&>
4009c2: 48 83 c4 08 add $0x8,%rsp
4009c6: 5b pop %rbx
4009c7: 5d pop %rbp
4009c8: c3 retq


請注意main函數中位於4008f6的那條指令和p函數中400996的那條指令：

4008f6: 48 8b 1d 7b 07 20 00 mov 0x20077b(%rip),%rbx # 601078 &


p:

400996: 8b 1d dc 06 20 00 mov 0x2006dc(%rip),%ebx # 601078 &


注意到兩條指令的源地址都是全局變數x,也就是內存為0x601078的地方。

目的操作數rbx是一個64位寄存器，ebx是一個32位寄存器，準確說是rbx的低32位，那麼上面指令的分別就是:

main: 從x所在的地址0x601078讀64位到rbx.

而實際上我們知道x是一個32位的int，所以在rbx中還多讀了x後面地址的32位，然後調用cout的時候就當成了64位的double來處理了。

下面說明：為什麼32位的int 690為什麼會變成64位double 3.40905e-321？

當讀取64位時，低32位就是原來的int，也就是690，十六進位是0x000002b2。

#include&
using namespace std;

int main() {
int x[] = { 690,0 };
double double_x = *((double *)x);
cout &<&< double_x; }

運行結果，vs和g++都是3.40905e-321

那麼32位的690加上一個32位的0為什麼會是64位的3.40905e-321：

此時，階碼值是1-Bias，Bias是一個等於的值，k的階碼域的位數，double中是11位。尾數就是小數欄位的值。

那麼寫成數學表達式是：

上面的式子依次是符號位*2^(階碼)*尾數然後得到

#include &

int main(){
double x = 3.40905e-321;
int y = *(int *)(x);
printf("%d
", y);
return 0;
}


輸出是690。

這種情況鏈接器讓你通過真是不懷好意。

反正我這被鏈接器攔下來了，題主可以試試直接把x的定義幹掉還能不能過。