La differenza tra int a [5] e int (& a) [5] nella deduzione dei parametri del modello

Question

Questa domanda riguarda le funzioni che utilizzano matrici di dimensioni statiche note.

Prendiamo ad esempio il seguente programma minimo:

#include <iostream> 

template<size_t N> 
void arrfun_a(int a[N]) 
{ 
    for(size_t i = 0; i < N; ++i) 
     std::cout << a[i]++ << " "; 
} 

int main() 
{ 
    int a[] = { 1, 2, 3, 4, 5 }; 
    arrfun_a<5>(a); 
    std::cout << std::endl; 
    arrfun_a<5>(a); 

    return 0; 
} 

che, una volta eseguito, stampa il risultato atteso:

2 3 4 5 6 
3 4 5 6 7 

Tuttavia, quando ho cercato di avere il mio compilatore (VS 2010) deduce il 5, è could not deduce template argument for 'int [n]' from 'int [5]'.

Un po 'di ricerca portato alla aggiornato arrfun_b dove il parametro di template detrazione funziona:

template<size_t n> 
void arrfun_b(int (&a)[n]) 
{ 
    for(size_t i = 0; i < n; ++i) 
     std::cout << ++(a[i]) << std::endl; 
} 

Il risultato del programma è la stessa, sia arrfun_a o arrfun_b si chiama.

Finora, l'unica differenza che ho trovato è se la deduzione modello argomento funziona e se è possibile chiamare la funzione con una N che non è 5 ...

Answer 1

Il compilatore cambia silenziosamente il tipo di funzione argomento int a[N] a int *a e quindi perde la dimensione della matrice. int(&a)[5] è veramente un riferimento a un array di dimensione 5 e non può essere passato a un array di altre dimensioni.

Answer 2

Penso che sia la differenza tra un riferimento e un puntatore.

arrfun_a passa un puntatore a int.

arrfun_b passa un riferimento a un array di ints.