[問題] (C++ Primer)有關auto &的疑問

[TyrionLannis (小惡魔)]

由於不是問程式碼相關的題目，故前面敘述恕刪，最近剛開始看C++ Primer，
讀到Ch3多維陣列的部分(P128)，它裡面給了另一種用auto來跑for loop的方式，舉個
例子來說:
int ia[2][2]={1,2,3,4};
//印出陣列的每個元素值
for(auto &row : ia)
   for(auto col :row){
      cout<< col << endl;
   }
書中註明，auto &row中的&不能省略，否則編譯器會把row轉成一個pointer(指
向每列的第一個元素)，跑到第二個loop的時候就變成違法的指令了(原文:That
loop attempts to iterate over an int*)，所以說一定要要有&才會把row轉成
一個一維陣列，然後我就有點不懂為什麼編譯器會這樣做了，畢竟前面講auto的
內容好像沒有有提到auto聲明的時候加上reference會造成這種最後type的不同，
想請問這是C++的規定還是背後有什麼特別的哲學(或者機制)嗎?

---------
讀到下一頁的時候發現更玄了QQ他又介紹另一種語法:
for(auto p = ia;p != ia+2 ; ++p){
     for(auto q = *p; q ! = *p + 4; ++q ){
        cout << *q << ' ';
     }
cout << endl;
}
這樣的話是ok的，不太懂這個跟上面的code邏輯差在哪...-

--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 140.112.250.112
※ 文章網址: https://www.ptt.cc/bbs/C_and_CPP/M.1544187526.A.E35.html
※ 編輯: TyrionLannis (140.112.250.112), 12/07/2018 21:51:44
→ poyenc: 這跟 range-based foor 會用到的操作有關
→ poyenc: https://bit.ly/2Stce3G 有看過 iterator 相關的章節嗎?
目前只看到第三章，之前有一節是iterator的介紹但好像沒說到這塊，請問是否後面章節
會再說明呢?
※ 編輯: TyrionLannis (140.112.250.112), 12/07/2018 23:56:44
→ poyenc: range-based for 就是簡化以迭代器尋訪集合的語法糖, 如果
→ poyenc: 你之前有看過迭代器來尋訪 vector 的章節, 那這邊的原理是
→ poyenc: 一樣的, 只是需要先照我上面貼的連結提到的, 把
→ poyenc: begin_expr 跟 end_expr 找出來, 剛好陣列會透過
→ poyenc: array-to-pointer conversion 轉成指標. 先試著自己展開
→ poyenc: 一層試試
→ poyenc: 剛開始用一維的陣列來作會簡單些
→ poyenc: 還是回一下文好惹 :o
※ 編輯: TyrionLannis (140.112.250.112), 12/08/2018 09:47:29
推 firejox: 簡單講 auto 是pass value
→ firejox: auto&是 pass reference