是否可以在 c++20 中使用比较运算符在枚举值之间建立小于大于顺序的关系

Question

如果我们有一个这样的枚举类

enum class alpha{ a, b, c, d};

是否可以实现一个运算符，在字母表中的字母之间建立排序关系，使得

enum class alpha{ a, b, c, d};

constexpr auto operator <=> (alpha lhs, alpha rhs)
{ 
//how do we achieve this? 
};

#include <gtest/gtest.h>

TEST(alphabet, allows_ordering_comparison) 
{
    EXPECT_TRUE(alpha::a < alpha::b);
} 

小于比较将评估为真。我对此的平庸理解是 enum 是一种偏序。对代码中的错误表示歉意。考虑这个问题

Answer 1

你不必做任何事情。该语言<=>为您提供了一个已经做正确事情的方法（假设您的枚举器按顺序排列）：

enum class alpha{ a, b, c, d};

static_assert(alpha::a < alpha::b);
static_assert(alpha::a <=> alpha::b < 0);

如果您真的想，无论出于何种原因，您都可以手动提供一个与语言为您做的相同的事情：比较基础值：

constexpr auto operator<=>(alpha lhs, alpha rhs)
{
    using T = std::underlying_type_t<alpha>;
    return T(lhs) <=> T(rhs);
}