试题:实现一个不能被继承的类(下)

我们也不必气馁, 我们可以用类模板的特化来做, 实现如下:

template <class T>
class FinalMaker;

class A;

template <>
class FinalMaker<A>
{
private:
    ~FinalMaker() { }
    friend class A;
};

class A : virtual public FinalMaker<A>
{

};

class B : public A
{
public:
    static void static_func() { }
    static int value;
};

int B::value = 0;

int main()
{
    A a;
//  B b; // error
    B::static_func();
    B::value = 1;
    return 0;
}

这样, 如果我们要把C也写成A这样: 我们仍然要做所有A做过的事(把FinalMacker以C为模板参数特化出一份代码):

class C;

template <>
class FinalMaker<C>
{
private:
    ~FinalMaker() { }
    friend class C;
};

class C : virtual public FinalMaker<C>
{

};

从代码量看, 类模板的方法比按最前面的代码再写一份关于C的, 都要多一些, 复杂些, 唯一的好处是, 我们不用再为命名而烦恼了

上面的代码中的:

template <class T>
class FinalMaker;

我用的是FinalMaker的声明, 而非定义:

template <class T>
class FinalMaker
{
private:
    ~FinalMaker() { }
};

其实, 两个方式都可以