Question

定义通用泛型模板，由此衍生出多个特征。

use std::ops::Add;

trait Double<T> where       // 特征模板化，最终实现多个特征类型。
  T: Copy + Add<Output = T> 
{
  fn to(&self, x: &T) -> T { *x + *x }
}

/* ------------------------------------------------------ */

struct Data;

impl Double<i32> for Data {}   // 变向实现重载（overload）。
impl Double<f32> for Data {}

fn main() {
  let d = Data;
  assert_eq!(d.to(&10), 20);
  assert_eq!(d.to(&1.1), 2.2);
}

可指定默认类型。

trait Double<T = i32> where 
  T: Copy + Add<Output = T> 
{
  fn to(&self, x: &T) -> T { *x + *x }
}

impl Double for Data {}   // 使用默认类型。

当然，还可组合两套泛型模板，形成一套新的模板，同时提供类型和特征实现。

use std::ops::Add;

trait Double<T> where 
  T: Copy + Add<Output = T> 
{
  fn to(&self, x: &T) -> T { *x + *x }
}

/* ------------------------------------------------------ */

#[derive(Debug)]
struct Data<T> { x: T }

impl<T> Double<T> for Data<T> where 
  T: Copy + Add<Output = T> 
{
}

甚至于直接为 “空白” 的 T 实现（generic blanket impls），任何符合约束条件的类型都自动实现该特征。

use std::ops::Add;

trait Double<T> where 
  T: Copy + Add<Output = T> 
{
  fn to(&self, x: &T) -> T { *x + *x }
}

impl<T> Double<T> for T where 
  T: Copy + Add<Output = T> 
{
}

/* ------------------------------------------------------ */

fn main() {
  assert_eq!(1.to(&10), 20);
  assert_eq!(1.0.to(&1.1), 2.2);
}