Rust 教程
- 第1节:Rust 介绍
- 第2节:Rust 安装
- 第3节:Rust Hello,world!
- 第4节:Rust Hello,Cargo!
- 第5节:Rust 栈和堆
- 第6节:Rust 测试
- 第7节:Rust 条件编译
- 第8节:Rust 文档
- 第9节:Rust 迭代器
- 第10节:Rust 并发性
- 第11节:Rust 错误处理
- 第12节:Rust 外部函数接口
- 第13节:Rust Borrow 和 AsRef
- 第14节:Rust 发布通道
- 第15节:Rust 变量绑定
- 第16节:Rust 函数
- 第17节:Rust 基本类型
- 第18节:Rust 注释
- 第19节:Rust if
- 第20节:Rust for 循环
- 第21节:Rust while 循环
- 第22节:Rust 所有权
- 第23节:Rust 引用与借用
- 第24节:Rust 生存期
- 第25节:Rust 可变性
- 第26节:Rust 结构体
- 第27节:Rust 枚举
- 第28节:Rust 匹配
- 第29节:Rust 模式
- 第30节:Rust 方法语法
- 第31节:Rust 向量
- 第32节:Rust 字符串
- 第33节:Rust 泛型
- 第34节:Rust 特征
- 第35节:Rust 降
- 第36节:Rust if let
- 第37节:Rust 特征的对象
- 第38节:Rust 闭包
- 第39节:Rust 通用函数调用语法
- 第40节:Rust 箱和模块
- 第41节:Rust “常量”和“静态”
- 第42节:Rust 属性
- 第43节:Rust type 别名
- 第44节:Rust 类型转换
- 第45节:Rust 关联类型
- 第46节:Rust 全类型
- 第47节:Rust 操作符和重载
- 第48节:Rust 'Deref'强制转换
- 第49节:Rust 宏命令
- 第50节:Rust 原始指针
- 第51节:Rust unsafe
Rust 全类型
全类型
大多数类型都有一个特定的大小,以字节为单位,是在编译时可知。例如,一个 32 位大的 i32 或四个字节。然而,也有一些用于表达的类型,但没有指定的大小。这些被称为全类型或动态大小类型。有一个例子是[T]。这个类型代表了序列中一定数量的 T。但是我们不知道有多少,所以不知道大小。
Rust 使用许多这样的类型,但是他们有一些限制。有如下三种:
- 我们只能通过指针操作一个全类型的实例。一个 &[T] 就可以了,但[T]不可以。
- 变量和参数没有动态大小类型。
- 只有 struct 的最后一个字段可能有一个动态大小类型;其他字段没有。动态大小类型。
所以,为什么要找麻烦呢?好吧,因为 [T] 只能在指针后使用如果我们没有语言支持全类型,就不可能写出下面代码:
impl Foo for str {
或
impl<TFoo for [T] {
相反,你必须这样写:
impl Foo for &str {
这意味着,只能实现引用,而不是指针的其他类型。impl str,所有指针,包括(在某种程度上,首先有一些bug要修复)用户定义的定制智能指针,可以使用这个 impl。
?Sized
如果你想写一个接受一个动态大小类型的函数,你可以使用特殊的约束,?Sized:
struct Foo<T: ?Sized> {
f: T,
}
这个?,读作“T可能的大小”,意味着这个绑定很特别:它让我们匹配更多的种类,而不是更少。就像每一个 T 隐式包含 T: Sized
,并且?可以撤销默认。