函数指针类型与decltype

/*
decltype的使用：
以下来自百度百科的解释：
在C++中，decltype作为操作符，用于查询表达式的数据类型。decltype在C++11标准制定时引入，主要是为泛型编程而设计，以解决泛型编程中，由于有些类型由模板参数决定，而难以（甚至不可能）表示之的问题。
泛型编程在整个1990年代越发流行，对实现类型推导机制的需求也应运而生。为此，许多编译器厂商都基于程序语言现有的功能，自行实现了这类操作符，其实现如typeof，以及一些功能有限，但更易移植的实现。2002年间，比雅尼·斯特劳斯特鲁普提议在C++内标准化这类操作符，并将之加入C++；且建议命之为“decltype”，以反映其具有获取表达式的“声明类型”（Declared Type）的功能。
从语义上说，decltype的设计适合于通用库编写者与编程新手。总体上说，对于目标对象或函数，由decltype推导出的类型与源码中的定义可精确匹配。而正如sizeof操作符一样，decltype亦不需对操作数求值。
*/
#include<iostream>

using namespace std;

void add(int a)
{
	cout << a << endl;
}

void add1(int a)
{
	cout << a << endl;
}

void main()
{
	//vs2013 中好像不需要这样。
	decltype(add) add1 ;		//生成一个函数名，要求你构造函数，类型与add一致，名称是add1
	add1(1);	
	cout <<"add1:"<< typeid(add1).name() << endl;

	decltype(add) *add2 = add;		//生成一个函数指针，引用函数数，直接引用
	add2(2);
	cout <<"add2:"<< typeid(add2).name() << endl;

	void(*p) (int a) = add2;	//标准的函数引用
	p(3);
	cout <<"p:"<<typeid(p).name() << endl;

	decltype(add) &add4 = add;	//生成一个函数引用，引用函数，直接引用
	add4(4);
	cout <<"add4:"<<typeid(add4).name() << endl;
	decltype(10) data = 10;  //数据类型，构造一个。

	cout << typeid(data).name() << endl;

	cin.get();
}