Perché questo ciclo 'for' non è valido?

Question

consideri:

int ia[3][4]; 
for (auto row : ia) 
     for (auto col : row) 

Il primo for itera ia, i cui elementi sono matrici di dimensione 4. Poiché row non è un riferimento, quando il compilatore inizializza row Si converte ogni elemento dell'array (come qualsiasi altro oggetto del tipo array ) a un puntatore al primo elemento dell'array. Di conseguenza, in questo ciclo il tipo di row è int*.

io non sono davvero sicuro che ho capito come funziona questa auto, ma se posso supporre che dà automaticamente un tipo a una riga sulla base di ia membri di array di tipo, ma non capisco il motivo per cui questo tipo di for , dove la riga non è un riferimento, non è valida. Perché sta per succedere? "puntatore al primo elemento dell'array", a causa di cosa?

Answer 1

Il problema è che è un rowint * e non un int[4] come ci si aspetta, perché gli array decadimento di puntatori e non v'è alcun modo automatico per sapere quanti elementi puntatore viene.

per aggirare questo problema std::array è stato aggiunto in cui tutto funziona come previsto:

#include <array> 

int main() { 
    std::array<std::array<int, 4>, 3> ia; 
    for (auto &row : ia){ 
     for (auto &col : row){ 
      col = 0; 
     } 
    } 
} 

Annotare il & prima row e col che indicano che si desidera un riferimento e non una copia delle righe e delle colonne, in caso contrario, l'impostazione di col su 0 non avrebbe alcun effetto su ia.

Answer 2

Per evitare il decadimento del int[] per int* è possibile utilizzare &&

int main() { 
    int ia[3][4]; 
    for (auto && row : ia) 
     for (auto && col : row) 
      ; 
}