沒有繼承

Question

公共成員，我有一個基類，它看起來是這樣的：

class Base 
{ 
public: 
    typedef std::shared_ptr<Base> ptr_t; 
    typedef std::weak_ptr<Base> wptr_t; 

    enum class Type { foo, bar, baz }; 

    Type x; 
    // ... 
}; 

我想那些內部類型是公共的，這樣我可以做的東西一樣Base::ptr_t my_ptr(new Base);等。但是，如果我做一個新的類像這樣...

class Derived : public Base 
{ 
    // ... 
}; 

不幸的是，Derived::ptr_t仍然是一個基本指針。我希望Derived從Base公開繼承x，但不繼承ptr_t,wptr_t或Type。例如

Derived a; 
a.x = Base::Type::foo; // this should work 
a.x = Derived::Type::foo; // but I want this to fail 

這是可能的，但也許一些魔術使用friend或virtual或類似的東西？

Answer 1

基於iammilind和呂克·丹東的答案，這就是我已經拿出：

class Base 
{ 
private: 
    // only 'BaseClass' is allowed to derive from Base 
    Base() { } 
    friend class BaseClass; 
public: 
    typedef std::shared_ptr<Base> ptr_t; 
    typedef std::weak_ptr<Base> wptr_t; 

    enum class Type { foo, bar, baz }; 

    Type x; 
    // ... 
}; 

class BaseClass : public Base 
{ 
private: 
    // make all the raw_Base types private 
    using Base::ptr_t; 
    using Base::wptr_t; 
    using Base::Type; 
}; 

class Derived : public BaseClass 
{ 
    // define as usual, and now all is well in the world. 
}; 

// now, to test it 
class Derived2 : public Base { }; // fails 

Derived d; 
d.x = Derived::Type::foo; // fails 
d.x = Base::Type::foo; // works 
// Which is exactly what I wanted. 

作爲就我所知，這個解決方案的唯一問題是它增加了一個新的，可能令人困惑的類。這個類被定義爲不會被真正誤用 - Base本身不能從BaseClass除外，但仍然是BaseClass是一個沒有吸引力的命名空間混亂。

但是，對於我打算使用此代碼的特定代碼，我碰巧已經使用相當於BaseClass來解決無關的問題。所以這個技術很適合我的目的。

Answer 2

只需覆蓋類型：

class Derived { 
    typedef int Type; 
}; 

它將not allow the use ofDerived::Type（因爲它是私有的，以及typedef ED）

Answer 3

class Derived : public Base 
{ 
    // This is now private 
    using Base::ptr_t; 
    using Base::wptr_t; 
    // ... 
};