为什么C++20中自定义Simple concept的requires约束没有生效？

你写的Simple concept 没有产生约束效果，核心原因是requires 表达式的书写逻辑不符合你的预期：
你当前写的 requires 语句属于「简单需求」，仅会校验大括号内的表达式本身是否可以合法编译，完全不会校验表达式的计算结果是否为真。

在你的代码中，std::is_trivial_v<T> == true 对于任意有is_trivial_v定义的类型T来说都是合法表达式，哪怕std::is_trivial_v<T>的实际值是false，这个约束也会直接通过，自然对你的Bytes类型没有任何限制。

正确写法 #

要达到「仅允许trivial类型传入」的约束效果，有两种常用写法：

• 直接给concept赋值编译期布尔常量，不需要额外套requires：

template <typename T>
concept Simple = std::is_trivial_v<T>;

• 如果必须写在requires块内，需要用嵌套requires来声明值约束：

template <typename T>
concept Simple = requires(T t)
{
    // 嵌套requires会校验后面常量表达式的计算结果必须为true
    requires std::is_trivial_v<T> == true;
};

用上面任意一种写法修改后，foo(b)的调用就会触发约束失败，符合你的预期。

内容的提问来源于stack exchange，提问作者AdrianH