Matrice et rvalue

Question

$ 4.2/1 - « Un lvalue ou rvalue de type « tableau de N T » ou « tableau de inconnu lié de T » peut être converti en un rvalue de type « pointeur vers T. » Le résultat est un pointeur vers le premier élément du tableau. "

Je ne suis pas sûr de savoir comment obtenir une valeur de type tableau autre que lors de l'initialisation/déclaration?

Answer 1

Vous ne pouvez pas obtenir une valeur de type tableau. Les tableaux ne peuvent être que des lvalues, et chaque fois qu'ils sont utilisés dans une lvalue, ils se désintègrent en un pointeur vers le premier élément.

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

L'expression array dans [1] est un lvalue de type int (&)[10] qui est converti en un rvalue de type int *p, qui est, le réseau rvalue de N == 10 == T int est converti en une lvalue de type pointeur sur T == int.

Answer 2

Serait-ce une chance de démontrer 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

Je ne suis pas sûr de ce que vous faites référence à "initialisation/déclaration" dans ce contexte. Dans ce qui suit, le tableau est un prvalue

template<typename T> using alias = T; 

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

Cela peut être vérifié par decltype(alias<int[]>{1, 2, 3}) ayant le type int[3]. Créer des tableaux de cette façon à la volée n'était pas initialement destiné à fonctionner, mais a glissé dans le brouillon de travail en cours de travail connexe sur l'initialisation uniforme. Quand j'ai réalisé que certains paragraphes dans le brouillon de travail de C++ 0x interdisent un cas particulier de cette création à la volée de temporaires de tableau alors que d'autres paragraphes le permettent, j'ai envoyé un rapport de défaut au comité C++, qui de la mise en œuvre partielle de GCC a décidé de soutenir pleinement cela.