在下面的示例中，Abstract是一个类模板，它的第一个参数是一个类型，第二个参数是另一个模板，该模板带有一个bool沿着任意数量的args。

template<bool,typename>
struct Default;

template< typename T = void,
          template<bool,typename ...> class = Default>
struct Abstract;

template<typename T>
struct Abstract<T>
{};

template<typename T, template<bool> class C>
struct Abstract<T,C> : Abstract<T>
{};

int main()
{}

Clang和C++的输出如下：

铿锵：

错误：类模板部分专用化未专用化任何模板参数;

G++

好的
因此，我决定使用clang友好的方法，并在Abstract的声明中添加了第三个参数。

template< typename T = void,
          template<bool,typename ...> class = Default,
          typename = void >
struct Abstract;

现在，Clang和G++对此都很满意，我猜Clang抱怨的原因，是因为专门化并没有专门化任何东西，但那不是真的，它专门化了参数的数量。
接下来，我为template参数添加了另一个特殊化，示例如下：

template<bool,typename>
struct Default;

template< typename T = void,
          template<bool,typename ...> class = Default,
          typename = void >
struct Abstract;

template<typename T>
struct Abstract<T>
{};

template<typename T, template<bool> class C>
struct Abstract<T,C> : Abstract<T>
{};

template<typename T, template<bool,typename> class G>
struct Abstract<T,G> : Abstract<T>
{};

int main()
{}

Clang和C++的输出如下：

铿锵：

错误：重新定义Abstract<type-parameter-0-0, C, void>注意：以前的定义是struct Abstract<T,C> : Abstract<T>

**G++：**一个三个

OK -（声明中也不需要第三个参数）
我不认为Clang就在这里，因为第三个特殊化对template参数有效，而variadic template参数允许我特殊化任意数量的参数，但是我不确定。

**问题：**哪个编译器是有缺陷的？为什么？如果能从规范中引用一句话，让这个问题更清晰，那就太好了。