C++：與CRTP，在派生類定義的類不是基礎類

Question

這裏訪問是（簡化的）基類：

template <class T> 
class SharedObject 
{ 
protected: 
    QExplicitlySharedDataPointer <typename T::Data> d; 
}; 

這裏是衍生自：

class ThisWontCompile : public SharedObject <ThisWontCompile> 
{ 
private: 
    friend class SharedObject; 
    struct Data : public QSharedData 
    { 
     int id; 
    }; 
}; 

是否有任何解決方法來訪問ThisWontCompile :: Data from SharedObject？從基礎對象派生的對象究竟能夠做什麼和不能做什麼？

Answer 1

這實際上與可訪問性和友誼無關，它與使用CRTP有關。請考慮以下的例子，還顯示出該問題：

template <class T> 
struct Base 
{ 
    typedef typename T::Data Data; 
}; 

struct ThisWontCompile : public Base<ThisWontCompile> 
{ 
    struct Data { }; 
}; 

的問題是，ThisWontCompile是在它被用作模板參數Base的時間不完全的，所以它只能被用作Base一個不完整的類型。

對於您的具體問題的解決方案了一把，諮詢解答this other question，尤其是馬丁的建議，使用traits類，這基本上是這樣的：

// Base 
template <typename T> 
struct BaseTraits; 

template <typename T> 
struct Base 
{ 
    typedef typename BaseTraits<T>::Data Data; 
}; 

// Derived 
struct Derived; 

template <> 
struct BaseTraits<Derived> 
{ 
    struct Data { }; 
}; 

struct Derived : public Base<Derived> 
{ 
}; 

typename BaseTraits<Derived>::Data可以在兩個Derived使用並在Base。如果Derived本身就是一個模板，那麼可以對特徵類使用部分特化。