C++はどのようにconst doubleを処理しますか？＆はintを参照していますか？

Question

今朝私がBOOST_STATIC_ASSERTを使用して間違ったタイプの参照を作成していないことを確認するためにテンプレートコードを作成していました。

#include <iostream> 

int main() 
{ 
    int x = 5; 
    const double& y = x; 
    std::cout << y << std::endl; 

    return 0; 
} 

：私は、私はあなたがconstのダブル&がintに言及作るしようとしたときにも文句を言わないのgccを発見するためにショックを受けた代替コンパイラエラーを見てみることを静的アサートを削除しようとしたがときコンパイルしても警告しません：

$ g++ ~/stuff/badRef.cpp -Wall -Wextra -pedantic 
$ a.out 
5 

ここでは何が起こっていますか？これは未定義の動作ですか？もしそうなら、なぜgccは文句を言わないのですか？私のマシンでは、intは4バイト、doubleは8です。つまり、doubleを印刷すると、そのアドレスの8バイトをdoubleと解釈して出力するはずですが、実際にはその位置に4バイトのintがあります。

非常に混乱しています。助けて！

Answer 1

const double& y = x;は、値static_cast<double>(x)の一時的なdoubleを作成し、その一時的な値をyにバインドします。一時的なライフタイムは、寿命がyになるように延長されます。

これは完全に合法的なC++（03と11）なので、警告/エラーがありません。

Answer 2

const T&は一時的にバインドできるため、doubleに変換され、コピーはyにバインドされています。チェックすると、&x != &yが表示されます。この動作の理由は、リテラルをconst参照でパラメータをとる関数に渡すことができるようにするためです。

Answer 3

十分に定義されており、合法です。 yは一時的なものを指します。また、参照がをCONSTされていない場合、これは有効なC++ ではないこと

void foo(const int& p); 
foo(3.14); 

注：パラメータを渡すときにも考慮する。 VS 6は間違っていて、一時的な参照をバインドすることを許可しました。これはconst参照にのみ適用されます。

Answer 4

これはポインタと参照が同じだと思う人のための良い例です。

double const*const y2 = &x; 

gives 
bad.cpp:7:30: error: cannot convert ‘int*’ to ‘const double* const’ in initialization 

参考になる理由は、他の記事で説明されています。