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;
}
到此就差不多了。