pimpl 习语和模板类朋友

Question

我试图使用 pimpl 习惯用法来隐藏一些蹩脚的模板代码，但我无法让主体类友元的派生类访问句柄类。我从 MSVC 9 sp1 收到错误 C2248。下面是一些复制错误的代码：

//
// interface.hpp
//
namespace internal{
    template<class T>
    class specific_body;
}

class interface
{
    struct body;
    body *pbody_;
    interface(body *pbody);

    template<class T>
    friend class internal::specific_body;

public:

    ~interface();

    interface(const interface &rhs);

    bool test() const;

    static interface create( bool value );
};

//
// interface.cpp
//
struct interface::body
{
    virtual ~body(){}

    virtual bool test() const = 0;

    virtual interface::body *clone() const = 0;
};

class true_struct {};
class false_struct {};

namespace internal {

template< class T>
class specific_body : public interface::body
{ // C2248
public:

    specific_body(){}

    virtual bool test() const;

    virtual interface::body *clone() const
    {
        return new specific_body();
    }
};

bool specific_body<true_struct>::test() const
{
    return true;
}

bool specific_body<false_struct>::test() const
{
    return false;
}

} //namespace internal

interface::interface(body *pbody) : pbody_(pbody) {}

interface::interface(const interface &rhs) : pbody_(rhs.pbody_->clone()) {}

interface::~interface() { delete pbody_; }

bool interface::test() const
{
    return pbody_->test();
}

interface interface::create(bool value )
{
    if ( value )
    {
        return interface(new internal::specific_body<true_struct>());
    }
    else
    {
        return interface(new internal::specific_body<false_struct>());
    }
}

//
// main.cpp
//
// #include "interface.hpp"
//

int _tmain(int argc, _TCHAR* argv[])
{
    interface object( interface::create(true));

    if ( object.test() )
    {
        // blah
    }
    else
    {
    }
    return 0;
}

任何帮助将不胜感激，我正在尝试向 interface< 用户隐藏 interface::body 和 specific_body 实现/code> 如果从我的问题来看这并不明显。

Answer 1

您需要添加模板<>在模板测试方法的显式实例化中

template<> // add this line
bool specific_body<true_struct>::test() const
{
    return true;
}

Answer 2

您尚未获得 specific_body 资格。尝试

template<class T>
friend class internal::specific_body;

作为你的朋友宣言。

Answer 3

尝试使用 typename 也许？我想我在 Sutter 中读到 typename 将能够进入未知范围内的类，而 class 则不会。

Answer 4

除了 Troubadour 提到的不合格的 Specific_body 之外，您对 true_struct 和 false_struct 的 Specific_body<>::test 的专业化尝试似乎不正确。你必须专注于全班。

为了解决这个问题，我只需在公共部分声明body。另外，将 Specific_body 声明为 interface::body 的友元也没有帮助。

Answer 5

好吧，我能够通过将 body 设为接口中的公共声明来“解决”这个问题。这解决了声明 specific_body 期间的 C2248 错误。我还使 body 成为 interface 类的友元，并向 body 结构添加了一个方法：

static interface create( body *pbody )
{
    return interface(pbody);
}

以便生成 specific_body如果 specific_body 实例之间存在嵌套关系，code> 可以创建一个接口