void\u t spezialization为什么主模板必须有default=void？[副本]

Question

我有一个关于void_t元功能的问题，显示在这个视频https://www.youtube.com/watch?v=a0FliKwcwXE和41:25问的问题。

我将尝试用这个代码片段来显示我的问题：

template<typename _Tp, typename _Up, typename = void>
class __is_assignable_helper_af2: public std::false_type
{
};


template<typename _Tp, typename _Up>
class __is_assignable_helper_af2<_Tp, _Up,
     void_t<decltype(std::declval<_Tp&>() = std::declval<_Up&>())>> 
  : public std::true_type
{
};

为什么第一个模板需要默认类型void？int不起作用。

我所理解的是，这两个函数将具有相同的签名（无效），但将使用更特殊的签名（第二个）。但是为什么它不能和int一起工作呢？第二个有空虚的仍然是更受欢迎的，不是吗？

=int是否与SFINAE不匹配？

谢谢

Answer 1

需要space以使该的结果void_t

考虑类是可分配的和不可分配的情况：

可转让的：

void_t<decltype(std::declval<_Tp&>() = std::declval<_Up&>())>
//reduces to
void_t<type given from assignment>
//reduces to
void

不可转让：

void_t<decltype(std::declval<_Tp&>() = std::declval<_Up&>())>
//substitution failure, remove from candidate set

现在，在可分配的情况下，仅当模板参数匹配时，才会选择部分专门化，即它们需要采用以下形式：

__is_assignable_helper_af2<_Tp, _Up, void>

我们希望客户端代码只传递两个参数，而不是显式地指定要发生SFINAE的val参数，因此我们在默认参数中指定它：

template<typename _Tp, typename _Up, typename = void>
//                                   ^^^^^^^^^^^^^^^

为此，我们可以很容易地选择一种类型，而不是void，但使用它可以清楚地表明，我们不关心类型，我们只是使用它来利用SFINAE。例如，我们可以定义int\u t，并将int作为默认参数。只要它们匹配，我们就可以在需要时使用部分专门化。