C++ Pimpl成语，类模板和void模板参数

Question

我试图使用类模板的pImpl成语，并且当模板参数为void时遇到问题。这里是我的最新的人为的例子：

#include <memory> 

template<typename T> class Foo { 
    class     Impl; 
    std::shared_ptr<Impl> pImpl; 
public: 
    Foo() 
     : pImpl{new Impl()} { 
    } 
    void set(T value) { 
     pImpl->set(value); 
    } 
    T get() { 
     return pImpl->get(); 
    } 
}; 

template<typename T> class Foo<T>::Impl { 
    T value; 
public: 
    void set(T value) { 
     this->value = value; // among other things 
    } 
    T get() { 
     return value; // among other things 
    } 
}; 

template<> class Foo<void> { 
    class     Impl; 
    std::shared_ptr<Impl> pImpl; 
public: 
    void set() { 
     pImpl->set(); 
    } 
    void get() { 
     pImpl->get(); 
    } 
}; 

class Foo<void>::Impl { 
public: 
    void set() { 
     // do useful stuff 
    } 
    void get() { 
     // do useful stuff 
    } 
}; 

编译上述结果如下：

$ g++ -dumpversion 
4.8.5 
void_int_template.cpp: In member function ‘void Foo<void>::set()’: 
void_int_template.cpp:34:14: error: invalid use of incomplete type ‘class Foo<void>::Impl’ 
     pImpl->set(); 
      ^
void_int_template.cpp:30:27: error: forward declaration of ‘class Foo<void>::Impl’ 
    class     Impl; 
         ^
void_int_template.cpp: In member function ‘void Foo<void>::get()’: 
void_int_template.cpp:37:14: error: invalid use of incomplete type ‘class Foo<void>::Impl’ 
     pImpl->get(); 
      ^
void_int_template.cpp:30:27: error: forward declaration of ‘class Foo<void>::Impl’ 
    class     Impl; 
         ^

如何我可以专门类模板，以适应void模板参数？

Answer 1

完整的专业化提供了一个备用定义，这意味着您必须重新定义一切。

template<> class Foo<void> { 
    class     Impl; 
    std::shared_ptr<Impl> pImpl; 
public: 
    Foo(); 
    void set(); 
    void get(); 
}; 

class Foo<void>::Impl { 
public: 
    void set() { 
    } 
    void get() { 
    } 
}; 

// these need to be inline iff it's in your header file 
/* inline */ Foo<void>::Foo() : pImpl(new Impl) {} 
/* inline */ void Foo<void>::set() { pImpl->set(); } 
/* inline */ void Foo<void>::get() { pImpl->get(); }