c++ - 匹配别名模板作为模板参数

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] 中没有任何措辞这实际上指定别名模板等同于它们别名的模板。那里唯一的措辞是指别名模板特化的等效性:

When a template-id refers to the specialization of an alias template, it is equivalent to the associated type obtained by substitution of its template-arguments for the template-parameters in the type-id of the alias template.

其意图显然是 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