如何在另一个类模板中定义完全专用类的构造函数

我有一个包含另一个类模板的类模板，并且内部模板具有明确的专用化：

template <typename Outer>
struct ContainingClass {
template <typename T>
struct Rule {
Rule(T value);
// ... other members ...
};
template <>
struct Rule<void> {
Rule();
// ... different members than the non-void Rule<T> ...
};
};

我已经为泛型和专用Rule定义了构造函数：

template <typename Outer>
template <typename T>
ContainingClass<Outer>::Rule<T>::Rule(T value) { }
template <typename Outer>
ContainingClass<Outer>::Rule<void>::Rule() { }

但是 Clang 不喜欢专用类的构造函数：

error: nested name specifier 'ContainingClass<Outer>::Rule<void>::' for declaration does not refer into a class, class template or class template partial specialization
ContainingClass<Outer>::Rule<void>::Rule() { }
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^

我对此感到困惑，因为它"引用"ContainingClass<Outer>，这是一个类(ContainingClass类模板的实例)。 我怀疑我需要为此更改语法中的某些内容，但不清楚是什么。 如何定义此构造函数？

(如果我删除ContainingClass并将Rule放在命名空间范围内，它可以工作，但我需要在Rule中具有其他取决于Outer类型的东西。 我可以给Rule它自己的Outer模板参数，但这会使使用此类的代码更加尴尬，所以如果可能的话，我想避免使用它。 我知道我可以在Rule类主体中内联定义构造函数，但我想了解为什么单独的定义不起作用。

为了以防万一，我在 Ubuntu 19.04 中使用了 Clang 8.0，在 Mac 上使用 Apple 的"clang-1001.0.46.4"。 (我也尝试过 Ubuntu 的 GCC 8.3，但由于 GCC 错误 #85282 —struct Rule<void>本身定义的"非命名空间范围内的显式专用化"，这在不同的地方失败了。

编辑澄清：我的错误不是关于ContainingClass内有template <> struct Rule<void>专业化。 这是 C++14 限制(缺陷 CWG 727)的主题，通过添加虚拟模板参数来解决，因此模板只是部分而不是完全专用的。 我相信限制已经在 C++17 中解除，并且Rule类本身的专业化在 Clang 中运行良好(尽管 GCC 有错误)。 所以我认为虚拟参数解决方法在这里不是正确的解决方案——但如果我弄错了，请告诉我，并且在 C++17 中仍然存在限制。