C++ 类型擦除

为什么要类型擦除

在使用容器的时候，std::vector<int> ,存储的类似是int，我们都支持vector是一个模板类，可以支持不同的类型。但是如果一个vector只能支持一种类型。

但是有一个需求需要在一个容器内存储不同的类型，例如：int , double 那容器肯定是没有办法支持的。

 

如何解决：

那只有一个办法将int 和 double 转换成一个类型，例如这个类型就叫做Any。这个Any类型可以在转换int，和double 。此时我们vector就可以存储所有的类型了，std::vector<Any> 

 

项目案例

了解了将类型擦除的背景，我来看一个具体的实例，在一个项目中，需要事件总线解决不同模块的通信问题。大概的方式需要注册可调用对象（回调函数等），将注册的对象存储到map中，例如：std::map<string, callback>。通过上面的讲解我了解到，如果是使用容器要求类型必须是一致才能存储到一个对象中。所以要求callback 的类型一致，但是我们知道在由于模块提供的功能不同，肯定希望模块提供的方法不同，这样就导致可调用对象callback 的类型不同。

如何解决

我们假设 using callback1 = void (*func1) (int);

using callback2 = void (*func2)(double);

还是利用上面的思想，我们将不同的可调用对象callback1 和 callback2转换相同的类型Any。使用Any类型进行存储就可以满足需求了。我们将面临2个问题

1、如何将不同的类型转换成类型Any？

2、我们在使用callback的时候，如何在Any 转换成对应的类型呢？

 

如何将不同的类型转换成类型Any？

1、首先我们要在Any中存储下callback的具体类型，所以我们使用type_index 进行存储。是为了后边我们转换成对应的类型进行判断。

2、将callback进行存储，我们可以将类型转换成无类型的抽象类。例如：struct Base {  virtual ~Base() {} };

所以我们知道Any的类型是这个样子的

struct Base {  virtual ~Base() {} };

struct  Any
{
    Base* m_ptr;                //存储callback对象
	type_index m_typeIndex;     //存储callback类型
};

3、Base 是如何存储callback的类型的

使用模块类继承于Base ,这样不同类型的对象都可以使用基类进行存储。通过Derived<T>的封装将callback类型保存下来。

template <typename T>
	struct Derived :Base 
	{
		Derived(T && value) : m_value(forward<T>(value)) {}
		
		T m_value;
	};

Base * b = new Derived<T>(callback);

4、将Base 转换成对应的类型进行使用，需要判断指定的类型是否可以转换。如果可以将Base类型转换成对应子类Derived<U>类型，获取保存的可调用对象U m_value进行返回。

template<class U >
	U& AnyCast()
	{
		if (!Is<U>()) // 根据type_index判断是否相同
		{
			throw bad_cast();
		}
		auto derived = dynamic_cast<Derived<U>*> (m_ptr); //将Base转换成对应子类
		return derived->m_value;
	}


QStringList ids = any.AnyCast<>();

using function_type = function<void(Args...)>;

 

5、函数类型的转换

需要支持多种类型的调用，其中可调用类型包含

• 普通函数
• 类成员函数
• 类静态函数
• 仿函数
• 函数指针
• lambda表达式 C++11加入标准
• std::function C++11加入标准

如何将可调用对象转换成统一调用，统一使用funtion的方式。方便存储和转换。也就是将其他调用类型转换成funtion的方式。

using stl_function_type = function<function_type>;