上次说到在假设类型int下,成功的实现了一个“lambda”,这次,当然不能还在int的假设下了。我们的武器就是模板,说起来模板,话就长了。
这里略过,讲重点。
这是上次最后的代码,为了方便描述,再贴一份。
1 struct op
2 {
3 op(int i)
4 : _i(i)
5 {}
6
7 int _i;
8
9 int operator()(int& i)
10 {
11 i = _i;
12 }
13 };
14
15 struct place_holder
16 {
17 op operator=(int i)
18 {
19 return op(i)
20 }
21 };
22
23 place_holder _1;
24
25 for_each(v.begin(), v.end(), _1 = 3);
要去掉对int的依赖,先仔细想想对int的依赖都在哪里?说明白点就是整个程序,哪里都有int?
1. op的构造函数参数是int
2. op里面的成员变量 _i的类型是int
3. op的operator() 的返回值和参数都有int
4. place_holder的operator=的参数是int
当然 vector<int> 也有int,但这个不算 :)
总的来说,int和 一个变量 int op::_i, 三个函数 op::op(int i), op::operaator(int& i) 和 place_holder::operator=(int) 有关系,这一点很重要,类和函数在泛型中的作用不一样,
看看 http://www.cppblog.com/yindf/archive/2009/02/20/74397.html 中说的类模板和函数模板的区别吧。
再细分一点,和 _1 有关的int就只有op::operator()一个,其他都和 _1 没关系。
剩下的都和 3 有关系,想想 3 的传递路径, 从 place_holder::operator = 到 op::op(int i), 再到 op::_i。
也就是说op::operator()要一个独立的模板参数。
想想看,其实op::op(int i) 和 op::_i 是一个东西,构造函数就是为了初始化这个变量。所以这里选择泛化整个op,就是说构造函数的参数和变量是同一个类型。
对于place_holder::operator =, 是要泛化整个place_holder呢,还是只泛化place_holder::operator=呢,当然泛化函数,因为类不会进行类型推导。
意思是如果泛化类的话,你就要有为无数类型特化过的place_holder,这里很难理解,不理解的话,继续看下去吧。
现在就开始实做吧。
1 template <typename _U>
2 struct op
3 {
4 op(_U i)
5 : _i(i)
6 {}
7
8 _U _i;
9
10 template<typename _T>
11 _T& operator()(_T& i)
12 {
13 i = _i;
14 }
15 };
16
17 struct place_holder
18 {
19 template <typename _T>
20 op<_T> operator=(_T i)
21 {
22 return op<_T>(i)
23 }
24 };
25
26 place_holder _1;
27
28 for_each(v.begin(), v.end(), _1 = 3);
好了,泛化完成。难道就这么简单?事实就是这么简单。
来分析一下模板推导的过程吧, _1 = 3 调用,从下面这个函数开始,
1 template <typename _T>
2 op<_T> place_holder::operator=(_T i);
那么这个_T 被推导为 int, 然后返回一个 op<int>, 然后 op<int> 里面就有一个 int op<int>::_i;
于是,在for_each里面,相当于有这么一句:
1 op<int> p;
2 p(*iter);
op的模板参数被推定义为int了(不是推导的,类模板不会推导)。
所以手法是
先靠函数推导模板参数,再靠类保存类型信息。
于是,下面的函数模板
1 template<typename _T>
2 _T& op<int>::operator()(_T& i)
3 {
4 i = _i;
5 }
的模板参数 _T 就被推导成 *iter 的类型了,也就是容器的 value_type 了。
好了,到现在,一个赋值的lambda就做好了,它还能这么用:
1 double x;
2 (_1 = 5)(x);
就给x赋值5了,神奇吧。
因为 (_1 = 5)返回的是个lambda表达式,也就是个仿函数,:)
现在才看到lambda核心的一小部分,已经让人感觉眩晕了。
看看现在还存在的问题,只实现了一个赋值操作,其他的呢? 下篇继续。。。
posted on 2009-02-20 19:21
尹东斐 阅读(986)
评论(5) 编辑 收藏 引用 所属分类:
深入探索 boost::lambda 系列