C++11——decltype（提取表达式类型）

在C++2.0之前，其实已经有提取对象类型的方法，只是功能很弱：

#include<typeinfo>
#include<vector>
#include<iostream>
using namespace std;
int main()
{
	vector<int> v1;
	cout << "v1:"<<typeid(v1).name() << endl;
	//typeid(v1).name() v2;//error:无法用对象v1的类型名去创建v2
}

从上面的例子中可以发现，我们虽然可以拿到对象的类型名，但仅仅是可以打印出来看一下，没有其他作用。
而C++2.0以后的decltype关键字则使得编译器在提取表达式类型后，提取出的类型和普通类型使用方式基本没什么不同。在上面例子的基础上执行如下操作：

......
int main()
{......
	decltype(v1) v3;//提取对象v1的类型名去创建v2
	v3.push_back(12);
	cout <<"v3"<< typeid(v3).name() << endl;
}

decltype在标准库中被大量运用，主要的形式有以下三种：
声明返回值类型
对于模板函数的声明，有时并不知道其具体的返回值类型是什么，因此使用decltype让编译器帮忙推导返回值类型。

template<typename T1,typename T2>
auto add(T1 x,T2 y)->decltype(x+y);

元编程
在这里实质上就是提取对象的类型，就是文中一开始的例子。

传递lambda表达式类型
对于lambda表达式，我们往往只能通过表达式名+()执行调用，但没有类型，可以通过decltype(表达式名)获取lambda表达式的类型。

class MyComplex {
private:
	int real;
	int image;
public:
	MyComplex(int r, int i) :real(r), image(i) {}
	int realValue()const { return real; }
	int imageValue()const { return image; }
	friend ostream& operator<<(ostream& os, const MyComplex& mc);
};
ostream& operator<<(ostream& os, const MyComplex& mc)
{
	os <<"("<< mc.real<<","<<mc.image <<")"<< endl;
	return os;
}
void main()
{
	auto cmp = [](const MyComplex& p1, const MyComplex& p2) {//从大到小排序
		return p1.realValue()>p2.realValue()||(p1.realValue()==p2.realValue()&&p1.imageValue()>p2.imageValue());
	};
	set<MyComplex, decltype(cmp)> coll(cmp);
	coll.insert(MyComplex(1, 2));
	coll.insert(MyComplex(3, 4));
	coll.insert(MyComplex(5, 6));
	for (MyComplex mc : coll) {
		cout << mc;
	}
}