标签：blue fn jay BlueJay 约束 Cardinal Rust 泛型 red

环境

• Rust 1.56.1
• VSCode 1.61.2

概念

参考：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

本站声明： 1. iCode9 技术分享网（下文简称本站）提供的所有内容，仅供技术学习、探讨和分享；
2. 关于本站的所有留言、评论、转载及引用，纯属内容发起人的个人观点，与本站观点和立场无关；
3. 关于本站的所有言论和文字，纯属内容发起人的个人观点，与本站观点和立场无关；
4. 本站文章均是网友提供，不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属；如您发现该文章侵犯了您的权益，可联系我们第一时间进行删除；
5. 本站为非盈利性的个人网站，所有内容不会用来进行牟利，也不会利用任何形式的广告来间接获益，纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。