Passare gli argomenti dell'array per riferimento

Question

Ho trovato una funzione con questa firma.

void foo(char (&x)[5]) 
{ 
} 

Questa è la sintassi per il passaggio di un array di dimensioni fisse per riferimento.

Il fatto che essa richiede parentesi attorno &x mi sembra insolito.

E 'probabilmente parte dello standard C++ 03.

Cos'è questo modulo chiamato e chiunque può indicare un riferimento alla norma?

C++ decl non è un amico ancora:

$ c++decl 
Type `help' or `?' for help 
c++decl> explain void foo(char (&x)[5]) 
syntax error 

Answer 1

Non c'è nulla di insolito o nuovo sulla sintassi. Lo vedi sempre in C con i puntatori. [] ha precedenza superiore a &, quindi è necessario inserirlo tra parentesi se si desidera dichiarare un riferimento a un array. La stessa cosa accade con * (che ha la stessa precedenza &): Ad esempio, per dichiarare un puntatore a un array di 5 caratteri in C, si farebbe char (*x)[5];. Analogamente, un puntatore a una funzione che accetta e restituisce un int sarebbe int (*x)(int); (() ha la stessa precedenza di []). La storia è la stessa cosa con i riferimenti, eccetto che i riferimenti sono solo su C++ e ci sono alcune restrizioni su quali tipi possono essere formati dai riferimenti.

Answer 2

Non c'è niente da spiegare, questo è semplicemente il modo le regole di analisi per le dichiarazioni lavorano in C++:

char & x[5] // declare x as array 5 of reference to char (not valid C++!) 
char (&x)[5] // declare x as reference to array 5 of char 

Attenzione: La prima versione non è C++ valida, tuttavia, poiché non è possibile avere matrici di riferimenti. Questa è solo una spiegazione della sintassi della dichiarazione. (Scusate se impiegare così tanto tempo per farlo bene, e grazie agli utili commenti!)

Se vi piace, potete inserire l'identificativo del tipo in livelli di parentesi se volete, quindi potete anche dire char &(x)[5] (primo caso) o char (((&x)))[5] (secondo caso).

Answer 3

c++decl lavora per lo più per questo. È solo un po 'schizzinoso su quello che gli dai.

c++decl> explain void foo(char (&)[5]) 
declare foo as function (reference to array 5 of char) returning void 

c++decl> explain void foo(char &[5]) 
declare foo as function (array 5 of reference to char) returning void 

Come indicato in un'altra risposta, una serie di riferimenti è illegale. La GNU C++ rapporti compilatore:

error: declaration of ‘x’ as array of references

A proposito, here è un link ad un programma di utilità online che serve cdecl (anche se lamenta riferimenti perché la versione ospitata dal sito è specifico C).