Guru of the Week 条款24:编译级防火墙

翻译文档 专栏收录该内容
74 篇文章 0 订阅

[CAT*G Translation Project GotW#22-30: Draft]

GotW #24 Compilation Firewalls
著者:Herb Sutter
翻译:CAT*G
[声明]:本文内容取自www.gotw.ca网站上的Guru of the Week栏目,其著作权归原著者本人所有。译者CAT*G在未经原著者本人同意的情况下翻译本文。本翻译内容仅供自学和参考用,请所有阅读过本文的人不要擅自转载、传播本翻译内容;下载本翻译内容的人请在阅读浏览后,立即删除其备份。译者CAT*G对违反上述两条原则的人不负任何责任。特此声明。
Revision 1.0

Guru of the Week 条款24:编译级防火墙

难度:6 / 10

(使用pimpl惯用法可以大大降低代码之间的相互依赖性,还可以减少程序的建立时间。但问题是,应该把那些东西放入pimpl对象里呢?如何才能安全的使用它呢?)

[Problem]
[问题]

  在C++中,如果类定义中的任何部分被改变了(即使是私有成员),那么这个类所有的使用者代妈都必须重新编译。为了降低这种依赖性,使用的一种常见的技术就是利用一个不透明指针(opaque pointer)来隐藏一部分实现细节:

    class X {
    public:
      /* ... 公有成员 ... */
    protected:
      /* ... 保护成员?... */
    private:
      /* ... 私有成员?... */
      class XImpl* pimpl_;  // 指向一个被前置声明了的(forward-declared)类
                                // 之不透明指针
    };

[Questions]
[提问]

1.那些部分应该放入Ximpl?有四种常见的原则,它们是:

    - 将全部私有数据(但不是函数)放入Ximpl;
    - 将全部私有成员(译注:即包括函数)放入Ximpl;
    - 将全部私有成员和保护成员放入Ximpl;
    - 使Ximpl完全成为原来的X,将X编写为一个完全由简单的前置函数(forwarding functions)(一个句柄/本体的变体)组成的公共接口。

它们各有什么优缺点?你如何从中选择合适的?

2.Ximpl需要一个指向X对象的"反向指针(back pointer)"吗?

[Solution]
[解答]

首先看两个定义:

  可见类(visible class):客户代吗所见并操纵的类(在这里即是X)。
  pimpl:可见类中隐藏在一个透明指针(也称为pimpl_)下的类实现(在这里即是XImpl)。

  在C++中,如果类定义中的任何部分被改变了(即使是私有成员),那么这个类所有的使用者代妈都必须重新编译。为了降低这种依赖性,使用的一种常见的技术就是利用一个不透明指针(opaque pointer)来隐藏一部分实现细节:

  这是"句柄/本体"惯用法(handle/body idiom)的一种变体。如Coplien[注1]所记载,这种方法主要用于在共享代码的情况下进行引用计数(reference counting)。

  正如Lakos[注2]所指出的那样,"句柄/本体"惯用法(表现为我所称为的"pimpl惯用法"之形式;这样的叫法缘自给其特意取的、易发音的"pimpl_"指针[注3])对于打破编译期的依赖性也是非常有用的。本条款的解答集中讨论这种用法,其中有些讨论总的来讲并不适从于"句柄/本体"惯用法。

  使用这个惯用法的主要代价是性能:

  1.每一个构造操作都须分配内存。自己定制的分配器(custom allocator)或许可以缓解内存的额外消耗,但这还不是涉及到更多的工作。

  2.每一个隐藏成员都需要一个额外的间接层来予以对其访问。(如果被访问的隐藏成员本身又使用到了一个"反向指针(back pointer)"来调用可见类中的函数,那么就会有双重的间接性。)

    1.那些部分应该放入Ximpl?有四种常见的原则,它们是:
      - 将全部私有数据(但不是函数)放入Ximpl;

  这是个不错的开端,因为现在我们得以对任何只用作数据成员的类进行前置声明(forward-declare)(而不是使用#include语句来包含类的真正声明--这会使客户代码对其形成依赖)。当然,我们通常可以做得更好。

      - 将全部私有成员(译注:即包括函数)放入Ximpl;

  这(几乎)是我平常的用法。不管怎么说,在C++中,"客户代码不应该也并不关心这些部分"就意味着"私有(private)",而私有的东西则最好藏起来(在一些拥有更"自由宽大"之法律的北欧国家里的情况除外)。

  对此有两条警告,其中的第一个也就是我在上一段中加上"almost"的原因:

  1.即使虚拟函数是私有的,你也不能把虚拟成员函数隐藏在pimpl类中。如果想要虚拟函数覆写基类中的同名虚拟函数,那么该虚拟函数就必须出现在真正的派生类中。如果虚拟函数不是继承而来的,那么为了让之后层级的派生类能够覆写它,其还是必须出现在可见类中。

  2.如果pimpl中的函数要使用其它函数,其可能需要一个指向可见对象的"反向指针(back pointer)"--这又增加了一层间接性。这个反向指针通常被约定俗成的称为self_。

       - 将全部私有成员和保护成员放入Ximpl;

  如此更进一步的做法其实是错误的。保护成员(protected members)绝不应该被放进pimpl,因为这样做等于就是对其弃之不用。无论如何,保护成员(protected members)正是为了让派生类看到并使用而存在的,因此如果派生类无法看到或使用它们的话,它们也就基本上全无用处了。


      - 使Ximpl完全成为原来的X,将X编写为一个完全由简单的前置函数(forwarding functions)(一个句柄/本体的变体)组成的公共接口。


  这只在少数几个有限的情况下有用,其好处是可以避免使用反向指针,因为所有的服务全部都在pimpl类之中提供了。其主要的缺点是,这样做一般会使得可见类对于继承而言全无用处,无论是作为基类还是派生类。

      2.Ximpl需要一个指向X对象的"反向指针(back pointer)"吗?

  很不幸,回答通常为"是的"。无论如何,我们会把每一个对象分裂成两部分--只因为我们要隐藏其中一部分。

  当可见类中的函数被调用的时候,经常需要使用隐藏部分(译注:即pimpl部分)中的一些函数和数据,以便完成是调用着的请求。这挺好,也很合理。然而可能不太明显的情况是:在pimpl中的函数也经常必须调用可见类中的函数--通常是因为需要调用的函数是公有成员或虚拟函数。

 

[注1]:James O. Coplien. Advanced C++ Programming Styles and Idioms (Addison-Wesley, 1992).

[注2]:J. Lakos. Large-Scale C++ Software Design (Addison-Wesley, 1996).

[注3]:我以前经常将其写作impl_。与其等价的pimpl_写法其实是有我的朋友和同事Jeff Sumner提出的;Jeff Sumner同我一样对用于指针变量的匈牙利式"p"前缀(译注:即用于命名变量的匈牙利表示法;在该表示法中,指针变量名以"p"开头,意即"pointer")颇为倾心,另外其还对恐怖的双关语有着独到的敏感(译注:pimpl发音与单词"pimple(意即痤疮、丘疹、脓疱、疙瘩、粉刺)"相同)。


(完)

  • 0
    点赞
  • 0
    评论
  • 0
    收藏
  • 一键三连
    一键三连
  • 扫一扫,分享海报

Xfilter 源代码完整的文件列表 ------------------------------------------------------ .\Common .\Lib .\Property .\Release .\TcpIpDog .\Xfilter.dsw .\readme.txt .\filelist.txt .\Common\XLogFile.h .\Common\XLogFile.cpp .\Common\XInstall.cpp .\Common\XFile.h .\Common\XInstall.h .\Common\XFile.cpp .\Common\Debug.h .\Common\XFileRes.h .\Lib\htmlhelp.h .\Lib\htmlhelp.lib .\Property\Property.opt .\Property\Property.aps .\Property\Property.dsp .\Property\Property.rc .\Property\Property.clw .\Property\ReadMe.txt .\Property\resource.h .\Property\NetIPAria.h .\Property\GuiRes.h .\Property\AclSet.cpp .\Property\SetTime.h .\Property\Acl.cpp .\Property\SetNet.h .\Property\MainSheet.h .\Property\AclSet.h .\Property\Register.h .\Property\SystemSet.cpp .\Property\Splash.h .\Property\Property.dsw .\Property\Acl.h .\Property\Property.ncb .\Property\Splash.cpp .\Property\Property.h .\Property\LogQuery.h .\Property\SetTime.cpp .\Property\MainSheet.cpp .\Property\SetNet.cpp .\Property\NetIPAria.cpp .\Property\About.cpp .\Property\StdAfx.h .\Property\StdAfx.cpp .\Property\SystemSet.h .\Property\Register.cpp .\Property\About.h .\Property\LogQuery.cpp .\Property\Property.cpp .\Property\NetTimeSheet.h .\Property\PacketMonitor.h .\Property\Property.plg .\Property\NetTimeSheet.cpp .\Property\PacketMonitor.cpp .\Property\Internet .\Property\MainFrame .\Property\SystemTray .\Property\res .\Property\HyperLink .\Property\Internet\Internet.cpp .\Property\Internet\Internet.h .\Property\MainFrame\MainFrame.cpp .\Property\MainFrame\mainframe.h .\Property\SystemTray\SystemTray.cpp .\Property\SystemTray\SystemTray.h .\Property\res\Property.rc2 .\Property\res\NULL.ico .\Property\res\Property.ico .\Property\res\about.bmp .\Property\res\Alert.ico .\Property\res\DenyEx1.ico .\Property\res\PassEx1.ico .\Property\res\QueryEx1.ico .\Property\res\splash.bmp .\Property\res\MEMO.ICO .\Property\res\ALERTSET.ICO .\Property\res\APPSET.ICO .\Property\res\BASESET.ICO .\Property\res\COMMONSET.ICO .\Property\res\Monitor.ico .\Property\res\NETSET.ICO .\Property\res\SUPERSET.ICO .\Property\res\TIMESET.ICO .\Property\res\Xfilter.ico .\Property\res\IPSET.ICO .\Property\res\Email.ico .\Property\res\QueryResult.ico .\Property\res\QuerySet.ICO .\Property\res\UserInfo.ico .\Property\res\ACLSET.ICO .\Property\res\Message.ico .\Property\HyperLink\HyperLink.cpp .\Property\HyperLink\HyperLink.h .\Release\xacl.cfg .\Release\Xfilter.chm .\Release\Xfilter.exe .\Release\Xfilter.dll .\Release\xlog.dat .\TcpIpDog\StdAfx.cpp .\TcpIpDog\TcpIpDog.dsp .\TcpIpDog\LspServ.def .\TcpIpDog\ReadMe.txt .\TcpIpDog\CheckAcl.cpp .\TcpIpDog\TcpIpdog.cpp .\TcpIpDog\Codes.h .\TcpIpDog\TcpIpDog.h .\TcpIpDog\ProtocolInfo.h .\TcpIpDog\CheckAcl.h .\TcpIpDog\StdAfx.h .\TcpIpDog\ProtocolInfo.cpp .\TcpIpDog\TcpIpDog.plg
相关推荐
©️2020 CSDN 皮肤主题: 大白 设计师:CSDN官方博客 返回首页
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、C币套餐、付费专栏及课程。

余额充值