模板别名的相等

Question

我尝试创建无法与原始别名区分开的模板别名。

因此，我创建特征以检查2个模板（非类型）是否相等：

template <template <class...> class C1,
          template <class...> class C2>
struct is_same_template : std::false_type {};

template <template <class...> class C1>
struct is_same_template<C1, C1> : std::true_type {};

现在测试一下：

// Expected alias
template <typename ... Ts> using V_Ts = std::vector<Ts...>;    // Variadic
// Fallback alias
template <typename T, typename A> using V = std::vector<T, A>; // Exact count

static_assert(!is_same_template<std::vector, V_Ts>::value); // Alias rejected by gcc/clang
static_assert( is_same_template<std::vector, V>::value);    // Alias accepted only for gcc

演示版

是否可以创建“ true”别名？哪个编译器是正确的？

Answer 1

我尝试创建无法与原始别名区分开的模板别名。

我认为目前这是不可能的。（不幸的是）没有模板别名，只有别名模板。别名模板始终是其自己的[temp.alias] / 1的模板。别名模板的特殊化等同于通过将模板参数替换为别名模板而获得的类型，但是别名模板本身不是另一个模板[temp.alias] / 2的别名。我会考虑让GCC让您第二次static_assert通过GCC中的错误……

正如@HolyBlackCat在上面的评论中指出的那样，存在一个相关的问答，指出了许多相关的CWG问题。特别是一个问题（CWG 1286）似乎暗示着希望让别名模板本身等同于在某些情况下它所引用的模板。但是，由于稍后提出的关注，似乎未通过建议的决议。当前的标准草案中的相关措辞（[temp.alias]和[temp.type]）似乎与C ++ 11相同。