Question

如MSDN库here中所述，我想用pimpl习语进行一些实验。现在我有一个Foo.hpp

template<typename T>
class Foo {
public:
    typedef std::shared_ptr<Foo<T>> Ptr;

    Foo();
private:
    class Impl;
    std::unique_ptr<Impl> pImpl;
};

未使用T参数尚未。实现存储在Foo.cpp

中

template<typename T>
class Foo<T>::Impl {
public:
    int m_TestVar;
};

template<typename T>
Foo<T>::Foo() : pImpl(new Impl) {
    this->pImpl->m_TestVar = 0x3713;
}

目前编译器有两个错误和一个警告：

use of undefined type 'Foo<T>::Impl'; ... vc\include\memory in line 1150
can't delete an incomplete type; ... vc\include\memory in line 1151
deletion of pointer to incomplete type 'Foo<T>::Impl'; no destructor called; ... vc\include\memory in line 1152

这里的冲突是什么，我该如何解决呢？

编辑。删除了对std::make_shared的调用 - 根据旧版本复制和粘贴失败。

Answer 1

我遇到了类似的问题 - 我们在系统中使用了一个名为NamedComponent的基类，我想创建一个模板，该模板接受现有的命名组件并将其转换为pimpl外观。

我所做的是将模板分成标题和内联文件，并创建一个函数以使模板被实例化。这允许实现在库中，具有该实现的外观的模板实例，并且客户端能够基于模板使用外观和实现的前向声明。

标题＆＃39; Foo.h＆＃39;：

template<class T> class Foo
{
public:
    Foo ();
    virtual ~Foo();

private:
    T *impl_;

public:
    // forwarding functions
    void DoIt();
};

内联函数＆＃39; Foo.inl＆＃39;：

#include "Foo.h"

template<class T> Foo<T>::Foo() :
    impl_ ( new T )
{
}

template<class T> Foo<T>::~Foo()
{
    delete impl_;
}

// forwarding functions
template<class T> void Foo<T>::DoIt()
{
    impl_ -> DoIt();
}    

// force instantiation
template<typename T>
void InstantiateFoo()
{
    Foo<T> foo;
    foo.DoIt();
}

实现cpp文件 - 包含模板内联函数，定义实现，引用实例化函数：

#include "Foo.inl"

class ParticularImpl {
public:
    void DoIt() {
        std::cout << __FUNCTION__ << std::endl;
    }
};

void InstantiateParticularFoo() {
    InstantiateFoo<ParticularImpl>();
}

客户端cpp文件 - 包含模板头，转发声明实现并使用pimpl facade：

#include "Foo.h"
class ParticularImpl;

int main () {
    Foo<ParticularImpl> bar;

    bar.DoIt();
}

你可能不得不摆弄InstantiateFoo函数的内容来强制编译器实例化所有函数 - 在我的例子中，基类在模板方法中调用所有pimpl函数，所以一旦引用了一个函数，他们都是。您不需要调用Instantiate函数，只需链接它们即可。

Answer 2

IMHO PIMPL对模板没有多大意义，除非您知道所有可能的模板参数并且该集合相当小。问题是，您将在头文件中具有Impl实现，否则，如注释中所述。如果可能的T参数的数量很小，您仍然可以使用分隔，但是您需要在标头中声明特化，然后在源文件中显式实例化它们。

现在编译错误：unique_ptr<Impl>要求Impl的定义可用。您需要分别直接在ctor new和dtor delete中使用Foo::Foo和Foo::~Foo，而忽略了智能指针的便利性/安全性。

带有pimpl习语的模板化类不正确

2 个答案: