泛型

当需要在函数体中使用一个参数时
必须在函数签名中声明这个参数
以便编译器能知道函数体中这个名称的意义
同理
当在函数签名中使用一个类型参数时
必须在使用它之前就声明它

为了定义泛型版本的 largest 函数
类型参数声明位于 函数名称参数列表中间的尖括号 <>

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

这可以理解为:

  • 函数 largest 有泛型类型 T
  • 它有一个参数 list 它的类型是一个 T 值的 slice
  • largest 函数将会返回一个与 T 相同类型的值

看一段有问题的代码

fn largest<T>(list: &[T]) -> T { 
        let mut largest = list[0];
        for &item in list.iter() { 
            if item > largest {
                   largest = item;
            } 
        }
        largest
 }
fn main() {
       let number_list = vec![34, 50, 25, 100, 65];
       let result = largest(&number_list); 
       println!("The largest number is {}", result);
       let char_list = vec!['y', 'm', 'a', 'q'];
       let result = largest(&char_list);
       println!("The largest char is {}", result);
}

问题的原因:
largest 的函数体不能适用于 T 的所有可能的类型
因为在函数体需要比较T类型的值
这个比较局限在它知道如何排序的类型

为了开启比较功能,标准库中 定义的 std::cmp::PartialOrd trait
可以实现类型的比较功能

正确的代码:

fn largest<T: PartialOrd + Copy>(list: &[T]) -> T { 
         let mut largest = list[0];
         for &item in list.iter() {
                if item > largest { 
                       largest = item;
               } 
          }
          largest
 }
// 此处省略main函数

在 largest 函数体中我们想要使用大于运算符( > )比较两个 T 类型的值。
这个运算符被 定义为标准库中 trait std::cmp::PartialOrd 的一个默认方法。
所以需要在 T 的 trait bound 中指定 PartialOrd
这样 largest 函数可以用于任何可以比较大小的类型的 slice。
因为PartialOrd 位于 prelude 中所以并不需要手动将其引入作用域
同时
i32 和 char 这样的类型是已知大小的并可以储 存在栈上,所以他们实现了 Copy trait
当我们将 largest 函数改成使用泛型后,现在list 参数的类型就有可能是没有实现 Copy trait 的导致可能不能将 list[0] 的 值移动到 largest 变量中


结构体中定义的泛型

struct Point<T, U> {
    x: T,
    y: U,
 }
fn main() {
      let both_integer = Point { x: 5, y: 10 };
      let both_float = Point { x: 1.0, y: 4.0 };
      let integer_and_float = Point { x: 5, y: 4.0 };
}
struct Point<T> {
    x: T,
    y: T, 
}
     impl<T> Point<T> {
          fn x(&self) -> &T {
              &self.x
          }
      }

fn main() {
     let p = Point { x: 5, y: 10 }; println!("p.x = {}", p.x());
}

枚举中定义的泛型

enum Option<T> {
    Some(T),
    None,
 }
最后编辑于
©著作权归作者所有,转载或内容合作请联系作者
平台声明:文章内容(如有图片或视频亦包括在内)由作者上传并发布,文章内容仅代表作者本人观点,简书系信息发布平台,仅提供信息存储服务。

推荐阅读更多精彩内容

  • 本章将会介绍 泛型所解决的问题泛型函数类型参数命名类型参数泛型类型扩展一个泛型类型类型约束关联类型泛型 Where...
    寒桥阅读 655评论 0 2
  • 泛型(Generics) 泛型代码允许你定义适用于任何类型的,符合你设置的要求的,灵活且可重用的 函数和类型。泛型...
    果啤阅读 703评论 0 0
  • object 变量可指向任何类的实例,这让你能够创建可对任何数据类型进程处理的类。然而,这种方法存在几个严重的问题...
    CarlDonitz阅读 935评论 0 5
  • 与Java泛型相同,Kotlin同样提供了泛型支持。对于简单的泛型类、泛型函数的定义,Kotlin 与 Java ...
    凌寒天下独自舞阅读 285评论 0 0
  • 这两天在给我的会员发感谢消息 突然发现有个第一个月支持我的同学 没发送成功 需要验证 看了看我的会员群 他和他老婆...
    王莎莎2017阅读 170评论 0 0