匹配别名模板作为模板参数

Question

考虑following code：

#include <type_traits>

template<template<class...> class T, class... U>
struct is_specialization_of : std::false_type{};

template<template<class...> class T, class... U>
struct is_specialization_of<T, T<U...>> : std::true_type{};

template<class T, class U = int>
struct test{};

// (1) ok
static_assert(is_specialization_of<test, test<int>>::value, "1");

template<class T>
using alias = test<T>;

// (2) fails
static_assert(is_specialization_of<alias, alias<int>>::value, "2");

int main()
{
}

为什么 (2)，即使用别名模板的 static_assert 会失败？

（2）中的模板参数推导过程与（1）中的有什么不同？

Answer 1

这是CWG issue 1286。问题是：alias 和 test 是否等效？ [temp.type]中曾经有一个例子表明y和z在这里具有相同的类型：

template<template<class> class TT> struct X { };
template<class> struct Y { };
template<class T> using Z = Y<T>;
X<Y> y;
X<Z> z;

该示例已作为CWG defect 1244 的一部分进行了更正 - 这正确表明[temp.alias] 中没有任何措辞实际上指定别名模板等同于它们别名的模板。那里唯一的措辞是指别名模板特化的等效性：

当一个template-id指代一个别名模板的特化时，它等价于通过替换它的template-arguments 用于别名模板的 type-id 中的 template-parameters。

意图显然是 y 和 z do 在此示例中具有相同的类型，这意味着 Z 和 Y 实际上是等效的。但除非并且直到决议中的措辞获得通过，否则它们不会。今天，alias 和 test 不 等效，但 alias<int> 和 test<int> 是。这意味着is_specialization_of<alias, alias<int>> 是is_specialization_of<alias, test<int>>，其中alias 与test 不同，这与您的部分专业化不匹配，因此是false_type。

此外，即使采用 #1286 中的措辞，test 和 alias仍然不等价，原因很明显，test 采用两个模板参数，而别名采用一个模板参数。决议措辞中的示例模仿了您的示例并在此处阐明了意图：

template<typename T, U = T> struct A;

// ...

template<typename V>   
  using D = A<V>;      // not equivalent to A:
                       // different number of parameters

Answer 2

我认为没有模板参数列表的别名模板名称不等于关联类型的名称。因为标准只规定了一种这样的情况：

14.5.7 别名模板 [temp.alias]

1. 当一个template-id指代一个别名模板的特化时，它等价于关联类型 通过将其模板参数替换为别名的类型 ID 中的模板参数而获得 模板。 [注意：永远不会推断出别名模板名称。-结束注释]

还有这个works fine：

static_assert(is_specialization_of<test, alias<int>>::value, "2");