C++20 概念语法 - requires 参数变量是什么意思？

Question

很多文章都给出了这样的例子：

template<typename T>
concept Equal = requires(T a, T b) {
    { a == b } -> std::same_as<bool>;
};

如果我写：

template<typename T>
concept Equal = requires(T a) {
    { a == a } -> std::same_as<bool>;
};

如果不是，为什么语法是这样设计的？为什么他们要我声明这些变量，如a或b？

为什么我需要多个相同类型的变量？为什么我什至需要变量？

template<typename T>
concept Equal = requires {
    { declval<const T&>() == declval<const T&>() }
        -> std::same_as<bool>;
};

Answer 1

为什么他们要我像 a 或 b 一样声明这些变量？为什么甚至没有像..

不会要求或要求您使用这些变量。您可以选择，因为它更具可读性。就检查约束而言，几乎没有区别。

文章给出你引用的例子的原因是因为它更容易被人类理解。这个Equal概念被定义为“给定两个这种类型的假设对象，我们可以用它们写一个比较表达式，结果是bool”。就是这样。你不具备使用这个符号，你可以把它写成多赘言，只要你想。

但是关于代码的古老智慧仍然存在。代码的阅读远远超过编写，而不仅仅是以我们预见的方式。当您的概念在上下文中不满足时，会导致编译器关于违反约束的错误，编译器可能会在其错误消息中包含该约束。哪个版本的概念会产生更易于理解的错误消息？我的赌注是使用辅助变量的那个。