为何C++20不允许在requires表达式中定义类型别名？

这一限制本质是C++标准对requires表达式的语法边界有严格定义，并非编译器实现的疏漏，核心逻辑可拆解为两部分：

语法层面的硬性限制 #

requires表达式用{}包裹的内部块（即需求序列requirement-seq），标准仅允许四类合法语法元素：

• 简单需求：直接校验表达式是否可正常编译，比如示例中的{ obj[0] };
• 类型需求：校验指定嵌套类型是否可正常访问，如typename T::value_type;
• 复合需求：在表达式合法性校验基础上，附加异常规则、返回类型约束，如{ obj.foo() } noexcept -> std::same_as<int>;
• 嵌套需求：直接校验编译期常量表达式的真值，如示例中可正常编译的requires std::is_same_v<...>;
  类型别名声明（即using 标识符 = 类型;写法）完全不在上述合法元素范围内，因此编译器会直接判定为语法错误。

设计层面的取舍 #

requires表达式的定位是无独立作用域的校验谓词集合，本身不是承载可执行逻辑的块作用域，没有必要支持本地声明类的语法元素：

• 就算放开别名声明的权限，这类临时定义的别名仅能在当前需求序列的后续行生效，本质只是开发者简化代码的语法糖，对校验逻辑本身没有任何增量价值
• 如果混入临时声明类的逻辑，会模糊requires表达式的核心语义边界：原本纯粹用来做“合法性校验”的结构，会新增“本地声明”类逻辑，甚至可能引发同块内声明冲突、不同requires块声明互相污染的问题

合规的简化替代方案 #

如果确实需要精简冗长的类型计算，完全可以把别名定义放到requires表达式外部，不侵入需求序列的语法范围：

// 在requires块外部定义类型别名，完全符合语法规则
template<typename T>
using UnqualT = std::remove_cvref_t<T>;

template<typename T>
concept IsMyType1 = requires(T obj)
{
    { obj[0] };
    requires std::is_same_v<UnqualT<T>, MyType>; // 可正常编译
};

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