С++ идиомы - обсуждение

// --- library.h
struct impl;      //<--- наша реализация. 
          // при желании можно запихнуть в потроха класса-хозяина
 
class agregat
{
public:
    agregat();
  ~agregat();  //<--- обязателен
private:
    enum { size = 4 };
    char storage[size];     //<--- в хедере отсвечивает лишь хранилище байт
        // я использовал обычный массив чар для иллюстрации
        // на самом деле можно использовать что то более надежное.
        // например конструкцию union, 
        // что бы гарантировать корректное выравнивание
};

    // --- library.cpp
    #include <impl.h>    //<--- в спп файле прицепляем настоящую реализацию
       // теперь компилятору известен точный размер структуры
 
    namespace 
    {
        template<size_t N> impl& access(char (&storage)[N])
        {
            void* s = storage;
            auto* p =  reinterpret_cast<impl*>(s);
            return *p;
        }
 
    }//namespace 
 
    agregat::agregat()
    {
        // попросим компилятор проследить,
        // что хранилище нужного размера
        
        static_assert(
            agregat::size == sizeof(impl),
            "[ERROR] invalid type of 'impl'"
        );
        
        new (storage) impl();
    }
   agregat::~agregat()
   {
       // в деструкторе необходимо вручную позаботиться 
       // о разрушении объекта-реализации
       auto& obj = access(storage);
       obj.~impl();
   }
 
int main()
{
    agregat example;
}

struct IBase { ... };
 
IBase* create(const int id); //<--- наследник живет в спп. наружу не торчит.

//library.h
struct agregate
{
    //...
    enum { size = 4 };//При изменении строения impl, 
    char storage[size];//может потребоваться изменение размера буфера
};

//impl.h
struct impl
{
    //sizeof(impl) == 4
    //изменение размера здесь приведет 
    //к необходимости изменения library.h
};

//library.cpp
#include "library.h"
#include "impl.h"
 
//agregate implementation
//перекомпилируется в случае изменения libray.h или impl.h

//всё_остальное.cpp
#include "library.h"
 
//реализация всего остального
//перекомпилируется в случае изменения
//заголовочного файла library.h
//например, если library.h - это интерфейс к DLL и меняется impl,
//то придется, помимо самой DLL перекомпилировать всё, что использует эту DLL.

//library.h
class impl;
struct agregate
{
    //...
    //Как бы не менялся impl, нам пофигу, 
    //здесь оно не поменяется никак.
    impl * pImple;
};

//impl.h
struct impl
{
    //sizeof(impl) == 4
    //изменение размера или интерфейса 
    //здесь не приведет к изменению в library.h
};

//library.cpp
#include "library.h"
#include "impl.h"
 
//agregate implementation
//перекомпилируется в случае изменения libray.h или impl.h

//всё_остальное.cpp
#include "library.h"
 
//реализация всего остального
//перекомпилируется в случае изменения
//заголовочного файла library.h, который, как мы помним,
//не меняется от изменения файла impl.h
//например, если library.h - это интерфейс к DLL и меняется impl,
//то перекомпилировать придется только саму DLL,
//а то что, что использует эту DLL перекомпилировать не нужно.