带有 SFINAE 虚拟参数的模棱两可的模板

Question

考虑一种情况，需要在另一个模板的虚拟参数中使用另一个模板 g（例如，可能是一些 enable_if 表达式）验证类型 T，如下所示：

template<class>        struct g { typedef void type; };
template<class, class> struct f {};
template<class T>      struct f<T, void> {};                  // Case A
template<class T>      struct f<T*, typename g<T>::type> {};  // Case B

int main() { f<int*, void> test; }

这里，为了简单起见，g 并没有真正做任何事情。 Case B 中的第二个参数是在一个非推导的上下文中，因此直觉上人们会认为 Case B 比 Case A 更专业。遗憾的是，gcc 和 clang 都会抱怨模板在上面的实例化中不明确。

如果要删除虚拟参数，那么它编译得很好。添加非推导参数如何以某种方式破坏T* 比T 更专业的合理预期？

下面是使用替换算法的快速检查：

   f<Q , void      >
-> f<T*, g<Q>::type> // [failed]

   f<Q*, g<Q>::type>
-> f<T , void      > // [to fail or not to fail?]
// One would assume that 2nd parameter is ignored, but guess not?

Answer 1

当出现歧义时，使用模板的部分排序来解决它。但是，这种部分排序是在模板上建立的，因为它们是 before 任何替换发生，而不是 after（部分或完全）替换已经执行 - 这就是你期望通过将T 替换为typename g<T>::type 中的int，从而产生typename g<int>::type，因此（由于g 的定义）void。

第 14.8.2.4/2 段指定了如何建立偏序（请参阅 this answer on SO 以获得对以下段落的更详细讨论）：

使用两组类型来确定偏序。对于涉及的每个模板，都有 原始函数类型和转换后的函数类型。 [注：转换类型的创建 在 14.5.6.2 中描述。 --end note ] 推演过程使用转换后的类型作为参数 模板和另一个模板的原始类型作为参数模板。这个过程做了两次 对于偏序比较中涉及的每种类型：一次使用转换后的 template-1 作为 参数模板和模板 2 作为参数模板，并再次使用转换后的模板 2 作为参数模板，template-1 作为参数模板。

在任何替换之前，在不知道T 将假定什么值的情况下，您无法判断（编译器也无法判断）case B 是否比 case A。因此，这两个专业中没有一个比另一个更专业。

换句话说，问题不在于这种偏特化是否：

template<class T> struct f<T, void>; // Case A

比这个更专业（通过部分替换获得）：

template<class T> struct f<T*, void>; // Case B

如果这就是你所拥有的，那么答案显然是 case B 更专业。相反，问题是对于任何可能的T，这个专业化：

template<class T> struct f<T, void>; // Case A

比这个更专业：

template<class T> struct f<T*, typename g<T>::type>; // Case B

由于无法为任何T 建立，因此案例 B 既不比案例 A 更专业也不比案例 A 更专业，当两者都可行时，您会得到歧义。

如果您想知道部分排序是否考虑了非推导上下文中的参数，请参阅第 14.8.2.4/11 段的注释：

在大多数情况下，所有模板参数都必须具有值才能成功进行推演，但对于部分 排序目的，模板参数可能没有值，前提是它没有在类型中使用 用于部分排序。 [ 注意：考虑在非推导上下文中使用的模板参数 用过的。 ——尾注 ]