ポインタを使用するまで、配列への参照が機能しないのはなぜですか？

Question

これは非常にうまく機能

...

int a[5] = {1,2,3,4,5}, int *p = a; 
int *& ref = p; 

しかし、なぜ動作しないのは？

int a[5] = {1,2,3,4,5}; 
int*& ref = a; 

両方aとpはポインタであり、同じ値（a[0]のアドレス）を有します。 ポインタ（p）を使用して配列を参照すると、非常にうまく動作します。

しかし、私はその配列a[]を直接参照すると動作しません...なぜですか？

Answer 1

aはポインタではなく、配列です。タイプはint[5]です。それができることはポインタint*への減衰です。これは最初のケースで起こります。だから、pへの参照はOKです。

今や第2のケースです。 aはではなく、のポインタです。したがって、int[5]からint*に暗黙の変換が行われています。その変換の結果は価値があります。しかし、非const左辺参照（これはrefなのです）を右辺値にバインドすることはできません！したがって、コードはコンパイルに失敗します。

はここにアナロジーだ：

double a = 1.4; 
int& b = a; // implicit conversion from 'double' to `int` results in prvalue 
      // and you can't bind non-const lvalue refs to rvalues. 

Answer 2

int*& ref = a; 

int*はポインタ型ではなく、配列型です。だから、int[5]のaにバインドされません。だから、

、配列名がアドレス定数、非const参照が定数を参照することはできませんですので、それは、正常に動作していますconst

int* const& ref = a; 

を使用しています。すでに回答されているものにに追加

Answer 3

、あなたが

int a[5]; 
int (&ref)[5] = a; 

Live