従来の PImpl イディオムは次のようになります。
#include <memory>
struct Blah
{
//public interface declarations
private:
struct Impl;
std::unique_ptr<Impl> impl;
};
//in source implementation file:
struct Blah::Impl
{
//private data
};
//public interface definitions
ただし、楽しみのために、代わりにプライベート継承を使用してコンポジションを使用しようとしました。
[Test.h]
#include <type_traits>
#include <memory>
template<typename Derived>
struct PImplMagic
{
PImplMagic()
{
static_assert(std::is_base_of<PImplMagic, Derived>::value,
"Template parameter must be deriving class");
}
//protected: //has to be public, unfortunately
struct Impl;
};
struct Test : private PImplMagic<Test>,
private std::unique_ptr<PImplMagic<Test>::Impl>
{
Test();
~Test();
void f();
};
[最初の翻訳単位]
#include "Test.h"
int main()
{
Test t;
t.f();
}
[第 2 翻訳単位]
#include <iostream>
#include <memory>
#include "Test.h"
template<>
struct PImplMagic<Test>::Impl
{
Impl()
{
std::cout << "It works!" << std::endl;
}
int x = 7;
};
Test::Test()
: std::unique_ptr<Impl>(new Impl)
{
}
Test::~Test() // required for `std::unique_ptr`'s dtor
{}
void Test::f()
{
std::cout << (*this)->x << std::endl;
}
この代替バージョンの動作は気に入っていますが、従来のバージョンよりも大きな欠点があるかどうか知りたいですか?
編集: DyP は、さらに「きれいな」別のバージョンを親切に提供してくれました。