与模板类交朋友：编译错误

Question

我试图使用指向实现惯用语的指针来隐藏我正在使用 Concurrency::unbounded_buffer （来自 VC++ 2010）的事实。问题是，我正在使用模板执行此操作，但陷入了编译错误。代码如下：

BlockingQueue.h

#pragma once

namespace DRA{
namespace CommonCpp{
    //Forward declaration
    template <class Element> class BlockingQueueImpl;

    template <class Element>
    class BlockingQueue{
        BlockingQueueImpl<Element>* m_pImpl;
    //Forbid copy and assignment
        BlockingQueue( const BlockingQueue& );
        BlockingQueue& operator=( const BlockingQueue& );
    public:
        BlockingQueue();
        ~BlockingQueue();
        void Push( Element newElement );
        Element Pop();
    };
}
}

BlockingQueue.cpp

#include "BlockingQueue.h"
#include "BlockingQueueImpl.h"

using namespace DRA::CommonCpp;

BlockingQueue<class Element>::BlockingQueue():
    m_pImpl( new BlockingQueueImpl<Element>() ){
}

BlockingQueue<class Element>::~BlockingQueue(){
    //Let the implementation's destructor handle pending Pops
    delete m_pImpl;
}

template<class Element>
void BlockingQueue<Element>::Push( Element newElement ){
    m_pImpl->Push( newElement );
}

template<class Element>
Element BlockingQueue<Element>::Pop(){
    return m_Impl->Pop();
}

BlockingQueueImpl.h

#pragma once

#include <agents.h> //This is VS2010 Exclusive (Concurrency Runtime)

namespace DRA{ namespace CommonCpp{ template <class Element> class BlockingQueue; } }

namespace DRA{
namespace CommonCpp{
template <class Element>
    class BlockingQueueImpl{
        Concurrency::unbounded_buffer<Element>  m_Queue;
    //Only friends can use this class
        friend class BlockingQueue<Element>;
        BlockingQueueImpl();
        ~BlockingQueueImpl();
    //Forbid copy and assignment
        BlockingQueueImpl( const BlockingQueueImpl& );
        BlockingQueueImpl& operator=( const BlockingQueueImpl& );
    //Members
        void Push( Element newElement );
        Element Pop();
};
}
}

BlockingQueueImpl.cpp

#include "BlockingQueueImpl.h"

using namespace DRA::CommonCpp;

BlockingQueueImpl<class Element>::BlockingQueueImpl(){
}

BlockingQueueImpl<class Element>::~BlockingQueueImpl(){
}

template<class Element>
void BlockingQueueImpl<class Element>::Push( Element newElement ){
    send( m_Queue, newElement );
}

template<class Element>
Element BlockingQueueImpl<class Element>::Pop(){
    return receive( m_Queue );
}

错误是：

BlockingQueueImpl.cpp(12): error C2649: 'typename' : is not a 'class'

我尝试将类添加到友元声明中的模板参数中，但它不起作用

Answer 1

除了现有答案之外：

error C2649: 'typename' : is not a 'class'

我有相同的错误消息，但我的代码看起来略有不同：

template< class T, class TNodeType = SimpleTreeNode<T> ...>
class Tree {
    friend class TNodeType; // *** Turns out: WRONG friend declaration

这与现有答案中的情况相同：省略 class 关键字（编译器已经知道这是我假设的类型）：

template< class T, class TNodeType = SimpleTreeNode<T> ...>
class Tree {
    friend TNodeType; // *** OK: note missing `class`keyword

Answer 2

您的问题是模板函数定义的语法不正确。应删除第二个 class 关键字。

template<class Element>
void BlockingQueueImpl< /*class*/ Element>::Push( Element newElement ){
    send( m_Queue, newElement );
}

是的，您不应该将模板声明及其实现分开。

Answer 3

模板的特点是它们仅包含标题。您不能将模板实现放入 cpp 文件中，因为整个模板在实例化时需要可用。

我怀疑您是否可以在模板中使用这个习惯用法。

Answer 4

模板基本上为编译器提供了构建代码的模板。它不是“真正的”代码，因为它可以按原样使用和编译。
这意味着当您实例化模板（在具有具体类类型的地方使用类或模板化方法）时，编译器需要查看实际的模板代码以生成正确的代码。

所有这些基本上意味着模板化代码必须位于标头中，并包含到使用模板化代码的任何其他文件中。