如何将“外部模板”与由同一类中的模板化成员使用的嵌套类一起使用？

首先，一些背景信息：我尝试以 Herb Sutter 在他的解决方案中介绍的方式使用 Pimpl 习语。得到了#101 http://herbsutter.com/gotw/_101/。这在头文件中看起来像这样：

#include "pimpl_h.h"
class widget {
    class impl;
    pimpl<impl> m;
    // ...
};

实现如下所示：

#include "pimpl_impl.h"
class widget::impl {
    // ...
};

当使用此技术的类使用另一个 Pimpl 类作为其自己的实现时，我试图解决的问题就会出现。它包含“pimpl_impl.h”，因此编译器（在我的例子中为 VC++ 2013）获得了具体模板的知识pimpl <impl>另一个类并尝试隐式实例化它，这当然会导致编译错误，因为它不知道该类的实现。

为了解决这个问题，我在头文件中使用了 C++ 11 的新“外部模板”功能：

#include "pimpl_h.h"
class widget {
    class impl;
    pimpl<impl> m;
    // ...
};
extern template pimpl<widget::impl>;

这应该保证只有编译单元中的显式实例化提供了widget::impl导致实际的实例化。编译没有问题，但 IntelliSense 显示错误：

Error: 'extern template' cannot follow explicit instantiation of class "pimpl<widget::impl>"

由于“外部模板”不能在类声明内部使用，所以我不能写

#include "pimpl_h.h"
class widget {
    class impl;
    extern template pimpl<impl>;
    pimpl<impl> m;
    // ...
};

我想不出任何其他办法。我的问题是：

IntelliSense 是否错误，编译器接受我的代码是否正确？或者只是巧合，VC++ 编译了它，而它不是有效的 C++？

如果我的解决方案不是有效的 C++，我有哪些替代方案？

我想我自己解决了这个问题。标准第 14.7.2.11 条中规定

如果一个实体同时是显式实例化声明和显式实例化声明的主题 在同一个翻译单元中实例化定义，该定义应遵循 宣言。

这可能就是 IntelliSense 所指的。这就是我注意到错误消息显示“...无法跟随explicit实例化...”。显然任何地方都没有显式实例化，只是一个implicit类定义内的实例化widget。所以我认为这是 IntelliSense 内部的错误。在同一段落中，标准说

一个实体，它是显式实例化声明的主题，并且也是 以否则会导致隐式实例化（14.7.1）的方式使用 翻译单元应是显式实例化定义的主题 在程序中的哪个位置；否则程序格式错误，无需诊断。

它不需要（潜在的）隐式实例化和显式实例化声明的任何特定顺序。

此时我也意识到我的解决方案对于我原来的问题来说实际上是矫枉过正的。我不想阻止模板类的隐式实例化宣言 and 定义 of pimpl<impl>，但只有模板类定义 inside pimpl_impl.h. The extern template pimpl<impl>抑制了两者，这解决了我的问题，但做了超出必要的事情。解决方案是声明实际成员pimpl<impl> with extern template并稍后显式实例化它们。