版权声明:本文为博主原创文章,未经博主允许不得转载。 https://blog.csdn.net/lihn1987/article/details/79983176
rust学习笔记中级篇1–泛型(霜之小刀)
欢迎转载和引用,若有问题请联系
若有疑问,请联系
Email : [email protected]
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:定义共享的行为里面应该会讲到!