帶有pimpl習語的模板類不正確

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

什麼是這裏的concflict和我怎麼能解決它？

編輯。刪除了致電std::make_shared - 複製&根據一箇舊版本粘貼失敗。

Answer 1

我有類似的問題 - 我們在我們的系統中有一個名爲NamedComponent的基類，我想創建一個模板，它將現有命名組件轉換爲pimpl facade。

我所做的是將模板分隔成一個頭文件和一個內聯文件，並創建一個函數使模板實例化。這允許實現在一個庫中，使用該實現的外觀的模板實例化，並且客戶端能夠基於模板和實現的前向聲明來使用外觀。

頭 'foo.h中'：

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

private: 
    T *impl_; 

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

內聯函數「富。INL'：

#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文件 - 包括模板頭部，向前聲明的實施和使用平普爾門面：

#include "Foo.h" 
class ParticularImpl; 

int main() { 
    Foo<ParticularImpl> bar; 

    bar.DoIt(); 
} 

您可能必須與InstantiateFoo功能的內容擺弄強制編譯器來實例化的所有本功能離子 - 在我的情況下，基地在模板方法中調用所有pimpl的函數，所以一旦被引用，它們都是。你不需要調用Instantiate函數，只需鏈接到它們。

Answer 2

恕我直言，PIMPL對模板沒什麼意義，除非你知道所有可能的模板參數，而且這個設置相當小。問題是，否則您將在頭文件中實現Impl實現，如註釋中所述。如果可能的T參數的數量很少，您仍然可以使用分隔符，但是您需要在頭文件中聲明特化文件，然後在源文件中顯式實例化它們。

我們的編譯器錯誤：unique_ptr<Impl>需要Impl定義可用。您需要分別直接使用new和delete，並分別使用智能指針的便利性/安全性，然後分別使用Foo::Foo和dtor Foo::~Foo。