【06】泛型

泛型

RUST通过在编译时对泛型代码的单态化（monomorphization）来保证运行效率。即，在编译时对泛型填充具体数据类型转换为特定代码进行编译。
由于RUST编译试图穷举所有类型，所以代码需要支持所有类型才可以编译。或者限制为指定几个类型。<T>中的T指定任一数据类型。

函数中的泛型

fn fun1<T>(list: &[T]) -> &T {}

结构体中的泛型

struct Point<T> {
	x: T,
	y: T,
}

struct Point<T, U> {
	x: T,
	y: U,
}

结构体中的方法

struct Point<T> {
	x: T,
	y: T,
}

// impl<T> 里面指定的泛型T
impl<T> Point<T> {
	fn x(&self) -> &T {
		&self.x
	}
}

可以为实例实现方法，也就是单个数据类型

impl Point<f32>{
	fn distance_from_origin(&self) -> f32 {
		(self.x.powi(2) + self.y.powi(2)).sqrt()
	}
}

impl<>中定义的方法也使用与impl<>不同的数据类型。

struct Point<X1, Y1> {
	x: X1,
	y: Y1,
}

impl<X1, Y1> Point<X1, Y1> {
fn mixup<X2, Y2>(self, other: Point<X2, Y2>) -> Point<X1, Y2> {
		Point {
			x: self.x,
			y: other.y,
		}
	}
}

枚举中的泛型

// 用于处理空的Option
enum Option<T>{
	Some(T),
	None,
}
// 用于处理错误的Result
enum Result<T,E>{
	Ok(T),
	Err(E),
}