格式错误的模板部分特化

Question

我正在试验模板部分专业化，我得到了以下代码。

template <typename T>
struct X {
    using type = T;
};

template <typename T>
struct Y {};

template <typename T>
struct Y<typename X<T>::type> {};

Clang、GCC 和 MSVC 似乎抱怨模板参数在这种情况下不可推导。 但是，永远不应该匹配部分专业化。 因此，每个专业化都将依赖于主要模板定义。

---

我在规范中找不到禁止这样做的部分。

Answer 1

template <typename T>
struct Y<typename X<T>::type> {};

不比主类模板更专业。

template <typename T>
struct Y {};

换句话说，它接受主类模板接受的同一组类型，而不是它的子集。 规范中的确切条款。