在C++里写一个不能被继承的类

这是最近看到的一道面试题,最近是看了不少道面试题,C++里各种变态的问法。这道题算是比较正常的吧。在C++语言里,是没有类似Java里final class的概念的,但是学C++的人心里一定要相信,C++是万能的。于是有人给出了一种解法

代码我在下面再贴一下吧,不过著作权归原作者所有,向原作者表示敬意。

template <typename T> class MakeFinal

{

      friend T;

private :

      MakeFinal() {}

      ~MakeFinal() {}

};

class FinalClass: virtual public MakeFinal<FinalClass>

{

public :

      FinalClass() {}

      ~FinalClass() {}

};

这个方法行不行,行!请注意红色的部分,由于声明了T是友元类,所以可以访问自己的私有成员函数,当然也包括构造和析构函数;但是由于FinalClass是虚继承自MakeFinal,所以当有一个类ChildClass: public FinalClass时,会先调用虚基类MakeFinal的构造函数,由于调用者是ChildClass,所以无法调用。上述代码要是把virtual去调,则可以有ChildClass: public FinalClass,因为普通的继承是由子类调用父类的构造函数,向上调用,ChildClass的父类FinalClass是可以调用MakeFinal的构造函数的,所以这里虚继承是必须的。不然就无法实现一个不能被继承的类。

这个方法有没有局限,答案是有。上述代码第一个红色的部分,只要在支持c++0x标准的编译器里才能编译通过,GCC 4.4就算是加上-std=c++0x也不能通过,因为4.4只是部分支持了c++0x的标准。是不是就不能做出一个在GCC 4.4里可以用的FinalClass了?非也,C++是万能的。嗯,你在friend后面直接加个class后,GCC会报有编译错误,此路是不通的。客官就别试了。

我们定义另一个结构体:

template<typename T>

struct Clazz

{

      typedef T Type;

};

然后把原来的FinalClass略加修改:

template <typename T> class MakeFinal

{

      friend class Class<T>::Type;

private :

      MakeFinal() {}

      ~MakeFinal() {}

};

OK,在GCC里可以编译通过了,并且虚继承了MakeFinal的类是无法再被继承的了,会在编译的时候报错。

小结,其实我们的目的就只有一个,把基类或是基类的基类的构造函数变成私有的。这样子类再继承这个类是,因为无法调用构造函数,就会产生编译时错误,自然也就没有办法继承了。

上述在GCC里能用的办法也不是我想出来的,出处在这里

2010年9月13日 | 归档于 C++, Linux
  1. lbt05
    2010年9月14日 09:38 | #1

    不明白
    我好像没学过一样。。。。

发表评论

XHTML: 您可以使用这些标签: <a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code class="" title="" data-url=""> <del datetime=""> <em> <i> <q cite=""> <s> <strike> <strong> <pre class="" title="" data-url=""> <span class="" title="" data-url="">