咨询C++概念中{}->语法的名称、引入标准时间及用途

1. 语法名称 #

这个语法叫做复合要求（Compound Requirement），是C++概念定义体系里专门用于声明约束的语法形式。

2. 纳入标准的时间 #

它随C20标准中的**概念（Concepts）**特性一同被正式纳入C标准，是C++20为模板约束系统新增的核心语法之一。

3. 设计用途 #

• 紧凑整合多维度约束：可以在单个语句里同时完成三项验证：表达式本身能合法编译、表达式的结果类型符合指定约束、甚至可选验证表达式是否不抛出异常。比如你给出的{x + 1} -> std::same_as<int>;，既要求x + 1可正常编译，又强制其结果类型必须是int。
• 提升概念可读性：把原本需要拆分多个单独检查的逻辑整合为一行，让概念的约束意图更直观。比如定义一个可自增的概念时，用复合要求能清晰区分前置/后置自增的返回类型约束：

template<typename T>
concept Incrementable = requires(T x) {
    { ++x } -> std::same_as<T&>;  // 前置自增返回自身引用
    { x++ } -> std::same_as<T>;   // 后置自增返回值类型
};

• 支持更灵活的约束组合：可以搭配noexcept关键字扩展约束，比如{x.erase()} noexcept -> std::same_as<bool>;，同时验证表达式不会抛出异常且结果可转换为bool。

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