5

従来の 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;
}

http://ideone.com/WcxJu2

この代替バージョンの動作は気に入っていますが、従来のバージョンよりも大きな欠点があるかどうか知りたいですか?

編集: DyP は、さらに「きれいな」別のバージョンを親切に提供してくれました。

4

1 に答える 1