作者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/cn.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