排除使用显式构造的 std::pair 构造函数

Question

从this answer 开始，似乎这些构造函数：

template<class U, class V> pair(pair<U, V>&& p); 
template<class U, class V> pair(const pair<U, V>& p);

在需要显式转换时禁止参与重载解决方案。

来自 C++11（§20.3.2，n3290）：

备注：除非 U 可隐式转换为 first_type 且 V 可隐式转换为 second_type，否则此构造函数不应参与重载决议。

有人建议了一个有趣的SFINAE workaround，但这偏离了标准的文本。

如果没有一些特殊的内部编译器魔法，一个符合要求的实现如何可能将其排除在重载决议之外？ IE。一个实现可以做到这一点，我可以为我自己的类型复制它吗？似乎没有任何符合这一点的方法！这是从 C++11 中删除概念的后遗症吗？

我确实想知道使用私有构造函数来执行 SFINAE 部分并从公共构造函数进行委托，但看起来构造函数委托参与 SFINAE 的方式并不能使该工作正常进行。

Answer 1

但这偏离了标准的文本

允许实现向任何非虚拟库成员函数添加默认参数。这似乎恰好允许这种 SFINAE 技巧。

Answer 2

我遗漏了两条信息：

1. gcc 使用这个：

   template<class _U1, class _U2, class = typename
                  std::enable_if<std::is_convertible<_U1, _T1>::value
                                 && std::is_convertible<_U2, _T2>::value>::type>
           pair(_U1&& __x, _U2&& __y)
           : first(std::forward<_U1>(__x)), second(std::forward<_U2>(__y)) { }
   

   诀窍似乎在于匿名@​​987654323@ 模板参数的默认值。我以前没见过，this implementation 也没用过。

2. 我错过了 gcc 实际实现了这一点。