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在这个例子中确实有相同的类型，这意味着 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