转载自:https://kelvinh.github.io/blog//03/27/cpp-tutorial-pointer-to-member-function/
Kelvin的胡言乱语
==============> 重剑无锋,大巧不工。
BlogWikiTagsAboutGitHubRSS
[翻译]C++教程:指向成员函数的指针
这是一篇翻译的文章,原文详细解释了C++中指向成员函数的指针,因为带有“教程”一词,所以比较通俗易懂。为了使文章读起来通俗有趣,翻译君并未一字一句一板一眼地翻译,并大量使用了诙谐的词汇(如“码农”)。另外,原文的某些地方分段不太合适(小学语文可能是体育老师教的。。),有些地方也稍嫌啰嗦,所以翻译君自己作了一些调整。如果对翻译君的翻译质量有意见,建议前往原地址围观。
咦?还不走?那废话少说,我们开始了啊。
关于成员函数指针
成员函数指针是C++最少用到的语法之一,甚至有经验的C++码农有时候也会被它搞晕。这是一篇针对于初学者的教程,同时也给有经验的码农分享了一些我个人对底层机制的挖掘。在开始之前,让我们先看一段在第一次看时一定会高呼“我++”的代码(说明,这些代码都是翻译君重新手敲的,改正了原文代码中的一些不太好的空格、缩进,下同):
//mem_fun1.cpp#include <iostream>class Foo {public:Foo(int i = 0) {_i = i; }void f() {std::cout << "Foo::f()" << std::endl;}private:int _i;};int main() {Foo *p = 0;p->f();}// Output:// Foo::f()
为什么我们能通过一个空指针调用成员函数?看起来好像编译器根本不鸟p的值是什么,只介意p的类型。别着急,咱先吊吊胃口,把答案留到后面的章节。现在,我们所能知道的是,编译器准确地知道要调用哪个函数。这就是所谓的“静态绑定”。因为成员函数可以静态绑定(并不是总能静态绑定,待会儿讨论),所以它们的地址是在编译阶段决定的(同样并不是永远如此)。直观地讲,应该有一种方法可以保存成员函数的地址。而且,真有这么一种方法,那就是——成员函数指针。
C++语法
下面的语法展示了如何声明一个成员函数指针:
Return_Type (Class_Name::* pointer_name) (Argument_List);Return_Type: member function return type.Class_name: name of the class in which the member function is declared.Argument_List: member function argument list.pointer_name: a name we'd like to call the pointer variable.
例如,我们定义一个类Foo
和一个成员函数f
:
int Foo::f(string);
我们可以给这个成员函数指针起一个“高大上”的名字fptr
,所以我们就有了下面的内容:
Return_Type: intClass_Name: FooArgument_List: stringdeclaration of a pointer-to-member function named "fptr":int (Foo::*fptr) (string);
现在,指定一个成员函数给我们“高大上”的fptr
:
fptr = &Foo::f;
当然,就连脑残都知道可以将声明和初始化结合起来:
int (Foo::*fptr) (string) = &Foo::f;
为了通过函数指针来调用成员函数,我们使用成员指针选择操作符(翻译君表示也不知道该怎么翻译,原文是pointer-to-member selection operators),.*
或者->*
。下面的代码演示了基本用法:
#include <iostream>#include <string>using namespace std;class Foo {public:int f(string str) {cout << "Foo::f()" << endl;return 1;}};int main(int argc, char *argv[]) {int (Foo::*fptr) (string) = &Foo::f;Foo obj;(obj.*fptr)("str"); // 通过对象来调用 Foo::f()Foo *p = &obj;(p->*fptr)("str"); // 通过指针来调用 Foo::f()}
注意:.*fptr
绑定fptr到对象obj,而->*fptr
则绑定fptr到指针p所指向的对象。(还有一个重要的区别是:我们可以重载后者,却不能重载前者)。在(obj.*fptr)
和(p->*fptr)
两边的括号是语法所强制要求的。
成员函数指针不是常规指针
成员函数指针不像常规指针那样保存某个“准确”的地址。我们可以把它想像成保存的是成员函数在类布局中的“相对”地址。让我们来展示一下二者的不同。我们只对类Foo
做一个小手术:将成员函数f
变成static
:
#include <iostream>#include <string>using namespace std;class Foo {public:static int f(string str) {cout << "Foo::f()" << endl;return 1;}};int main(int argc, char *argv[]) {// int (Foo::*fptr) (string) = &Foo::f; // 错误int (*fptr) (string) = &Foo::f; // 正确(*fptr)("str"); // 调用 Foo::f()}
一个静态成员函数没有this
指针。除了它和其它的类成员共享命名空间Foo(在我们的例子中命名空间是Foo::
)之外,它和常规全局函数是一样的。所以,静态成员函数不是类的一部分,成员函数指针的语法对常规函数指针并不成立,例如上面例子中的静态成员函数指针。
int (Foo::*fptr) (string) = &Foo::f;
上面这行代码在g++ 4.2.4中编译的错误信息为:“不能将int (*)(std::string)
转化成int (Foo::*)(std::string)
”。这个例子证明了成员函数指针不是常规指针。另外,为什么C++如此费心地去发明这样的语法?很简单,因为它和常规指针是不同的东西,而且这样的类型转换也是违反直觉的。
C++类型转换规则
非虚函数情形
我们在前面一节看到,成员函数指针并不是常规指针,所以,成员函数指针(非静态)不能被转换成常规指针(当然,如果哪个脑残真想这么做的话,可以使用汇编技术来暴力解决),因为成员函数指针代表了偏移量而不是绝对地址。但是,如果是成员函数指针之间相互转换呢?
//memfunc4.cpp#include <iostream>class Foo {public:int f(char *c = 0) {std::cout << "Foo::f()" << std::endl;return 1;}};class Bar {public:void b(int i = 0) {std::cout << "Bar::b()" << std::endl;}};class FooDerived : public Foo {public:int f(char *c = 0) {std::cout << "FooDerived::f()" << std::endl;return 1;}};int main(int argc, char *argv[]) {typedef int (Foo::*FPTR) (char*);typedef void (Bar::*BPTR) (int);typedef int (FooDerived::*FDPTR) (char*);FPTR fptr = &Foo::f;BPTR bptr = &Bar::b;FDPTR fdptr = &FooDerived::f;// bptr = static_cast<void(Bar::*)(int)>(fptr); // 错误fdptr = static_cast<int(Foo::*)(char*)>(fptr); // 正确,逆变性规则Bar obj;( obj.*(BPTR) fptr )(1); // 调用 Foo::f()}// Output:// Foo::f()
在上面的代码中,我们首先使用了我们的老朋友typedef
。它让这些繁琐的定义变得清晰起来。关键是,fptr是什么类型?它的类型是:
int (Foo::*) (char*);
或者等价地说——FPTR。如果我们仔细看上面的代码:
bptr = static_cast<void(Bar::*)(int)>(fptr);
这一行会出错,因为不同的非静态非虚成员函数具有强类型因此不能相互转化,但是:
fdptr = static_cast<int(Foo::*)(char*)>(fptr);
这一行却是正确的!我们可以将一个指向派生类的指针赋值给一个指向其基类的指针(即"is-a"关系),而所谓的“逆变性规则”(翻译君:不知道是啥,原文是contravariance rule)正是这种规则的反面。这个规则提供了将FooDerived::*
应用到任何Foo::*
能被应用的地方的基本保证。在代码最后两行:
Bar obj;( obj.*(BPTR) fptr)(1);
尽管我们想要调用的是Bar::b()
,但是Foo::f()
却被调用了,因为fptr是静态绑定(翻译君注:这里的静态绑定,即指在编译阶段,fptr的值已经确定了,所以即使进行强制转换,依然调用的是Foo类的f()函数)。(请围观成员函数调用和this
指针)
虚函数情形
我们只将前例中的所有成员函数变成虚函数,其它都不动:
#include <iostream>class Foo {public:virtual int f(char *c = 0) {std::cout << "Foo::f()" << std::endl;return 1;}};class Bar {public:virtual void b(int i = 0) {std::cout << "Bar::b()" << std::endl;}};class FooDerived : public Foo {public:int f(char *c = 0) {std::cout << "FooDerived::f()" << std::endl;return 1;}};int main(int argc, char *argv[]) {typedef int (Foo::*FPTR) (char*);typedef void (Bar::*BPTR) (int);FPTR fptr = &Foo::f;BPTR bptr = &Bar::b;FooDerived objDer;(objDer.*fptr)(0); // 调用 FooDerived::f(),而不是 Foo::f()Bar obj;( obj.*(BPTR) fptr )(1);// 调用 Bar::b(),而不是 Foo::f()}// Output:// FooDerived::f()// Bar::b()
如我们所看到的,当成员函数是虚函数的时候,成员函数能够具有多态性并且现在调用的是FooDerived::f()
,而且Bar::b()
也能被正确调用了。因为“一个指向虚成员的指针能在不同地址空间之间传递,只要二者使用的对象布局一样”(此话来自C++老爸Bjarne Stroustrup的《C++程序设计语言》)。当函数是虚函数的时候,编译器会生成虚函数表,来保存虚函数的地址。这是和非虚函数之间的最大不同,因此,运行时的行为也是不同的。
成员函数指针数组及其应用
成员函数指针的一个重要应用就是根据输入来生成响应事件,下面的Printer
类和指针数组pfm
展示了这一点:
#include <stdio.h>#include <string>#include <iostream>class Printer {// 一台虚拟的打印机public:void Copy(char *buff, const char *source) {// 复制文件strcpy(buff, source);}void Append(char *buff, const char *source) {// 追加文件strcat(buff, source);}};enum OPTIONS {COPY, APPEND }; // 菜单中两个可供选择的命令typedef void(Printer::*PTR) (char*, const char*); // 成员函数指针void working(OPTIONS option, Printer *machine,char *buff, const char *infostr) {PTR pmf[2] = {&Printer::Copy, &Printer::Append }; // 指针数组switch (option) {case COPY:(machine->*pmf[COPY])(buff, infostr);break;case APPEND:(machine->*pmf[APPEND])(buff, infostr);break;}}int main() {OPTIONS option;Printer machine;char buff[40];working(COPY, &machine, buff, "Strings ");working(APPEND, &machine, buff, "are concatenated!");std::cout << buff << std::endl;}// Output:// Strings are concatenated!
在上述代码中,working
是一个用来执行打印工作的函数,它需要几个参数:1. 菜单选项;2. 可用的打印机;3. 字符串目的地;4. 字符串来源。上述代码中字符串来源是两个字符串常量"Strings "和"concatenated!",而成员函数指针数组被用来根据菜单选项执行相应的打印动作。
成员函数指针另外一个重要的应用可以在STL的mem_fun()
中找到。(翻译君去看了一下mem_fun()
的源代码,原来是用成员函数来构造仿函数functor的。)
成员函数调用和this
指针
现在我们回到文章最开始的地方。为什么一个空指针也能调用成员函数?对于一个非虚函数调用,例如:p->f()
,编译器会生成类似如下代码:
Foo *const this = p;void Foo::f(Foo *const this) {std::cout << "Foo::f()" << std::endl;}
所以,不管p的值是神马,函数Foo::f
都可以被调用,就像一个全局函数一样!p被作为this
指针并当作参数传递给了函数。而在我们的例子中this
指针并没有被解引用,所以,编译器放了我们一马(翻译君表示,这其实跟编译器没有关系,即使我们在成员函数中使用this指针,编译照样能通过,只不过在运行时会crash)。假如我们想知道成员变量_i
的值呢?那么编译器就需要解引用this
指针,这只有一个结果,那就是我们的好兄弟——未定义行为(undefined behavior)。对于一个虚函数调用,我们需要虚函数表来查找正确的函数,然后,this
指针被传递给这个函数。
这就是非虚函数、虚函数、静态函数的成员函数指针使用不用实现方式的根本原因。
结论
简单总结一下,通过上述文章,我们学到了:
成员函数指针声明和定义的语法使用成员指针选择操作符来调用成员函数的语法使用typedef
写出更加清晰的代码非虚成员函数、虚函数、静态成员函数之间的区别成员函数指针和常规指针的对比不同情形下的成员函数指针转换规则如何使用成员函数指针数组来解决特定的设计问题编译器是如何解释成员函数调用的
我衷心希望这篇教程能打开通往上述要点的相关高级技巧的大门,例如多重继承、虚继承下的成员函数指针,以及编译器的相关实现,例如“巨硬”家的Thunk技术(原文这里有链接,但翻译君去看了一下,不仅又老又旧(还在讲Windows 98和16位程序),而且只是巨硬的support性质的文章,所以就不贴链接了,免得浪费各位看官宝贵的青春:-p)。
那么,就到这里了,谢谢各位的围观,希望能对各位有所帮助。(翻译君表示,这哥们怎么这么啰嗦,和天朝棺猿有得一拼:-p)
-03-27 -03-27 C++ Kelvin Hu
Comments
comments powered byDisqusGenerated byEmacs25.x (Org mode9.x)
Copyright © -Kelvin Hu- Powered byorg-page