为何C++20复合要求对标识符表达式的规则与decltype不同？

你遇到的核心问题是：复合要求中的{ expr }遵循的是decltype((expr))的类型推导规则，而非decltype(expr)，这是C++20标准明确规定的设计逻辑。

为什么你的代码会报错？ #

先拆解你的代码逻辑：

1. 模板参数auto V传入整数时，decltype(V)是int，所以requires块里的v是int类型的左值变量。
2. 复合要求{ v } -> std::same_as<int>中，{ v }对应的类型是decltype((v))——带括号的表达式会被视为左值，因此decltype((v))的结果是int&，自然无法匹配std::same_as<int>，导致编译失败。

而decltype(v)和decltype((v))的差异是C++的基础规则：

• 对于标识符表达式（比如单独的变量名v），decltype(expr)直接返回变量的声明类型（这里是int）。
• 对于带括号的表达式(expr)，decltype会根据表达式的值类别推导类型：左值返回左值引用，右值返回右值引用，纯右值返回值类型。

为什么复合要求要这么设计？ #

复合要求的核心设计目标是检查表达式作为“计算结果”的实际使用属性，而非变量本身的静态声明类型。比如：

• 当你在代码中写v这个表达式时，它是一个左值，传递给函数时会被当作int&处理。
• 复合要求用decltype((expr))就是为了准确模拟这种实际使用场景下的类型和值类别，确保表达式的行为符合预期。

解决方案 #

如果你只是想检查模板参数V的类型是int，最直接的写法是：

#include <concepts>

template <auto V>
requires std::same_as<decltype(V), int>
void foo() {}

如果必须使用复合要求（比如需要同时检查表达式的其他合法性），可以根据需求调整：

• 匹配左值表达式的类型：

  template <auto V>
  void foo()
    requires requires(decltype(V) v) {
      { v } -> std::same_as<int&>;
    }
  {}
  

• 匹配纯右值int类型（强制转换为右值）：

  template <auto V>
  void foo()
    requires requires(decltype(V) v) {
      { static_cast<int>(v) } -> std::same_as<int>;
    }
  {}
  

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