C语言众多数据类型归根结底，存储的格式只有整型及浮点型，一切其他数据类型都是在此基础上进行拓展。如字符型本质是一个 1 字节的整型，字符串是由若干个字符型元素构成的数组，至于指针类型是 4 字节（32 位）或 8 字节（64 位）的整型。

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