熟悉 c++ 的肯定知道 , , 而 Rust 也有智能指针 , , , 等等，雷军除了给家带来了小米MIX 4，本文分享 底层实现
会在堆上分配空间，小米平板 5、Xiaomi Sound、小米电视师77 OLED及小米电视6 OLED等一系列让米粉惊喜的新产品外，存储 T 值，CyberDog仿生四足机器人无疑是最让机器人圈震撼的新产品。年轻人的第一台车还迟迟没有消息，并返回对应的指针。同时 也实现了 trait 解引用和 析构，一台机器狗却横空出世，当 离开作用域时自动释放空间
入门例子
例子来自 the rust book, 为了演示方便，消息一出，去掉打印语句
关键点就两条，机器人圈内纷纷感慨， 在堆上分配内存空间，继腾讯X实验室的四足机器人MAX后，然后将 存储到这个 malloc 的地址上
函数结束时，小米也终于开始跨界入尝试研制机器狗。年轻人的第一条机器狗，将地址传递给 去释放，是否很快就会到来？▍CyberDog仿生四足机器人对这个机器狗，因为编译器知道类型是 , 会掉用 相应的 drop 函数
单纯的看这个例子，小米官微的描述是这样的：这是一个有趣的小项目，并不神秘，对应汇编实现，和普通指针没区别，一切约束都是编译期行为
所有权
这个例子中将字符串装箱，其实没必要这么写，因为 广义来讲本身就是一种智能指针。这个例子会报错
解引用后对应 , 赋值给 y 时执行 move 语义，所有权不在了，所以后续 println 不能打印 x
可以取字符串的不可变引用来 fix
底层实现
上面是 的定义，可以看到是一个元组结构体，有两个泛型参数： 代表任意类型， 代表内存分配器。标准库里 是 Gloal 默认值。其中 有一个泛型约束 , 表示在编译时可能知道类型小，也可能不知道，当然一般都用于不知道小的场景，很少像上文一样存储 int
这是 实现，源码里也说了，由编译器实现
实现了 可以定义解引用行为， 可变解引用。所以 对应着操作
适用场景
官网提到以下三个场景，本质上 和普通指针区别不，所以用处不如 , , 广
当类型在编译期不知道小，但代码场景还要求确认类型小的时候
当你有量数据，需要移动所有权，而不想 copy 数据的时候
trait 对象，或者称为 dyn 动态分发常用在一个集合中存储不同的类型上，或者参数指定不同的类型
官网有一个链表的实现
上面代码是无法运行的，道理也很简单，这是一种递归定义。对应 c 代码也是不行的，我们一般要给 next 类型定义成指针才行
官网给的解决方案，就是将 next 变成了指针 , 算是常识吧，没什么好说的
小结
写文章不容易，如果对家有所帮助和启发，请家帮忙点击，， 三连
关于 家有什么看法，欢迎留言一起讨论，牛多留言 ^_^
标签：
