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本身就是一个模板，那么可以对特征类使用部分特化。