C++ 类型萃取

一、功能

类型萃取,在STL中用到的比较多,用于判断一个变量是否为POD类型.

简述来说可以用来判断出某个变量是内置类型还是自定义类型.

通过类型萃取,萃取到变量类型,对不同变量进行不同处理,可以提升程序效率.

二、应用场景

比如我们实现顺序表,在对顺序表进行扩容时,就靠重新开辟内存、拷贝对象.

拷贝对象时,就有两种情况:一种是类型,比如int char…;还有一种是自定义类型,Data类、String类.

对于内置类型,我们可以通过memset,来进行赋值.(扩展,浅拷贝相关的类也可以通过memset赋值)

而对于自定义类型,大多数深拷贝的对象来说,我们必须通过调用赋值语句来赋值.

因此,我们通常在拷贝对象时,为了不出现错误,都用赋值语句来赋值.

而我们如果有一种方法/机制可以判断POD类型或者非POD类型.

对于POD类型用memset函数,对于非POD用赋值,这样就能提高程序的效率

三、代码示例

类型萃取,在技术层面,就是利用了模板的特化.

简单类型萃取的实现代码:

namespace nmsp1
{
	template<typename T>
	void printTraitsInfo(const T& t) {
		cout << "---------------------begin-----------------------" << endl;
		cout << "我们要萃取的类型名字是：" << typeid(T).name() << endl;
		cout << "is_void = " << is_void<T>::value << endl;										//类型是否是void
		cout << "is_class = " << is_class<T>::value << endl;									//类型是否是 一个class
		cout << "is_object = " << is_object<T>::value << endl;									//类型是否是 一个对象类型
		cout << "is_pod = " << is_pod<T>::value << endl;									    //是否普通类（只包含成员变量，不包含成员函数）
		cout << "is_default_constructible = " << is_default_constructible<T>::value << endl;	//是否有缺省构造函数
		cout << "is_copy_constructible = " << is_copy_constructible<T>::value << endl;          //是否有拷贝构造函数	
		cout << "is_move_constructible = " << is_move_constructible<T>::value << endl;          //是否有移动构造函数
		cout << "is_destructible = " << is_destructible<T>::value << endl;						//是否有析构函数
		cout << "is_polymorphic = " << is_polymorphic<T>::value << endl;						//是否含有虚函数
		cout << "is_trivially_default_constructible = " << is_trivially_default_constructible<T>::value << endl;//缺省拷贝构造函数是否是可有可无的（没有也行），返回1表示确实可有可无
		cout << "has_virtual_destructor = " << has_virtual_destructor<T>::value << endl;						//是否含有虚析构函数
		cout << "---------------------end-----------------------" << endl;
	}

	class A {
	public:
		A() = default;
		A(A&& ta) = delete;           //移动构造：你要不写delete，系统一般就会认为你有这个成员函数
		A(const A& ta) = delete;      //拷贝构造  
		virtual ~A() {}
	};

	class B {
	public:
		int m_i;
		int m_j;
	};

	class C {
	public:
		C(int t) {} // 有自己的构造函数，编译器不会给你提供缺省构造函数
	};

	void func() {
		printTraitsInfo(int()); // 扔一个临时对象进去
		printTraitsInfo(string());
		printTraitsInfo(A());
		printTraitsInfo(B());
		printTraitsInfo(C(1));
		printTraitsInfo(list<int>());
	}
}

int main(int argc, const char* argv[])
{
	nmsp1::func();

	return 0;
}