理解void_t和detect_if

Question

我正在学习模板元编程，最近，我在CPP会议上看到了一个关于void_t的演讲。不久之后，我发现了检测成语。

然而，我仍然很难理解其中的任何一个(尤其是检测习惯用法，因为它基于void_t)。我看了这篇博文，还有这篇stackoverflow的帖子，对我有一点帮助，但是我还是有一些疑问。

如果我的理解是正确的，如果void_t中的表达式无效，它将使用以下表达式被SFINAEd除名：

template< class, class = std::void_t<> >
struct has_type_member : std::false_type { };

因为class在这里是一个默认的模板参数，可以表示任意数量的参数，而与它们的类型无关。甚至有必要说class等于std::void_t吗

template< class, class = void >
struct has_type_member : std::false_type { };

如果没有，为什么？

但是，如果表达式有效，则此表达式将称为计算为 void：

template< class T >
struct has_type_member<T, std::void_t<typename T::type>> : std::true_type { };

为什么一个有效的表达式会被计算为无效，这对我们有什么帮助？另外，为什么表达式需要有效才能匹配void_t？

Answer 1

好吧，我并不是说我自己已经完全理解了这一切，但我会尽我所能回答：

因为类在这里是一个默认的模板参数，可以表示任意数量的参数，独立于它们的类型？

近。此模板将使用一个或两个模板参数匹配任何实例化，因此所有表单has_type_member

• class匹配任何类型。但这并不特别（您也可以编写class T，您只是不需要名称，因为您不在声明中引用它）每个模板最初都匹配所有类型，并且只能通过参数的数量来区分。通常，我们要么通过一些SFINAE-魔术（如enable_if）来约束，要么通过稍后的部分模板规范来更好地拟合。
• class=val匹配所有类型，如上所述，也根本没有类型，因为如果我们没有参数，ull会填充。

我们只会将此模板实例化为has_member_type

为什么一个有效的表达式会被计算为无效，这对我们有什么帮助？另外，为什么表达式需要有效才能匹配void_t？

我已经回答了第一个问题的第二部分。关于第一个：想想＜code＞void_t＜/code＞的定义：

template<class...>
using void_t = void;

所以，…匹配所有东西，而不管类型和数字，不是吗？实际上，它只匹配有效类型，如果不匹配，它将如何潜在地使用此类型？（我知道它不使用类型，但它必须能够。它不能使用无效类型）。因此，如果传递的模板参数有效，它将为我们提供void。因此在我们的用例中：

如果< code>T具有成员类型< code>T::type，则< code>T::type是有效类型，而< code>void_t

如果我们没有类型成员呢？则表达式＜code＞T：：type＜code＞无效，＜code＞void_

甚至有必要说class等于std：：void_ t吗

template< class, class = void >
struct has_type_member : std::false_type { };

如果没有，为什么？

是的，它会，它也在谈话中完成。void_t