传统的 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
但是,为了好玩,我尝试使用带有私有继承的组合来代替:
[测试.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();
}
【第二翻译单元】
#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 还提供了另一个版本,它甚至更“漂亮”。