c++特性：指向类成员的指针和非类型类模板参数和函数指针返回值 参数推导机制和关联型别

一、c++允许定义指向类成员的指针，包括类函数成员指针和类数据成员指针

格式如下：

class A

{

public:

　　void func(){printf("This is a function!\n");}

　　int data;

};

void (A::*p)()=&A::func;//带有取址符号，普通函数指针不带该符号，可能防止编译歧义，和traits机制中typename作用类似

int A::*q=&A::data;

p();//error:非静态成员函数的使用必须依附于对象

A a;

a.data=1;

(a.*p)();//output:This a function!

cout<<a.*q<<endl//output:1

二、非类型类模板参数:
template <class T,int inst>
struct B

{

T t;

int fun(){cout<<inst<<endl;}

}

B<int,10> b;

b.fun();//output:10

三、函数指针返回值：

void (*fun(void(*f)()))(){}

黑色部分形成了一个函数指针的形式，红色部分函数名,绿色部分是与之对应的参数列表，函数指针类型与函数结合形成了一个函数定义的形式，当然也可用typedef简化形式

四、内嵌型别示例：

template <class T,int inst>
struct C

{

T t;
template <class U>
void fun(){cout<<"a nested class"<<endl;};
void fun(){cout<<inst<<endl;}

class M;

};

template <class T,int inst>

class C<T,inst>::M

{

　　int a;

};

main:

C<int,10> c;
c.fun<int>();//output:a nested class

五、模板参数推导机制和内嵌型别的作用：
template <class T>

void fun(T a){cout<<a<<endl;}

fun(10);//自动设T为int类型

下面一种情况，推导机制无法满足需要

template <class T,class U>

U fun(T a){cout<<a<<endl;return (U)a;}

为了泛化算法，c++引入了迭代器（或者叫做智能指针），算法以迭代器做参数的时候可能会用到迭代器所指向的实际类型，这就需要迭代器携带有他所指向的类型的信息），这就实现了类型信息的传递。

实际上参数推导机制和关联型别都是编译时期的策略，都是为了得出算法中用到的型别，为了配合编译器的工作所增加的语言特性

对于泛化算法而言，通常在实例化的时候并不指定模板参数，这时就要用到参数推导了，但是迭代器作为算法的参数时，如果要用到迭代器的关联型别，这时参数推导并不能得出该关联型别，所以迭代器必须自己携带相关联型别（类自身通过typedef T value_type这样一句来使自己携带自身的类型），否则算法不能进行型别相关的动作。

实际上，stl中只要不指定模板参数，基本上都会先进行参数推导，得到迭代器的型别，再通过traits机制获取迭代器相关型别

这里还要说一下类模板的偏特化，当然是对同一个类来说的，比如对一个类 class C 它的偏特化版本需要对模板参数进行限定（加上一层条件）比如class C<T*>模板参数需要是T*类型才可以通过这个偏特化模板进行实例化。

综上，当人们想要实现自己的某一理念的时候，往往会伴随着开辟新的语法特性来满足这种需求。

references:

http://msdn.microsoft.com/zh-cn/library/windowsphone/develop/k8336763(v=vs.71).aspx

http://bbs.csdn.net/topics/380042439

http://developer.51cto.com/art/201002/183057.htm