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

时间:2022-06-16 20:47:26

一、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