作者yoco315 (眠月)
看板C_and_CPP
标题[语法] bind( map<int,int>::value_type::first, _1 )
时间Thu Jul 23 23:06:57 2009
请问这个语法是什麽鬼 /_\
出自这边...
http://stackoverflow.com/questions/110157/how-to-retrieve-all-keys-or-values-from-a-stdmap/110228#110228
虽然我知道 bind
也知道 map
也知道 map::value_type
也知道 boost::lambda::_1
但是 bind( &std::map<int,int>::value_type::first, _1 )
我实在困惑了..
bind 怎麽有办法用 &std::map<int,int>::value_type::first 这种语法
去取得 pair 的 first 成员...
有没有大师可以开示一下.. <(_ _)>
--
To iterate is human, to recurse, divine.
递回只应天上有, 凡人该当用回圈. L. Peter Deutsch
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 118.160.105.20
1F：推 karcher:推 07/23 23:16
2F：→ tinlans:_1 是指定 object 吧。 07/23 23:57
3F：→ tinlans:上面回太短，bind 第一引数是成员指标时，第二引数是 obj 07/23 23:59
4F：→ tinlans:所以那个语法有什麽问题吗？ 07/24 00:02
5F：→ tinlans:还是说你搞混 map::mapped_type 和 map::value_type。 07/24 00:05
6F：→ tinlans:map<int,int>::value_type 是 pair<const int, int> 07/24 00:06
7F：→ tinlans:pair<const int, int>::first 就是一个 const int 实体。 07/24 00:07
8F：→ tinlans:bind() 的求值语意当 _1 是 value 或 ref 时就是 _1.first 07/24 00:08
9F：→ tinlans:，_1 是 pointer 的时候就是 _1->first。 07/24 00:09
10F：→ yoco315:我搞不懂的是bind里面是怎麽从一个成员指标拿到那个值 @@ 07/24 00:10
11F：→ firose:有个 boost::mem_fn 不是可以把资料成员指标转成函式? 07/24 00:16
12F：→ tinlans:bind(成员指标, 物件/物件参考/物件指标) 07/24 00:18
13F：→ firose:unspecified-6-1 bind(R T::*f, A1 a1) 此建构式会呼叫它 07/24 00:18
14F：→ tinlans:第二个参数要给才拿得到值，没给一定死。 07/24 00:19
15F：→ tinlans:上面的求值语意也可以想成 _1.*(成员指标) 和 07/24 00:21
16F：→ tinlans:_1->*(成员指标)，实作上是用 .* 和 ->* 把两个参数结合。 07/24 00:22
17F：→ tinlans:那个 bind() 也不过就是说成员指标绑定的物件延後给而已。 07/24 00:27
18F：→ tinlans:外面的 transform() 会负责把 map 里的 pair 一个一个塞给 07/24 00:36
19F：→ tinlans:_1 用，效果大概就是这样，推累了先来睡 XD 07/24 00:36
20F：→ yoco315:O_O 原来如此.. 一直以为 bind 只能用在 function 上面 07/24 03:25
21F：→ yoco315:哇北七了... 感谢大大详细解说 :D 07/24 03:26
22F：→ yoco315:这样想一想设计 bind 的人还真是厉害 @@.. 07/24 03:26
23F：→ yoco315:因为我之前也一直在想类似的问题. 但是就想不出来要怎麽作 07/24 03:26
24F：→ yoco315:看到有人给这个解答.. 但是看不太懂所以才上来问 @@ 07/24 03:27
25F：→ tinlans:其实以 OO 为主的程式搭 boost 用常会遇到类似的问题。 07/24 10:15
26F：→ tinlans:因为很多东西都在 class 里面，要抓比较麻烦。 07/24 10:16
27F：→ yoco315:伟哉 lambda ^O^ 07/24 21:57