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

是否有任何解决方法从SharedObject访问ThisWontCompile :: Data ？ 使用基础对象中的派生对象究竟能做什么，究竟什么不能完成？

Answer 1

这实际上与可访问性和友谊无关，它与CRTP的使用有关。 请考虑以下示例，该示例也显示问题：

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

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

问题是ThisWontCompile在用作Base的模板参数时是不完整的，因此它只能用作Base的不完整类型。

对于您的具体问题的一些解决方案，请查阅其他问题的答案，特别是Martin建议使用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本身是一个模板，则可以对traits类使用部分特化。