Pimpl-为什么可以对不完整类型调用make_unique

Question

为什么要编译make_unique调用？make_unqiue不需要它的模板参数是一个完整的类型吗？

struct F;
int main()
{
  std::make_unique<F>();
}

struct F {};

这个问题源于我的PIMPL实现的“问题”：

我确实理解为什么析构函数必须在实现类(PIMPL)的cpp文件中由用户声明和定义。

class Object
{};

class CachedObjectFactory
{
public:
  CachedObjectFactory();

  ~CachedObjectFactory();
  std::shared_ptr<Object> create(int id) const;

private:
  struct CacheImpl;
  std::unique_ptr<CacheImpl> pImpl;
};

// constructor with make_unique on incomplete type ?
CachedObjectFactory::CachedObjectFactory()
  : pImpl(std::make_unique<CacheImpl>())
{}

struct CachedObjectFactory::CacheImpl
{
  std::map<int, std::shared_ptr<Object>> idToObjects;
};

//deferred destructor
CachedObjectFactory::~CachedObjectFactory() = default;

Answer 1

make_unique有多个实例化点：翻译单元的末尾也是一个实例化点。您看到的是，编译器只有在完成cacheimpl/F之后才实例化make_unique。允许编译器这样做。如果依赖代码，代码的格式就不正确，编译器不需要检测错误。

14.6.4.1实例化点[temp.Point]

8对于函数模板、成员函数模板或类模板的成员函数或静态数据成员的专门化可以在翻译单元内具有多个实例化点，并且除了上述实例化点之外，对于在翻译单元内具有实例化点的任何这样的专门化，翻译单元的末尾也被认为是实例化点。[...]如果两个不同的实例化点根据一个定义规则（3.2）赋予一个模板专门化不同的含义，则程序是格式不良的，不需要诊断。