上一篇文章中提到过约束可以无限嵌套。末尾也提到不考虑嵌套约束的情况下，模板因为 SFINAE 规则的存在，其中 requires 子句只要存在返回值，只有可能是 true 这一种结果。在非模板中，如果 requires 子句中的表达式非法是直接报错。那如果 requires 子句中的表达式是合法的但是不符合要求呢？如下图所示。接下来再讨论嵌套约束的情况。不同于布尔值的 true false ，re