注意：gen不需要任何声明，因为它会被宏替换。

#[trait_gen(gen::U -> units::Meter<f32>, units::Foot<f32>)]
impl Add for gen::U {
    type Output = gen::U;

    fn add(self, rhs: Self) -> Self::Output {
        gen::U(self.0 + rhs.0)
    }
}

可以使用更复杂的数据类型，例如引用或切片。以下示例生成了不可变、可变和boxed引用类型的实现。

#[trait_gen(T -> u8, u16, u32, u64, u128)]
impl MyLog for T {
    fn my_log2(self) -> u32 {
        T::BITS - 1 - self.leading_zeros()
    }
}

#[trait_gen(T -> u8, u16, u32, u64, u128)]
#[trait_gen(U -> &T, &mut T, Box<T>)]
impl MyLog for U {
    fn my_log2(self) -> u32 {
        MyLog::my_log2(*self)
    }
}

如您在通用组合中看到的那样，第一个泛型参数U可以在第二个属性参数列表中使用（属性的顺序无关紧要）。

最后，这个示例展示了如何通过使用${T}格式来在每个实现中自定义文档和字符串字面量。

trait Repr {
    fn text(&self) -> String;
}

#[trait_gen(T -> u32, i32, u64, i64)]
impl Repr for T {
    /// Produces a string representation for `${T}`
    fn text(&self) -> String {
        call("${T}");
        format!("${T}: {}", self)
    }
}

assert_eq!(1_u32.text(), "u32: 1");
assert_eq!(2_u64.text(), "u64: 2");

• impl Repr for u32 {
      /// Produces a string representation for `u32`
      fn text(&self) -> String {
          call("u32");
          format!("u32: {}", self)
      }
  }
  // ...
  

注意：没有转义代码来避免替换；如果您需要${T}用于其他目的，并且不希望它被替换，您必须选择另一个泛型参数；例如，U或my::T。

旧格式

早期版本中使用的属性使用了更短的格式，尽管这可能更难以阅读，但现在仍然得到支持。

#[trait_gen(Type1, Type2, Type3)]
impl Trait for Type1 {
    // ...
}

在这里，代码以原样为Type1生成，然后Type2和Type3被替换为Type1以生成它们的实现。这是另一种格式的等效属性的快捷方式。

#[trait_gen(Type1 -> Type1, Type2, Type3)]
impl Trait for Type1 {
    // ...
}

当没有冲突风险时，例如以下示例中所示，可以使用旧格式。所有Meter类型都必须更改，并且不太可能与Foot和Mile混淆。要替换的代码中的类型必须在参数列表中第一个。

use std::ops::Add;
use trait_gen::trait_gen;

pub struct Meter(f64);
pub struct Foot(f64);
pub struct Mile(f64);

#[trait_gen(Meter, Foot, Mile)]
impl Add for Meter {
    type Output = Meter;

    fn add(self, rhs: Meter) -> Self::Output {
        Self(self.0 + rhs.0)
    }
}

小心不要替换必须在所有实现中保持相同的类型！考虑以下示例，其中返回类型始终是u64。

pub trait ToU64 {
    fn into_u64(self) -> u64;   // always returns a u64
}

#[trait_gen(u64, i64, u32, i32, u16, i16, u8, i8)]
impl ToU64 for u64 {
    fn into_u64(self) -> u64 {  // ERROR! Replaced by i64, u32, ...
        self as u64
    }
}

此代码无法工作，因为u64恰好也是列表中的第一个类型。使用不同的第一个类型，如i64，或者使用非旧格式。

替代格式

当启用 in_format 功能时，也支持另一种格式。

trait-gen = { version="0.3", features=["in_format"] }

警告：此功能是临时的，不能保证其维护。

在这里，使用 in 代替箭头 ->，并且参数类型必须放在方括号内。

use trait_gen::trait_gen;

#[trait_gen(T in [u8, u16, u32, u64, u128])]
impl MyLog for T {
    fn my_log2(self) -> u32 {
        T::BITS - 1 - self.leading_zeros()
    }
}

使用此格式会发出 '已弃用' 警告，您可以通过在文件顶部添加 #![allow(deprecated)] 指令或添加 #[allow(deprecated)] 来关闭这些警告。

IDE 代码意识

rust-analyzer 支持代码感知的过程宏，因此对于基于此语言服务器协议实现的编辑器来说，一切应该都很正常。可能需要 rustc 的夜间版本，但不是默认版本。

对于 IntelliJ 插件，这是一个正在进行的工作，可以通过 此问题 跟踪。目前，在插件版本 0.4.190.5263-223 下，IDE 已经正确考虑了替换，用户可以在弹出窗口中查看展开的代码。但这是实验性的，并且必须手动 激活此功能。

请注意，属性过程宏展开默认是禁用的。如果您想尝试，请启用 org.rust.macros.proc.attr 实验性功能。

调用帮助 | 查找操作（或按 Ctrl+Shift+A）并搜索“实验性功能”。在实验性功能对话框中，开始输入功能的名称或在列表中查找它，然后选择或清除复选框。

作为替代方案，如果您不想激活此功能，可以定义别名。例如，type T = Type1;，并为 T 编写实现代码。IDE 将提供对 Type1 的预期帮助，但不会对其他参数类型提供帮助。或者您可以使用旧格式。

限制

• trait_gen 属性的过程宏无法处理作用域，因此它不支持任何与泛型参数相同的字面量类型声明。例如，由于泛型函数，此代码无法编译。

  use num::Num;
  use trait_gen::trait_gen;
  
  trait AddMod {
      type Output;
      fn add_mod(self, rhs: Self, modulo: Self) -> Self::Output;
  }
  
  #[trait_gen(T -> u64, i64, u32, i32)]
  impl AddMod for T {
      type Output = T;
  
      fn add_mod(self, rhs: Self, modulo: Self) -> Self::Output {
          fn int_mod<T: Num> (a: T, m: T) -> T { // <== ERROR, conflicting 'T'
              a % m
          }
          int_mod(self + rhs, modulo)
      }
  }
  

• 泛型参数必须是一个 类型路径；它不能是更复杂的类型，如引用或切片。因此，您可以使用 gen::T<U> -> ...，但不能使用 &T -> ...。

兼容性

trait-gen 包已在 Windows 64 位和 Linux 64/32 位平台上针对 rustc 1.58.0 及更高版本进行了测试。

版本

RELEASES.md 记录了所有版本的日志。

许可证

此代码可根据您的选择，在以下许可证下使用：MIT 许可证 或 Apache 许可证 2.0。