c++ - 不明确的类型引用

Question

为什么会这样:

template <typename T> 
struct foo
{
};

struct A
{
    typedef foo<A> type;
};

struct B : public A
{
    typedef foo<B> type;
};

int main()
{
    B::type john;
    return 0;
}

但不是这个:

template <typename T> 
struct foo
{
};

template <typename T>
struct Shared
{
    typedef foo<T> type;
};

struct A : public Shared<A>
{
};

struct B : public A, public Shared<B>
{
};

int main()
{
    // g++ 4.5 says :
    // error: reference to 'type' is ambiguous
    B::type john;
    return 0;
}

在我的代码中，foo 实际上是 boost::shared_ptr 并且，如您所见，我正在尝试分解一些 typedef使用 Shared 类。

Answer 1

因为 B继承foo<B>并且，间接地，foo<A> , 并且都包含一个成员 type .你指的是什么？

您的第一段简单代码有 B的 type 隐藏 A的 type ，但这不会发生在更复杂的第二段代码中，它涉及更深的继承树。