在嵌套需求中，为什么使用`requires bool_constant <X> :: value;`而不是`requires X;`？

问题描述

我正在阅读this cppreference page，并在其中找到以下代码：

template <class G>
concept uniform_random_bit_generator =
  // ...
  requires {
    // ...
    requires std::bool_constant<(G::min() < G::max())>::value;
  };

我很好奇为什么在这里使用std::bool_constant。像这样直接使用requires G::min() < G::max();是不可能的吗？

template <class G>
concept uniform_random_bit_generator =
  // ...
  requires {
    // ...
    requires G::min() < G::max();
  };

解决方法

暂无找到可以解决该程序问题的有效方法，小编努力寻找整理中！

如果你已经找到好的解决方法，欢迎将解决方案带上本链接一起发送给小编。

小编邮箱:dio#foxmail.com (将#修改为@）