通过依赖类型使用非类型模板参数的单类型模板参数类模板的部分专用化

_{以下所有标准参考均指N4659：2017年3月后Kona工作草案/C++17 DIS。}

请考虑以下代码片段：

#include <type_traits>
template <int N> struct num {};
template <typename> struct A;
// (1)
template <int N> struct A<num<N>> { using type = bool; };
// (2)
template <long N> struct A<num<N>> { using type = char; };
static_assert(!std::is_same_v<long, int>, "");
// (A)
static_assert(std::is_same_v<A<num<1>>::type, bool>, "");
int main() {}

(A(处的static_assert对于 GCC 是成功的，但对于 Clang 是失败的：

error: static_assert failed due to 
requirement 'std::is_same_v<char, bool>' ""

本质上，GCC选择完全匹配的专业化(1(，而Clang选择专业化(2(。

同样，如果我们删除断言和专业化(1(：

template <int N> struct num {};
template <typename> struct A;
// (2)
template <long N> struct A<num<N>> { using type = char; };
int main() {
A<num<1>> a{};
(void)a;
}

然后GCC无法编译程序，而Clang接受它。

海湾合作委员会：

error: variable '`A<num<1> > a`' has initializer but incomplete type

这种行为适用于各种GCC和Clang版本，以及这些版本(C++11，C++14，C++17，C++2a(的各种C++语言级别。

问题

• 上面的第一个代码段实际上是格式不正确的(不需要诊断？(，还是GCC或Clang错了？

我的猜测是这是格式不正确的，但无法应用 [temp.class.spec] 的相关部分来拒绝它。也许 [temp.class.spec]/8.1？

[temp.class.spec]/8.1与专用非类型参数对应的模板参数的类型不应依赖于专用参数。[示例： [...] — 结束示例]