c++ typedef 函数指针详细说明

c++ typedef 函数指针详细说明

转自：http://blog.csdn.net/future200x/article/details/5350134

一个函数在编译时被分配一个入口地址，将这个入口地址称为函数的指针，可以用一个指针变量指向该函数指针，然后通过该变量来调用函数。

有关说明：

1、 函数指针的声明格式：

函数返回值类型（＊指针变量名）（参数类型列表）

或者是：

typedef　函数返回值类型　（＊指针变量名）（参数类型列表）

2、一个函数指针只能指向一种类型的函数，即具有相同的返回值和相同的参数的函数

3、关于函数指针的加减运算没有意义

函数定义：

[cpp] view plaincopy

void fun1(void *p);
void fun2(void *p);
void fun3(void *p);

函数指针数组定义：

[cpp] view plaincopy

void(fun[3])(void); //typedef void(pfun)(void);pfun fun[3];

指针赋值：

[cpp] view plaincopy

fun[0] = fun1;
fun[1] = fun2;
fun[2] = fun3;

函数调用：

[cpp] view plaincopy

fun0; //int a;
fun1; //int b;
fun3; //int c;

声明一个指向成员函数的指针

一个成员函数指针包括成员函数的返回类型，后随::操作符类名，指针名和函数的参数。初看上去，语法有点复杂。其实可以把它理解为一个指向原函数的指针，格式是：函数返回类型，类名，::操作符，指针星号，指针名，函数参数。

指向外部函数的指针可如下声明：

[cpp] view plaincopy

void (*pf)(char *, const char *);
void strcpy(char * dest, const char * source);
pf=strcpy;

相应指向类A的成员函数的指针如下表示：

[cpp] view plaincopy

void (A::*pmf)(char *, const char *);

以上pmf是指向类A的一个成员函数的指针，传递两个变量char *和 const char *，没有返回值。注意星号前面的A::符号，这和前面的声明是一致的。

赋值

为了给一个指向成员函数的指针赋值，可以采用成员函数名并再其前面加一个&的方式。

[cpp] view plaincopy

class A
{
public:
　void strcpy(char *, const char *);
　void strcat(char *, const char *);
};
pmf = &A::strcpy;

有些老的编译器可以通过没有&号的赋值方式，但标准C++强制要求加上&号。

使用typedef

你可以使用typedef来隐藏一些指向成员函数的复杂指针。例如，下面的代码定义了一个类A中的成员函数的指针PMA，并传递char *和const char *参数。

[cpp] view plaincopy

typedef void(A::*PMA)(char *, const char *);
PMA pmf= &A::strcat; // use a typedef to define a pointer to member

使用typedef特别有用，尤其是对于指向成员函数的数组指针。下文会看到使用类型定义特别有利于声明成员指针数组。

通过成员指针调用成员函数

可以在不必知道函数名的情况下，通过成员指针调用对象的成员函数。例如，函数dispatcher有一个变量pmf，通过它调用类成员函数，不管它调用的是strcpy()函数还是strcat()函数。指向外部原函数的指针和指向类成员函数的指针是有很大区别的。后者必须指向被调函数的宿主对象。因此，除了要有成员指针外，还要有合法对象或对象指针。

现举例做进一步说明。假设A有二个实例，成员函数指针支持多态性。这样在成员指针调用虚成员函数时是动态处理的(即所谓后联编 - 译注)。注意，不可调用构造和析构函数。示例如下：

[cpp] view plaincopy

A a1, a2;
A *p= &a1; //创建指向A的指针
//创建指向成员的指针并初始化
void (A::*pmf)(char *, const char ) = &A::strcpy;
//要将成员函数绑定到pmf，必须定义呼叫的对象。
//可以用号引导：
void dispatcher(A a, void (A::*pmf)(char *, const char *))
{
　char str[4];
　(a.*pmf)(str, “abc”); //将成员函数绑定到pmf
}
//或用A的指针表达方式指向成员指针：
void dispatcher(A * p, void (A::*pmf)(char *, const char ))
{
　char str[4]; (p->pmf)(str, “abc”);
}
//函数的调用方法为：
dispatcher(a, pmf); // . 方式
dispatcher(&a, pmf); // -> 方式

高级使用技巧

以上是成员函数的基本知识。现在介绍它的高级使用技巧。
成员指针数组

在下例，声明了一个含有二个成员指针的数组，并分配类的成员函数地址给成员指针

[cpp] view plaincopy

PMA pmf[2]= {&A::strcpy, &A::strcat};

也就是

[cpp] view plaincopy

void (A::*PMA[2])(char *, const char *)= {&A::strcpy, &A::strcat};

这样的数组在菜单驱动应用中很有用。选择菜单项后，应用将调用相应的回叫函数，如下所示：

[cpp] view plaincopy

enum MENU_OPTIONS { COPY, CONCAT };
int main()
{
　MENU_OPTIONS option; char str[4];
　//从外部资源读取选项
　switch (option)
　{
case COPY:
　 (pa->*pmf[COPY])(str, “abc”);
　 break;
case CONCAT:
　 (pa->*pmf[CONCAT])(str, “abc”);
　 break;
　 //…
　}
}

Const类型的成员函数

成员指针的类型应该与成员函数类型一致。上面例子中的pmf 可以指向A的任意函数，只要该函数不是const类型。如下所示，如果将touppercase()的地址分配给pmf，将导致编译出错，因为touppercase() 的类型是const。

[cpp] view plaincopy

Class A
{
　public:
　　void strpcy(char *, const char *);
　　void strcat(char *, const char *);
　　void touppercase(char , const char) const;
};
pmf=&A::touppercase; //出错，类型不匹配
//解决的方法是声明一个const类型的成员指针：
void (A::pcmf)(char *, const char *) const;
pcmf=&A::touppercase; // 现在可以了

有些差劲的编译器允许一个非const类型的成员指针指向const类型的成员函数。这在标准C++是不允许的。

可能有点费解：成员指针不是真正的指针。传统意义上的指针是一个整数，保存指向某个变量或函数的地址。成员指针则是一个复合数据结构，包含有若干个数据成员。成员指针的这个复杂性使得入门比较困难。然而，一旦掌握了它的语法，就能感到它是在事件驱动和多线程应用中调用回叫函数必不可少的工具。

■ void类型的指针

void含义：

void是“无类型”，void则为无类型指针，void可以指向任何类型的数据。

void a；//此变量没有任何实际意义，无法编译通过“illegal use of type”

void 的作用：

1、对程序返回的限定

2、对函数参数的限定

我们知道，如何指针p1和p2的类型相同，那么我们可以直接在p1和p2间赋值，如果不同，必须使用强制类型转换。

如：float *p1; int *p2;

若：p1 = p2; 编译出错：“can not covert from int* to float*”

必须为：p1 = (float*)p2;

而void*不同，任何类型的指针都可以直接赋为它，不需要强制类型转换：

如：void *p1; int *p2;

可作：p1 =p2;

无类型可以包容有类型，有类型不能包容无类型：

必须为：p2 = (int*)p1;

viod 和 void*使用规则总结：

● 如果函数没有返回值，那么应声明为void类型

在C语言中，凡不加返回值类型限定的函数，就会被编译器作为返回整型值处理。但是许多程序员却误以为其为void类型. 林锐博士《高质量C/C++编程》中提到：“C++语言有很严格的类型安全检查，不允许上述情况（指函数不加类型声明）发生”。可是编译器并不一定这么认定，譬如在Visual C++6.0中上述add函数的编译无错也无警告且运行正确，所以不能寄希望于编译器会做严格的类型检查。

因此，为了避免混乱，我们在编写C/C++程序时，对于任何函数都必须一个不漏地指定其类型。如果函数没有返回值，一定要声明为void类型。这既是程序良好可读性的需要，也是编程规范性的要求。另外，加上void类型声明后，也可以发挥代码的“自注释”作用。代码的“自注释”即代码能自己注释自己。

● 如果函数无参数，那么应声明其参数为void

● 小心使用void指针类型

按照ANSI的标准，不能对void指针进行算法操作，即下列操作是不合法的：

[cpp] view plaincopy

void *pvoid;
pvoid ++; //ansi错误
pvoid += 1;//ansi 错误

ansi标准之所以这样认定，是因为它坚持，进行算法操作的指针必须是确定知道其指向数据类型的大小的。

但GUN（GUN’s Not Unix）则不这么认为，它指定void的算法操作与char一致。因此在GUN编译器中上述语句是正确的。

在实际的程序中，为了迎合ansi标准，并提高程序的可移植性，我们可以这样实现同样功能的代码：

[cpp] view plaincopy

void pvoid;
(char)pvoid++;
(char*)pvoid += 1;

● 如果函数的参数可以是任意类型指针，那么应声明其参数为void *

典型的如内存操作函数memcpy和memset的函数原型分别为：

[cpp] view plaincopy

void* memcpy(void *dest, const void src, size_t len);
void memset(void *buffer,int c, size_t num);

这样，任何类型的指针都可以传入memcpy和memset中，这也真实地体现了内存操作函数的意义，因为它操作的对象仅仅是一片内存，而不论内存是什类型。

● void不能代表一个真实的变量

[cpp] view plaincopy

void a; //错误
function(void a); //错误

■ this指针

《深入浅出MFC》中解释：

定义类CRect，定义两个对象rect1、rect2，各有自己的m_color成员变量，但rect1.setcolor和rect2.setcolor却都是通往唯一的CRect::setcolor成员函数，那么CRect::setcolor如何处理不同对象的m_color？答案是由一个隐藏参数，名为this指针。当你调用：

[cpp] view plaincopy

CRect::setcolor(2,(CRect*)&rect1);
CRect::setcolor(3,(CRect*)&rect2);

时，编译器实际上为你做出来一下的代码：

[cpp] view plaincopy

CRect::setcolor(2,(CRect*)&rect1);
CRect::setcolor(3,(CRect*)&rect2);

多出来的参数，就是所谓的this指针。

[cpp] view plaincopy

class CRect
{
……
public:
void setcolor(int color){m_color = color};
};

被编译后，其实为：

[cpp] view plaincopy

class CRect
{
……
public:
void setcolor(int color,(CRect*)this){this->m_color = color};
};