大多数生成的特性通常只包括特性模板并转发参数到你的方法。还有一些有用的额外特殊情况

• PartialOrd 也可以应用于形状类似于 Ord 的函数，在这种情况下，它会将结果包裹在 Some() 中以使其适配。 PartialEq 以相同的方式处理形状类似于 PartialOrd 或 Ord 的函数，如果它返回 Ordering::Equal，则返回 true。这允许您一次实现所有这些功能：#zoet[(Ord, PartialEq, PartialOrd)]。（如果您生成 PartialEq，还需要使用 #[derive(Eq)]。）
• Add 也可以应用于形状类似于 AddAssign 的函数，在这种情况下，它将生成一个简单的实现，它会修改其 mut self 并返回它。这适用于所有其他具有 OpAssign 变体的运算符特质。

不支持 的特质

由于此宏将单个函数转换为特质，因此函数与特质之间需要一对一的映射。这意味着需要多个函数的特质（例如，Hasher）无法得到合理支持。同样，像 FusedIterator 这样的标记特质也不受支持，尽管实现起来很简单，因为这实际上是 derive 宏的工作。最后，具有泛型函数的特质（如 FromIterator 或 Extend）也不受支持，因为它们超出了 zoet 当前签名解析器的功能。

此外，像 Generator 这样的夜间仅有的特质被避免，因为没有保证 zoet 能够跟踪任何未来的更新。

如果您希望添加这些功能并有一些有价值的建议，请随时在 mooli/zoet-rs GitHub 仓库 上提出问题或 PR。

它生成的代码

会生成一个合适的 impl，该 impl 将代理到您的函数，如下所示

# struct Length(usize);
# impl Length {
#   fn add_assign(&mut self, rhs: Self) { self.0 += rhs.0; }
# }
impl ::core::ops::Add<Self> for Length {
    type Output = Length;
    fn add(mut self, rhs: Length) -> Length {
        <Length>::add_assign(&mut self, rhs);
        self
    }
}
impl ::core::ops::AddAssign<Length> for Length {
    fn add_assign(&mut self, rhs: Length) {
        <Length>::add_assign(self, rhs);
    }
}

您可以使用 cargo-expand 来检查实际的展开。

作为旁注，这段生成的代码乍一看可能像是无限递归，但 <Length>::add_assign 明确引用了 inherent impl 中的方法，并且没有歧义。然而，人类读者可能仍然觉得它很困惑——clippy::same_name_method 检查一致——您可能希望考虑使用不同的方法名称，例如 _add_assign 或 add_assign_impl，即使这些名称在美学上不那么吸引人。

需要注意的地方

… 由于 Rust 宏的限制

您必须在结构的 impl 块中添加 #[zoet]，以便确定关联函数的自身类型。显然，对于没有自身类型的自由函数来说，这不是必需的（或者不可能的）。

宏在类型检查之前运行，因此实际类型是未知的，宏只能与标记一起工作。大多数情况下，只需将标记粘贴到输出中，让编译器自行处理即可，这是 zoet 可能做到的。如果类型错误，您应该会得到一个有用的编译器错误，指出这一点。然而，某些特质需要比简单的粘贴更多的工作，为了正常（和/或消除歧义），zoet 需要 类型具有特定的 名称。

• PartialOrd：函数应返回 Option。如果不是，它将像 Ord 一样将其 Some 包装。
• Future：函数参数必须是 Pin 和 Poll。
• Iterator：函数必须返回 Option。
• TryFrom、TryInto、FromStr：函数必须返回 Result。如果只提供了一个类型参数，则使用名称 Error 作为错误类型。

只有路径的最后部分会被比较，所以 eyre::Result、crate::Result、::core::result::Result 等等，与裸 Result 一样有效。

这里只记录了名称检查，以防您在使用类型别名做一些非常奇怪的事情，这不应该影响合理的代码。

… 由于 zoet 的设计限制

函数及其固有实现上的泛型参数都只是累积并添加到特质的实现泛型参数中，这对于大多数特质来说都是正确的。然而，如果一个特质的函数本身是泛型的，zoet（尚未）足够智能，无法确定哪个泛型参数是用于函数的。作为一个完美的解决方案，请改用一个impl Trait参数。因此，虽然Hash将它的单个方法定义为fn hash<H: Hasher>(&self, state: &mut H)，但你的函数需要具有类似以下签名的签名：fn hash(&self, state: &mut impl Hasher)。

省略的生命周期不能用于复制到生成特质中的类型，函数需要调整为具有命名生命周期。这主要影响像IntoIterator这样的特质，在这种情况下，您会从例如fn iter(&self) -> slice::Iter<T>的签名更改为fn iter<'a>(&'a self) -> slice::Iter<'a, T>。