是否可以通过委托给struct成员来创建实现Ord的宏？
我有一个结构：
struct Student {
first_name: String,
last_name: String,
}我想要创建一个可以按Vec<Student>排序的last_name。我需要实现Ord，PartialOrd和PartialEq
use std::cmp::Ordering;
impl Ord for Student {
fn cmp(&self, other: &Student) -> Ordering {
self.last_name.cmp(&other.last_name)
}
}
impl PartialOrd for Student {
fn partial_cmp(&self, other: &Student) -> Option<Ordering> {
Some(self.cmp(other))
}
}
impl PartialEq for Student {
fn eq(&self, other: &Student) -> bool {
self.last_name == other.last_name
}
}如果你有很多结构，并且有一个明显的字段，这可能是相当单调和重复的。是否可以创建一个宏来自动实现这一点？
类似于：
impl_ord!(Student, Student.last_name)我找到了自动为锈菌新类型(带一个字段的元组结构)实现封闭类型的特征，但这不是我要找的。
回答 2
Stack Overflow用户
发布于 2017-08-13 20:39:06
是的，您可以，但是首先:请阅读为什么您不应该！
为什么不行？
当一个类型实现Ord或PartialOrd时，它意味着该类型具有自然排序，这反过来意味着实现的排序是唯一的逻辑排序。取整数:3自然小于4，当然还有其他有用的顺序。您可以使用反向排序来按递减顺序排序整数，但只有一个自然排序。
现在，您有一个由两个字符串组成的类型。有自然的秩序吗？我声称：不！有很多有用的订单，但是按姓氏排序比按名字排序更自然吗？我不这样认为。
那怎么做呢？
还有另外两种排序方法：
两者都允许您修改排序算法比较值的方式。按姓氏进行排序可以这样做(全码)：
students.sort_by(|a, b| a.last_name.cmp(&b.last_name));这样，您就可以指定如何对每个方法调用进行排序。有时，您可能希望按姓氏进行排序，而其他时候则希望按名称进行排序。由于没有明显和自然的排序方法，所以不应该将任何特定的排序方法“附加”到类型本身。
但说真的我想要一个宏观..。
当然，在Rust中编写这样一个宏是可能的。一旦你了解了宏观系统，这实际上是相当容易的。但是让我们不要对你的Student例子这么做，因为--我希望你现在能理解--这是个坏主意。
什么时候是个好主意？当只有一个字段在语义上是类型的一部分时。以这个数据结构为例：
struct Foo {
actual_data: String,
_internal_cache: String,
}在这里，_internal_cache在语义上不属于您的类型。这只是一个实现细节，因此对于Eq和Ord，应该忽略它。简单的宏是：
macro_rules! impl_ord {
($type_name:ident, $field:ident) => {
impl Ord for $type_name {
fn cmp(&self, other: &$type_name) -> Ordering {
self.$field.cmp(&other.$field)
}
}
impl PartialOrd for $type_name {
fn partial_cmp(&self, other: &$type_name) -> Option<Ordering> {
Some(self.cmp(other))
}
}
impl PartialEq for $type_name {
fn eq(&self, other: &$type_name) -> bool {
self.$field == other.$field
}
}
impl Eq for $type_name {}
}
}为什么我会说这么大的代码块很简单呢？好吧，这段代码的绝大部分正是您已经写好的：impls。我执行了两个简单的步骤：
- 在代码周围添加宏定义，并考虑我们需要哪些参数(
type_name和field) - 用
$type_name替换所有提到last_name的内容，用$field替换对last_name的所有提及
这就是为什么它被称为“宏按例”的原因:基本上，您只需编写普通代码作为示例，但可以使每个参数的部分变量。
你可以测试整个事情的这里。
Stack Overflow用户
发布于 2020-11-17 19:04:28
我创建了一个宏，它允许通过定义表达式来实现Ord，该表达式将用于比较元素：选择器，类似于您所询问的内容。
use ord_by_key::ord_eq_by_key_selector;
#[ord_eq_by_key_selector(|s| &s.last_name)]
struct Student {
first_name: String,
last_name: String,
}如果您必须在不同情况下根据不同的标准进行排序，则可以为您的结构引入一个容器，用于实现不同的排序策略：
use ord_by_key::ord_eq_by_key_selector;
struct Student {
first_name: String,
last_name: String,
}
#[ord_eq_by_key_selector(|(s)| &s.first_name)]
struct StudentByFirstName(Student);
#[ord_eq_by_key_selector(|(s)| &s.last_name, &s.first_name)]
struct StudentByLastNameAndFirstName(Student);https://stackoverflow.com/questions/45664392
复制相似问题
腾讯云开发者
