Array e rvalue

Question

$ 4,2/1 - "An Ivalue o rvalue di tipo ‘matrice di N T’o‘vettore di sconosciuta bound T’può essere convertito in un rvalue di tipo‘puntatore a T’ Il risultato è un puntatore al primo elemento della matrice. "

Non sono sicuro di come si ottiene un valore di un tipo di matrice diverso dall'inizializzazione/dichiarazione?

Answer 1

Non è possibile ottenere un valore del tipo di array. Le matrici possono essere solo lvalue e ogni volta che vengono utilizzate in un lvalue decadono in un puntatore al primo elemento.

int array[10]; 
int * p = array; // [1] 

L'espressione array in [1] è un lvalue di tipo int (&)[10] che viene convertito in un rvalue di tipo int *p, cioè la matrice rvalue di N == 10 == T int viene convertito un lvalue di tipo puntatore a T == int.

Answer 2

Questo potrebbe rappresentare la possibilità di dimostrare il valore Array Rvalue?

int main(){ 
int buf[10][10]; 

int (*p)[10] = buf; 

int (*p2)[10] = p;  // LValue to Rvalue conversion of Array type 'p' 
} 

Answer 3

Non sono sicuro di ciò a cui si fa riferimento per "inizializzazione/dichiarazione" in questo contesto. Nel seguito, la matrice è una prvalue

template<typename T> using alias = T; 

int main() { return alias<int[]>{1, 2, 3}[0]; } 

Questo può essere verificato decltype(alias<int[]>{1, 2, 3}) avere il tipo int[3]. La creazione di array in questo modo al volo non era inizialmente pensata per funzionare, ma è stata inserita nel progetto di lavoro a margine del lavoro correlato sull'inizializzazione uniforme. Quando mi sono reso conto che alcuni paragrafi nella bozza di lavoro C++ 0x non consentono un caso speciale di questa creazione al volo di array temporaries mentre altri paragrafi lo consentono, ho inviato un rapporto sui difetti al comitato C++, che poi sulla base l'implementazione parzialmente funzionante del GCC ha deciso di sostenere pienamente questo.