matriz y RValue

Question

$ 4.2/1 - "An lvalue o rvalue de tipo ‘array de N T’o‘variedad de desconocido unido de T’puede ser convertido en un rvalue de tipo‘puntero a T.’ El resultado es un puntero al primer elemento de la matriz. "

No estoy seguro de cómo obtener un rvalue de un tipo de matriz que no sea durante la inicialización/declaración?

Answer 1

No se puede obtener un rvalue del tipo de matriz. Las matrices solo pueden ser lvalues, y siempre que se utilizan en un valor l decaen a un puntero al primer elemento.

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

La expresión array en [1] es un lvalue de tipo int (&)[10] que se convierte a un valor p de tipo int *p, es decir, la matriz rvalue de N == 10 t == int se convierte a un lvalue del tipo puntero a T == int.

Answer 2

¿Estaría la oportunidad de demostrar 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

No estoy seguro de a qué se refiere por "initialization/declaration" en este contexto. En lo siguiente, la matriz es un prvalue

template<typename T> using alias = T; 

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

Esto se puede verificar por decltype(alias<int[]>{1, 2, 3}) tener el tipo int[3]. La creación de matrices de esta manera sobre la marcha no se pensó inicialmente para funcionar, sino que se deslizó en el borrador de trabajo a propósito del trabajo relacionado sobre la inicialización uniforme. Cuando me di cuenta de que algunos párrafos en el borrador de trabajo de C++ 0x desaprobaban un caso especial de esta creación sobre la marcha de arreglos temporales de matriz mientras que otros párrafos lo permitían, envié un informe de defectos al comité de C++, que luego sobre la base de la implementación parcialmente operativa de GCC decidió apoyarlo completamente.