要求模板变量为空的语法是什么？

Question

有没有办法编写 requiresrequire 表达式来理解模板参数是否为空？

我相信将 std::is_void_v的值作为模板的参数是合法的。但是，我无法制定语法来检查需求中的这一点 - 是真还是假。

是否可以？该怎么做呢？

Answer 1

requires 有效，因为嵌套的（第二个）requires 返回一个 bool。

由于您已经有了一个 bool，您只需执行 requires std::is_void_v 即可：

template <typename T>
requires std::is_void_v<T>
struct A {};