相关疑难解决方法(0)

在模板,在那里,为什么我必须把typename和template上依赖的名字呢？究竟什么是依赖名称？我有以下代码:

template <typename T, typename Tail> // Tail will be a UnionNode too.
struct UnionNode : public Tail {
    // ...
    template<typename U> struct inUnion {
        // Q: where to add typename/template here?
        typedef Tail::inUnion<U> dummy; 
    };
    template< > struct inUnion<T> {
    };
};
template <typename T> // For the last node Tn.
struct UnionNode<T, void> {
    // ...
    template<typename U> struct inUnion {
        char fail[ -2 + (sizeof(U)%2) ]; // Cannot be instantiated for any …

有时我看到gcc在使用模板时吐出的一些非常难以理解的错误消息......具体来说,我遇到了一些问题,看似正确的声明引起了非常奇怪的编译错误,通过在"typename"关键字前加上前缀而神奇地消失了声明的开头...(例如,就在上周,我宣布两个迭代器作为另一个模板化类的成员,我必须这样做)...

关于typename的故事是什么？

template<typename Type> class SingleList;

template<typename Type> class ListNode{
private:
    friend typename SingleList<Type>;  
    //this line appears"expected a qualified name after 'typename'"

    ListNode():nextNode(NULL){}

    ListNode(const Type item,ListNode<Type> *next=NULL):nodeData(item),nextNode(next){}

    ~ListNode(){
        nextNode=NULL;
}

public:
        Type GetData();
        friend ostream& operator<< <Type>(ostream& ,ListNode<Type>&);

private:
        Type nodeData;
        ListNode *nextNode;
};

代码:

friend typename SingleList<Type>;  

期望'typename'之后的合格名称以及如何解决它.谢谢.