一.前言
在之前,我曾花三篇文章讲述了C++委托机制的封装,到最后可以实现任意类型函数的捆绑,包括lambda表达式的注册。然而,这个委托机制还有一点需要完善,可能看标题大家知道这个需要完善的点儿是什么,不过不知道也关系,这个文章会由浅入深的讲述这个问题的来源,以及解决方案。
二.问题引入
在直接上委托代码之前我们先抽出问题本质,用简单的代码来发现问题,例子来源于<C++ primer>P612:
这个将编写一个Agent函数,它负责接受一个函数和两个参数,并且用这个函数来调用这两个参数。
template<typename Function,typename Param1,typename Param2>
void Agent(Function f,Param1 p1,Param2 p2){
f(p1,p2);
}
这个函数就相当于委托的一个雏形,一般情况下,这个函数能工作得很好,然而在当f的实例是一个接受引用参数的函数就会出现问题,因为无论左右值在模板的类型推演的过程中是不会带引用的。例如:
template<typename T>
void f(T a){}
f(1) -> T为int
int a;
f(a) -> T为int
如何解决这个问题呢?这里有两种方案:
1.使用move()或者ref()来”提醒”模板推演成引用类型。
class A
{
public:
A() { cout << "构造" << endl; }
A(const A&) { cout << "拷贝" << endl; }