basic/trait/advance-trait

[giscus[bot]]

basic/trait/advance-trait

https://course.rs/basic/trait/advance-trait.html

[SifungLei]

有点难懂，要睇多两次。

[itfanr]

我看了2遍 大明湖畔 了

[Endermanbugzjfc]

好似出咗省但又冇完全出省

[bcyes168]

到这卡壳了，休息一下，改天再来

[sweet2honey]

哇这一节直接懵了 先跳过了 学会点集合操作刷刷力扣 把Rust用起来再说😂

[lonexw]

这一节其实不应该跳，基本是经常用到的概念，不过也可以写一写项目回头再思考看看

[jokiclll]

感觉跟go的interface{}有一点点的类似，rust特性更多一些，有点难理解，后面结合项目再看看

[ireina7]

感觉跟go的interface{}有一点点的类似，rust特性更多一些，有点难理解，后面结合项目再看看

完全不是一个东西哦，除了dyn object，rust的trait本质上接近Haskell的typeclass，即一种结构化的函数重载

[yueqianzhang]

newtype 就是装箱，配合 Deref 自动从箱里拿出值

[Rustln]

实际上用 装箱 并不太贴切，一般 GC 语言中，装箱和拆箱都有逆变协变的意思，比如：装箱：number 转 object，拆箱：object 转 number，此过程实际上涉及到内存的重新分配，也就是性能不高。

而 newtype 更像是包装器，或者用 TypeScript 的话叫装饰器也行 ，主要是在 Rust 类型孤儿规则下诞生的，可以让我们实现原生类型的拓展，包装，然后通过 Deref 又可以隐式代表被包装类型。

另外 newtype 也很像 React 中的高阶组件（HOC），输入一个类型，返回另外一个类型。

[lijing-2008]

就是为了绕过孤儿规则手动封装了一层吧，经典名言：没有什么是加一层解决不了的，如果不行那就再加一层

[17998384]

名字都叫Wrapper了，明显就是个包装器啊，跟装箱没关系

[ZYKWLJ]

好经典的名言！！！

[Mota-Link]

特征定义中的特征约束，算不算是trait的继承？

[importwu]

不算继承，只是约束

[yuhao00]

rust不谈继承，更像是一种约束，有集合论那个意思，A:B代表A是B的子集。

[li199603]

不能理解为继承。trait B:A如果理解为B继承了A，那么实现了B的结构体应该自动实现了A。但实际是想要实现B的结构体必须也实现A。这明显是一种约束

[ireina7]

rust不存在继承，除非你自己手动管理函数表或者虚表；且rust中唯一可能导致子类型的只有lifetime

[wangjohnny]

哪里有提到trait的继承，官方那本书也没涉及这些内容

[zebinfzu]

rust没有继承

[ice-jade]

"感觉很像之前讲过的特征约束，只不过用在了特征定义中而不是函数的参数中"

[ice-jade]

后半句说反了

[FlorentinoJink]

跨度有点大啊哥哥们，看不懂了

[sunface]

好的，建议收到，后面看看如何优化下

[mxhjhbrtggc]

对初学者要求太高了

[ShyunnY]

我个人的理解就是：边看书边看GPT可以提高效率以及加强理解，并且不能学太快。rust的语法和思想太多了，欲速则不达。

[Beiun]

配合GPT食用真的很赞

[licq]

#![allow(unused)]
fn main() {
pub trait CacheableItem: Clone + Default + fmt::Debug + Decodable + Encodable {
type Address: AsRef<[u8]> + Clone + fmt::Debug + Eq + Hash;
fn is_null(&self) -> bool;
}
}

这段code没有看明白。是指Address的实际类型需要同时实现后边的所有trait吗？也是trait限定？

[duanyuluo]

是限定，也就是说Address类型必须有AsRef<[u8]> + Clone + fmt::Debug + Eq + Hash这些特征。

[zhouhaoan]

看傻了。。。

[lemonbiscuits-ljw]

修改默认泛型类型参数部分，完整参考代码：

use std::ops::Add;

#[derive(Debug)]
struct Millimeters(u32);
struct Meters(u32);

impl Add<Meters> for Millimeters {
    type Output = Millimeters;

    fn add(self, other: Meters) -> Self::Output {
        Millimeters(self.0 + (other.0 * 1000))
    }
}

fn main() {
    let x = Millimeters(5);
    let y = Meters(3);
    print!("{:?}", x.add(y));
}

[Sartner]

好的，学废了😭

[eightHundreds]

pub trait CacheableItem: Clone + Default + fmt::Debug + Decodable + Encodable {

: Clone + Default + fmt::Debug + Decodable + Encodable 这个语法之前好像没介绍过?

[Caozhiii]

应该是在这后面讲的：特征定义中的特征约束
为实现了A Trait 的类型实现 B Trait

[JingxuanC]

好难好难 前面几节看了半天。 这一节就花了我半天时间， 关键是 还很懵逼

[Wan-Yifei]

Trait几个章节我反复看了一周作用，相当抽象，感觉是Rust在Trait上寄托了太多东西：接口、多态甚至一些装饰器的特征，把Trait搞得很抽象。

[Neisseri]

所有self.0是取出元组结构体第一个字段的意思吗，我看了好久qaq

[xusanduo08]

是的

[duanyuluo]

哈哈，你这是学着后面，忘前面哈

[Hew007]

懵逼：跳过喽 哈哈

[Bourne115]

第一次插眼，懵逼ing

[BuzzWoods]

trait 用法太多了，需要自己重新总结一遍

[pplmx]

CPU 超频了>>>>>>>>>>>>>

[Wan-Yifei]

感觉Rust的Trait融合了其他语言的多态、接口甚至装饰器之类的很多特性，是个相当复杂的大集合。我看了好几遍都是似懂非懂，关键是不清楚其中一些功能会在开发中如何使用，有什么好处。还是得有个具体的小项目练练手才行。

[Liccsu]

最后为 Wrapper 实现 Deref 特征和重载方法怎么不讲了

[Wan-Yifei]

整个泛型和特征2.8章节读了3-4遍……记不住

[yu244]

Rust 简直太自由辣

[magicianlib]

我就眨了一下眼睛，怎么直接看不懂了？？？？

[RyanHuen]

特征定义中的特征约束：叫组合呗？
这感觉也很符合设计模式里的： has one is one 呢

[Promedio]

关联类型那几个例子感觉毫无关联啊？只有懂的人才能看懂？

[Blyzes]

可以看看https://github.com/MeouSker77/ProgrammingRust 对应部分，对关联类型解释的更详细一些

[JavaZeroo]

impl Add for Point {
    type Output = Point;

    fn add(self, other: Point) -> Point {
        Point {
            x: self.x + other.x,
            y: self.y + other.y,
        }
    }
}

按照我的理解，这段实例代码是可以使用泛型来写的，可是应该怎么写呢？尝试了一下写不出来QAQ

[LaiOrigin]

use std::ops::Add;

struct Point<T> {
	x: T,
	y: T
}
impl<T: Add> Add for Point<T> {
	type Output = Point<T>;

	fn add(self, other: Point<T>) -> Point<T> {
		Point {
			x: self.x + other.x,
			y: self.y + other.y,
		}
	}
}

[zbzpo2002]

“这里提供一个办法来绕过孤儿规则”
应该这样理解：
既然是 newtype 就和原来的类型无关了， 既然你定义了一个新类型，
struct Wrapper(Vec);
并且新类型也在当前的scope中， 你自然可以为newtype实现它的trait。

所以新的类型符合 newtype的定义， 但是当你使用这个类型的时候， 就好像在使用原来的类型一样.

[haochencheng]

pub trait Iterator {
fn next(&mut self) -> Option;
}
next语义是只读吧，传入&self是不更好

[andrewcoder666]

好有趣的语言特性啊，没有继承，但有特征定义中的特征约束（虽然不叫继承），大大提高了语言灵活性。