DRY (不写重复代码)

通过提取函数或测试集的公共部分，宏可以让你写出 DRY 的代码（DRY 是 Don’t Repeat Yourself 的缩写，意思为 “不要写重复代码”）。这里给出一个例子，对 Vec<T> 实现 并测试了关于 +=、*= 和 -= 等运算符。

  1. use std::ops::{Add, Mul, Sub};
  3. macro_rules! assert_equal_len {
  4.     // `tt`（token tree，标记树）指示符表示运算符和标记。
  5.     ($a:ident, $b: ident, $func:ident, $op:tt) => (
  6.         assert!($a.len() == $b.len(),
  7.                 "{:?}: dimension mismatch: {:?} {:?} {:?}",
  8.                 stringify!($func),
  9.                 ($a.len(),),
  10.                 stringify!($op),
  11.                 ($b.len(),));
  12.     )
  13. }
  15. macro_rules! op {
  16.     ($func:ident, $bound:ident, $op:tt, $method:ident) => (
  17.         fn $func<T: $bound<T, Output=T> + Copy>(xs: &mut Vec<T>, ys: &Vec<T>) {
  18.             assert_equal_len!(xs, ys, $func, $op);
  20.             for (x, y) in xs.iter_mut().zip(ys.iter()) {
  21.                 *x = $bound::$method(*x, *y);
  22.                 // *x = x.$method(*y);
  23.             }
  24.         }
  25.     )
  26. }
  28. // 实现 `add_assign`、`mul_assign` 和 `sub_assign` 等函数。
  29. op!(add_assign, Add, +=, add);
  30. op!(mul_assign, Mul, *=, mul);
  31. op!(sub_assign, Sub, -=, sub);
  33. mod test {
  34.     use std::iter;
  35.     macro_rules! test {
  36.         ($func: ident, $x:expr, $y:expr, $z:expr) => {
  37.             #[test]
  38.             fn $func() {
  39.                 for size in 0usize..10 {
  40.                     let mut x: Vec<_> = iter::repeat($x).take(size).collect();
  41.                     let y: Vec<_> = iter::repeat($y).take(size).collect();
  42.                     let z: Vec<_> = iter::repeat($z).take(size).collect();
  44.                     super::$func(&mut x, &y);
  46.                     assert_eq!(x, z);
  47.                 }
  48.             }
  49.         }
  50.     }
  52.     // 测试 `add_assign`、`mul_assign` 和 `sub_assign`
  53.     test!(add_assign, 1u32, 2u32, 3u32);
  54.     test!(mul_assign, 2u32, 3u32, 6u32);
  55.     test!(sub_assign, 3u32, 2u32, 1u32);
  56. }
  1. $ rustc --test dry.rs && ./dry
  2. running 3 tests
  3. test test::mul_assign ... ok
  4. test test::add_assign ... ok
  5. test test::sub_assign ... ok
  7. test result: ok. 3 passed; 0 failed; 0 ignored; 0 measured