作者TyrionLannis (小惡魔)
看板C_and_CPP
標題[問題] (C++ Primer)有關auto &的疑問
時間Fri Dec 7 20:58:43 2018
由於不是問程式碼相關的題目，故前面敘述恕刪，最近剛開始看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://webptt.com/m.aspx?n=bbs/C_and_CPP/M.1544187526.A.E35.html
※ 編輯: TyrionLannis (140.112.250.112), 12/07/2018 21:51:44
1F：→ poyenc: 這跟 range-based foor 會用到的操作有關 12/07 22:34
目前只看到第三章，之前有一節是iterator的介紹但好像沒說到這塊，請問是否後面章節
會再說明呢?
※ 編輯: TyrionLannis (140.112.250.112), 12/07/2018 23:56:44
3F：→ poyenc: range-based for 就是簡化以迭代器尋訪集合的語法糖, 如果 12/08 00:13
4F：→ poyenc: 你之前有看過迭代器來尋訪 vector 的章節, 那這邊的原理是 12/08 00:14
5F：→ poyenc: 一樣的, 只是需要先照我上面貼的連結提到的, 把 12/08 00:15
6F：→ poyenc: begin_expr 跟 end_expr 找出來, 剛好陣列會透過 12/08 00:17
7F：→ poyenc: array-to-pointer conversion 轉成指標. 先試著自己展開 12/08 00:19
8F：→ poyenc: 一層試試 12/08 00:19
9F：→ poyenc: 剛開始用一維的陣列來作會簡單些 12/08 00:22
10F：→ poyenc: 還是回一下文好惹 :o 12/08 00:27
※ 編輯: TyrionLannis (140.112.250.112), 12/08/2018 09:47:29
11F：推 firejox: 簡單講 auto 是pass value 12/08 11:29
12F：→ firejox: auto&是 pass reference 12/08 11:29