其他分享
首页 > 其他分享> > 【Rust】泛型空约束

【Rust】泛型空约束

作者:互联网

环境

概念

参考:https://doc.rust-lang.org/stable/rust-by-example/generics/bounds/testcase_empty.html

示例

泛型空约束,trait 实现中可以不包含任何内容,只把它当做一种约束。

main.rs

struct Cardinal;
struct BlueJay;

trait Red {}
trait Blue {}

impl Red for Cardinal {}
impl Blue for BlueJay {}

// 定义的函数只约束了类型,其实现中根本不限制具体是什么类型
fn red<T: Red>(_: &T) -> &'static str {
    "red"
}
fn blue<T: Blue>(_: &T) -> &'static str {
    "blue"
}

fn main() {
    let cardinal = Cardinal;
    let blue_jay = BlueJay;

    println!("A cardinal is {}", red(&cardinal));
    println!("A blue jay is {}", blue(&blue_jay));
    // 编译错误,blue_jay 没有实现 red
    // println!("A turkey is {}", red(&blue_jay));
}

总结

了解了 Rust 中的空约束,可以用来限制传入的类型,其实现可以不关心具体类型,甚至可以不使用。

附录

标签:blue,fn,jay,BlueJay,约束,Cardinal,Rust,泛型,red
来源: https://www.cnblogs.com/jiangbo44/p/15677194.html