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

最新推荐文章于 2024-07-10 10:34:29 发布

ken_scott

最新推荐文章于 2024-07-10 10:34:29 发布

阅读量624

点赞数

分类专栏：笔记试题 c++ 文章标签： class

本文链接：https://blog.csdn.net/cxxmaker/article/details/7176137

版权

c++ 同时被 3 个专栏收录

100 篇文章 0 订阅

订阅专栏

笔记

82 篇文章 0 订阅

订阅专栏

试题

46 篇文章 0 订阅

订阅专栏

分析: 代码之所以不能通过编译是因为A中的typedef晚于FinalMaker<A>中对A::RawType的引用, 所以我们要有方法更早的引用到A::RawType, 所以我让A又继承了Template<A>, 并把typedef写在Template<A>中, 这样A就会继承下这个typedef, 又考虑到构造函数的继承顺序, 所以Template<A>应被先继承, 且应该被virtual的方式继承:

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

template <class T>
struct Template
{
    typedef T RawType;
};

class A : virtual public Template<A>, virtual public FinalMaker<A>
{

};

可惜, 还是报相同的错误, 这着实让我有些失落, 正当我打算放弃的时候, 我发现我做了一件舍近求远的事, Damn it!

很快我得到下面的代码:

template <class T>
struct Template
{
    typedef T RawType;
};

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

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;
}

编译, 通过!