C++中的类型安全函数指针

　　对于“老式方法”的批判之一便是它们不是类型安全的[1]。下面的代码证明了这个观点：

typedef size_t (*FUNC)(const char*); void printSize(const char* str) { FUNC f = strlen; (void) printf("%s is %ld chars\n", str, f(str)); } void crashAndBurn(const char* str) { FUNC f = reinterpret_cast＜FUNC＞(strcat); f(str); }

　　代码在[2]中可以找到。当然，在你使用reinterpret_cast的时候，你可能会遇到麻烦。如果你将强制转换（cast）去掉，C++编译器将报错，而相对来说更为安全的static_cast也不能够完成转换。这个例子也有点像比较苹果和橙子，因为在C#中万事万物皆对象，而reinterpret_cast就相当于一种解决方式。下面的这个C++程序示例将会采取使用成员函数指针的方法来避免使用reinterpret_cast：

struct Object { }; struct Str : public Object { size_t Len(const char* str) { return strlen(str); } char* Cat(char* s1, const char* s2) { return strcat(s1, s2); } }; typedef size_t (Object::*FUNC)(const char*); void printSize(const char* s) { Str str; FUNC f = static_cast＜FUNC＞(&Str::Len); (void) printf("%s is %ld chars\n", s, (str.*f)(s)); } void crashAndBurn(const char* s) { Str str; FUNC f = static_cast＜FUNC＞(&Str::Cat); (str.*f)(s); }

　　static_cast运算符将转化Str::Len函数指针，因为Str是由Object派生来的，但是Str::Cat是类型安全的，它不能被转换，因为函数签名是不匹配的。

　　成员函数指针的工作机制与常规的函数指针是非常相似的；唯一不同（除了更为复杂的语法外）的是你需要一个用来调用成员函数的类的实例。当然，我们也可以使用-＞*运算符来用指向类实例的指针完成对成员函数的调用。

Str* pStr = new Str(); FUNC f = static_cast＜FUNC＞(&Str::Len); (void) printf("%s is %ld chars\n", s, (str-＞*f)(s)); delete pStr;

　　只要所有的类是从基类Object派生来的（C#中就是这样），你就可以使用C++来创建类型安全的成员函数指针。

相关搜索：