作者lovejomi (JOMI)
看板C_and_CPP
標題[問題] C++17 Structured binding 型別無法理解
時間Sun Jun 23 03:00:34 2019
最近會看到一些c++17語法 想說來研究一下
https://en.cppreference.com/w/cpp/language/structured_binding
網路上介紹的文章許多 但都完全只是"介紹" 我實際上遇到一些怪異的型別推導結果
完全無法歸納規則 可能變成 知道可以用 但不敢亂用....
也許cppref 有介紹的很完整但我實在是看不太懂他表達的
舉幾個例子
1. 這屬於網頁上的case幾?我不知道....
std::map<int, int> m;
for (auto& [k, v] : m) {
k = 123;
}
k 是const& 變成不能改 ??? why....
好那我
std::map<int, int> m;
for (auto [k, v] : m) {
k = 123;
}
k是const int....哪來的const....
2.
int a = 1, b = 2;
const auto& [x, y] = std::tie(a, b);
x = 5566;
一臉就是const! 但竟然x是 int&.....可以改 why....+2
好那我
auto [z, w] = std::tie(a, b);
z = 123;
我什麼都不加....乍看就是int
z竟然是int&....我不小心改到了a.....
這我可能還可以理解 他會去decltype(z) 結果是int& 但實在不好讀也很容易誤用
還有很多看不是很懂...
總覺得找不到可以簡單記憶的規則 連VC滑鼠移過去顯示的型態也是錯的....
請問版上有人能通透理解這些規則嗎@@
不然我還是覺得寫17以前寫法
for (const auto& p : map) 我可以明確知道他在寫什麼好懂許多
討論一下~
謝謝
--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 27.242.129.39 (臺灣)
※ 文章網址: https://webptt.com/m.aspx?n=bbs/C_and_CPP/M.1561230037.A.5C6.html
1F：推 suhorng: 因為 k, v 的 type 要查 map 的 iterator 指向什麼呀 06/23 05:52
2F：→ suhorng: for-range 轉成 for + begin/end, 然後 map 的 06/23 05:52
3F：推 RishYang: key是const是map的性質 06/23 05:54
4F：→ suhorng: value_type 是 std::pair<const Key, T>, 所以自然由 06/23 05:55
5F：→ suhorng: auto& [k,v] = *it 知道 k 是 const 06/23 05:56
6F：→ RishYang: pair<const K, T> 06/23 05:56
7F：→ RishYang: tuple<Types&...> tie( Types&... args ) 06/23 06:04
8F：→ lovejomi: 晚點理解一下 但意思是我無法馬上從code一眼看出型別 這 06/23 12:12
9F：→ lovejomi: 樣好嗎？ 06/23 12:12
10F：→ lovejomi: 而且2. 我寫了const 竟然沒用,感覺很容易誤會 06/23 12:13
11F：推 Fenikso: 我覺得這有一半是tie的問題.. 06/23 13:36
12F：→ Fenikso: 2的a是const ref to int, 不是ref to const int 06/23 13:36
13F：→ Fenikso: x 打錯 06/23 13:37
14F：噓 hsnuyi: 先搞懂map是啥 06/23 16:16
15F：推 suhorng: 我查你貼的連結, 提到 cv-auto 的地方在 array type A 06/23 16:24
16F：→ suhorng: 那裡, 所以看來是用到 array 上的時候才看得出來? 06/23 16:28
17F：→ suhorng: 我猜 const 不是加到 [???,???,...] 裡面的 identifier 06/23 16:29
18F：→ suhorng: 所以才會乍看之下沒有效 06/23 16:29
19F：→ lovejomi: key是const 但我如果是by value copy 他不該保留const 06/23 16:32
20F：→ lovejomi: 吧？ 06/23 16:32
21F：→ suhorng: 可是看他 case 2 寫的, 不管前面有沒有 cv 或不管有沒有 06/23 16:43
22F：→ suhorng: &, && 都是 "reference to std::tuple_element<i, E>::ty 06/23 16:43
23F：→ lovejomi: @fenikso: const ref 沒這種東西吧？一般語法也寫不出in 06/23 16:44
24F：→ lovejomi: t &const foo; 還是這裡有什麼高深原理？ 06/23 16:44
25F：→ RishYang: map與pair都不是array type 06/23 18:25
26F：→ RishYang: 所以不會copy行為 06/23 18:25
27F：→ firejox: 為何用std::tie，用std::tuple不好嗎 06/23 19:29
28F：推 xavier13540: map系列的key都是const 實際上這也很合理 06/23 20:14
29F：推 Fenikso: 對, 一般語法寫不出const ref, 但是在裡面有type alias的 06/23 20:57
30F：→ Fenikso: 情況下會允許這種組合出現, 然後compiler會好心的幫你把 06/23 20:57
31F：→ Fenikso: const丟掉 06/23 20:57
32F：→ Fenikso: 例如說你可以寫 using T = int&; using U = const T; 06/23 20:59
33F：→ Fenikso: 這時候U = const T = const ref to int = ref to int; 06/23 21:00
34F：→ lovejomi: 謝謝 原來這樣會去掉const 06/24 05:17