rust学习笔记中级篇1–泛型(霜之小刀)

rust学习笔记中级篇1–泛型(霜之小刀)

欢迎转载和引用，若有问题请联系
若有疑问，请联系
Email : lihn1011@163.com
QQ:2279557541

---

结构体泛型

首先上代码，如何定义一个泛型的结构体

struct Point<T>{
    m_x:T,
    m_y:T
}
fn main() {
    let a = Point{m_x:10, m_y:20};
    let b = Point{m_x:1.0f32, m_y:2.0f32};
}

简单的看，貌似和c++一样的啊，只是在struct定义结构里面加个,其中T泛指类型，也就是说结构体内容中，只要用到T的地方都是同一种输入类型。
这样我们定义let a = Point{m_x:10, m_y:20};的时候，10和20都是i32型的，所以，编译器就推倒我们此时的T代表的是i32，而定义let b = Point{m_x:1.0f32, m_y:2.0f32};的时候，编译器可以推导出这里的T代表的是f32类型的。
就是这种能代表i32也能代表f32，同时还能代表任何类型（泛类型）的东东叫做模板。
另外要扩展下，结构体泛型并不是只能有一个泛类型，在尖括号中是可以定义多个的，比如

struct Example<T,N>{
    m_x:T,
    m_y:N
} 

枚举泛型

写到这里我突然发现，写基本类型的时候貌似没说枚举这个类型。。。
那就顺带着讲一下，rust的枚举和c++等语言不一样，c++的枚举其实就是个普通的int的感觉，但是rust得枚举是能有多种类型的。比如这样写就是对的

enum E{
    E0,
    E1(i32), 
    E2(i8,i8,i8)
}

其中E0更像C++中的意思，没关联数据类型，就仅仅是一个用于判断是使用的东东。
而E1关联了一个i32的类型，可以使用let x = E::E1(10)来使用。
E2同E1是一样的，只是多了几个成员而已。
而知道了前面的结构体泛型如何用，枚举就简单了，直接上点代码搞定！

enum E<T,K>{
    E0,
    E1(T),
    E2(bool),
    E3(T,K,i8)
}

函数泛型

直接上代码，其中T就是指代泛类型的

fn func_add<T>(a:T, b:T)->T
{
    return a+b;
}
fn main() {
    let b = func_add(10, 11);
}

运行了么？发现问题了么？？？？对 ，报错了。。。

binary operation `+` cannot be applied to type `T`。

千万别问我为什么，我也不知道。。。只是感觉好像编译器没法再编译的时候推到泛型T的+操作符。
不过在下一篇博客trait：定义共享的行为里面应该会讲到！