原理:
std::function
函数包装器,原理是先将可调用对象(及其参数)保存起来,生成一个新的可调用对象来"适应"原对象的参数列表;到需要使用的时候再调用,这里的可调用对象可以包括:普通函数
、可调用对象
、类成员函数
、lambda表达式
等
类型擦除
在C++中类型擦除的方式有以下常见几种:
1.多态
多态一般都很了解,可以通过父类型指针来管理子类型的指针,实现了对子对象类型的隐藏。但这种方式的缺点也非常明显,需要写继承的类而且数据类型的隐藏并不全面,至少父类型始终要暴露出来。
2.模板
模板在前面也提到过多次,通过模板,可以实现对多种类型的行为操作进行抽象。比如一个模板的加法函数(比如多个类都调用此加法函数),可以实现对不同的数据类型的操作,如果对象也重载了加法,同样也可以使用。不过,在基本类型中,这种模板函数抽象的行为就无能为力了。
3.任意数据容器
容器之所以可以擦除,其实更类似于模板,这个不用多说。另外还有一种组合容器,其实有些类似共用体。比如std::variant
。但此种方式其实也明确了数据的类型,只是多了几种罢了,让编译器在真正使用时进行选择。所以这种类型擦除更接近一种类型判断。
4.闭包
所谓闭包,其实就是Lambda表达式,通过它和std::function的配合,实现类型的擦除。
使用std::function
实现类型擦除
class A
{
public:
void testFunc(int value);
}
std::function<void (int)> func = std::bind(&A::testFunc, this, std::placeholders::_1);
func(int value);
std::function<void ()> func2 = std::bind(&A::testFunc, this, 20);
func2();
第一个func
对象,在调用时,需要传递一个int
类型的参数,func
对象的函数签名,其实和类A的testFunc
函数签名一样
第二个func2
对象,是在构造时,就将参数20
保存起来了,等到后面调用时,只需要调用func2()
即可,而无需再传递参数,这就实现了一种简单的类型擦除,将A::testFunc(int)
类型的可调用对象,转换为了std::function<void ()>
类型的可调用对象保存
看一个例子:
std::unordered_map<std::string, std::function<Base* ()>> m_map;
template<typename Derive, typename ...Args>
void regist(const std::string& key, Args&& ...args)
{
if (m_map.find(key) != m_map.end())
{
qDebug() << "this key is exist!" << key.c_str();
return;
}
m_map.emplace(key, [&]()->Base* { return new Derive(std::forward<Args>(args)...); });
qDebug() << "regist successed!" << key.c_str();
}
这里的容器m_map
中函数包装器的类型为 std::function<Base* ()>
, 代码中是m_map.emplace(key, [&]()->Base* { return new Derive(std::forward<Args>(args)...); });
,等同于1. std::function<Base* ()> func = [&]() { return new Derive(std::forward<Args>(args)...); };
2. m_map.emplace(key, func);
这里其实就是上述的类型擦除,将子类的构造函数参数,封装到闭包对象func
中,这个闭包对象在调用时,就无需传递参数了;这样就统一了闭包对象的类型了,可以将其放入到容器中