函数指针详解

1）  函数指针的初始化。

函数如下：

int CompareString(const string& str1, const string& str2)
{
    return str1.compare(str2);  

}

函数的初始化有两种方式：

第一种，也是最普遍的方式：

int (*CompareFunction)(const string&, const string&) = CompareString;

第二种，是使用typedef定义函数类型，这种写法有助于对代码的理解：

typedef int (*CompareFunctionType)(const string&, const string&);
CompareFunctionType CompareFunction = CompareString;

2）  函数指针赋值。

函数名可以理解为该类型函数的指针。当然，取地址操作符作用于函数名上也能产生指向该类型函数的指针。也就是说下面两种赋值都是可行的:

CompareFunctionType CompareFunction = CompareString;
CompareFunctionType CompareFunction = &CompareString;

3）  函数调用。

无论是用函数名调用，还是用函数指针调用，还是用显式的指针符号调用，其写法是一样的：

CompareString("abc", "cba");
CompareFunction("abc", "cba");
(*CompareFunction)("abc", "cba");

4）  函数指针的数组。

对于函数指针的数组，强烈建议使用typedef方式定义类型之后再使用，不然影响代码的阅读性，继续以以上例子为例：

//without typedef
int (*CompareFunctionArray[3])(const string&, const string&);
//with typedef
CompareFunctionType CompareFunctionTypeArray[3];

5）  函数指针用做函数返回值的类型。

到这一步，会发现typedef是多么的好用了。不然我是完全读不懂下面语句的意思的：

//without typedef
int (*func(int*, int))(const string&, const string&);

上面的声明，将func(int*, int)声明为一个函数，返回值为函数指针，函数类型为int (*)(const string&, const string&)。

多么的晦涩啊！

如果写成typedef就不用这么纠结了，足见typedef的作用：

CompareFunctionType func(int*, int);

6）  指向extern "C"函数的指针。

《C++ primer 3》中有指出，指向C函数的指针和指向C++函数的指针类型不同，但是现在的很多编译器都有语言扩展，认为这两种函数的指针具有相同的特性。

所以，我在vs 2010中做了尝试，结果证明是支持这种语言扩展的。函数声明如下：

extern "C" int InsideFunctionC(const string& str1, const string& str2)
{
   return str1.compare(str2);
}
 
int InsideFunctionCPlusPlus(const string& str1, const string& str2)
{
    return str1.compare(str2); 

}

​

函数指针的初始化和调用，允许赋值为指向C函数的指针：

int (*CompareFunction)(const string&, const string&) = InsideFunctionC;

另外还有一点，当extern "C"应用在一个声明上时，所有被它声明的函数都将受到影响。举个例子：

extern "C" void OutSideFunction(int (*fc)(const string&, const string&))
{
    cout<<fc("abc", "cba")<<endl;;
}

这里的OutSideFunction和fc都将受到extern "C"的影响，但是vs2010编译器是支持一个指向C++函数的指针作为OutSideFunction的参数。如下：

int main()
{
    OutSideFunction(InsideFunctionC);
    OutSideFunction(InsideFunctionCPlusPlus);
     
    return 0; 

}

到此就差不多了。