generics-traits/const-generics

[giscus[bot]]

generics-traits/const-generics

Learning Rust By Practice, narrowing the gap between beginner and skilled-dev with challenging examples, exercises and projects.

https://zh.practice.rs/generics-traits/const-generics.html

[einQimiaozi]

您好，练习3的题解是不是有错误，check_size无法传入String类型，因为要求String类型实现copy trait，题解中的答案会报错，需要传入String的引用好像才可以通过编译

[sunface]

我看看哈，你可以顺便提个 PR :P

[mrxiaozhuox]

我不理解，第一题的题解有什么意义呢。（似乎并不是真正解决问题）

[sunface]

第一题往往用于熟悉概念，这里的目的亦是如此

[sicheng1806]

泛型会具化为不同类型

[bajfi]

Tuple may be better
fn main() {
let arrays = (
Array{
data: [1, 2, 3],
},
Array {
data: [1.0, 2.0, 3.0],
},
Array {
data: [1, 2]
}
);
}

[ZYKWLJ]

智齿作者大大！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！

[roushanyyzz]

第三题报错
#![feature] may not be used on the stable release channel

[yejunjin]

凡是要用std库feature的，都要用nightly编译。cargo +nightly

[Altriaww]

Done

[makexiao113]

done！请问第七题得sqrt方法要T实现什么trait？
// 修复错误，让代码工作
struct Point {
x: T,
y: T,
}

impl Point {
fn distance_from_origin(&self) -> T
where
T: std::ops::Mul<Output = T> + std::ops::Add<Output = T>,
{
(self.x * self.x + self.y * self.y).sqrt()
}
}

fn main() {
let p = Point { x: 5, y: 10 };
println!("{}", p.distance_from_origin())
}

[mathisxx]

不是很理解，第三题

pub enum Assert {} 这个枚举中，CHECK是一个const 泛型
它在fn check_size(val: T)
where
Assert<{ core::mem::size_of::() < 768 }>: IsTrue,
{
//...
}
中是 core::mem::size_of::() < 768 这个表达式，按照此节开头的说法，const泛型在使用时必须为常量或常量表达式，也就是在编译时可以确定的字面值。不明白第三题这样使用为何没有错误

[ghost]

Assert<{ core::mem::size_of::() < 768 }>: IsTrue

大括号里边是一个表达式，返回一个bool，当返回false的时候，也就是Assert<false>，而上边这行要求实现IsTrue这个Trait，然而只当是true的时候才实现了，所以不满足。
这样通过Trait的方式可以在编译期保证，而不是运行时检查。
你问的const 并没有 在上边这行里，他在下边呢：

pub enum Assert<const CHECK: bool> {}

这里的确实是编译期确定的，因为rust编译器通过单态化为程序所有的可能情况都计算出了确定的值，到底是true还是false
这是我个人浅显的理解...

[ghost]

这样的写法我认为有一个隐含的要求：传入的类型必须是 编译期已知 大小的

[ghost]

找到原因了……
#![allow(incomplete_features)]
#![feature(generic_const_exprs)]
这里！

[colorsu]

第一题怎么理解呢？直接用类型调用函数？我从c/c++语言的角度来看，不是要先定义一个变量或者参数，然后传给函数作为形参吗？那这里这样调用函数 reg_fn(S(A)) 是什么意思呢？最终是什么都没干吗？编译器怎么生成代码的这里。
struct A; // Concrete type A.
struct S(A); // Concrete type S.
fn reg_fn(_s: S) {}
fn main() {
// Using the non-generic functions
reg_fn(S(A)); // Concrete type.
}

[ghost]

调用的时候实例化了吧。比如：

reg_fn(S(A));

我认为这一行等价于：

let temp_a = A; // 实例化A
let temp_s = S(temp_a); // 实例化S
// 调用
reg_fn(temp_s);

题目中的：

reg_fn(S(A));

是其简化写法吧，因为这个实例在后边并不需要，只需要在这个函数使用一次。就不需要在用 let 来绑定了吧。
确实什么也没做，因为函数体是空的。
这个题只是在说 类型要符合函数签名 吧？

[ddxiaoming]

感觉语法好乱，记不住

[matyle]

done1

[haochen-zeng]

Done.

[Grapeve]

Done

[AliceThunder]

DONE

[Bruce012356]

mark

[liaosunny123]

第三题的:我们知道 .get 返回的是 Some(b' ')是什么意思？为什么返回的是' '

[killdayu]

重0开始第6个

[crypto-le]

🌟🌟 <T, const N: usize> 是结构体类型的一部分，和数组类型一样，这意味着长度不同会导致类型不同： Array<i32, 3> 和 Array<i32, 4> 是不同的类型

第一题：我理解的知识点是：数组每一个元素类型都要一样，如果第一个元素是[i32,3] 第二个是[i32,4] 就没法 在外面使用[]来表达 错误示范：[[i32,3],[i32,4]]

[Coke-Code]

第三题的限制大小size是怎么算的，比如0u8对应的767？没有强类型语言经验的小白看得很懵

[Sagecheni]

得先看上面的check_size函数：Assert<{ core::mem::size_of::() < 768 }>: IsTrue,
要求占用的大小要<768，然后就根据每个类型占用的大小和768-1进行计算，比如u8占1个字节，所以u8数组的长度就得<768，其他的同理

[Nixicodo]

看评论区吐槽的第三题貌似和现在看到的不一样啊，是更换题目了吗

[Nixicodo]

哦，原来是泛型和const泛型两部分习题共用一个评论区……

[F1shAndCat]

第三题描述改成取极限大小会好点吗 我做的时候直接用3个1水过去了

[felipe300]

• done

[aardwolfchen]

请教下 Assert<{ core::mem::size_of::() < 768 }>: IsTrue,
中
core::mem::size_of::()如果是编译时运行的，那它时是怎么运行的？

[DylanJinx]

done~~~

[DylanJinx]

最后一题个人理解：
core::mem::size_of::<T>() < 768：是指最多占内存767bytes；

• 一个u8类型占1byte，而数组[0u8; x]中的x是个数，所以x最大是767；
• i32类型占4bytes，767/4 = 191.75取191；
• "hello你好"是&str类型，在具体的体系结构上，如 x86-64，一个 word（字）通常是 64 位，也就是 8 字节。在这样的系统中，&str 类型通常占用两个 word：指针、长度。 这样的布局意味着不论字符串实际上有多长，&str 类型的变量本身总是占用 16 字节（在 64 位系统中，因为两个 word 总共是 16 字节）。767/16=47.9375取47；
• "hello你好".to_string()是String类型，但是有三个字段：指针、长度、容量，每个占8bytes，总共24bytes，767/24=31.953取31。

[AllenWu233]

《Const 泛型》这一节练习题的第三个例子似乎过不了编译：

pub struct MinSlice<T, const N: usize> {
    pub head: [T; N],
    pub tail: [T],
}

fn main() {
    let slice: &[u8] = b"Hello, world";
    let reference: Option<&u8> = slice.get(6);
    // 我们知道 `.get` 返回的是 `Some(b' ')`
    // 但编译器不知道
    assert!(reference.is_some());

    let slice: &[u8] = b"Hello, world";

    // 当编译构建 MinSlice 时会进行长度检查，也就是在编译期我们就知道它的长度是 12
    // 在运行期，一旦 `unwrap` 成功，在 `MinSlice` 的作用域内，就再无需任何检查    
    let minslice = MinSlice::<u8, 12>::from_slice(slice).unwrap();
    let value: u8 = minslice.head[6];
    assert_eq!(value, b' ')
}

尝试cargo run:

error[E0599]: no function or associated item named `from_slice` found for struct `MinSlice` in the current scope
  --> src/main.rs:17:40
   |
1  | pub struct MinSlice<T, const N: usize> {
   | -------------------------------------- function or associated item `from_slice` not found for this struct
...
17 |     let minslice = MinSlice::<u8, 12>::from_slice(slice).unwrap();
   |                                        ^^^^^^^^^^ function or associated item not found in `MinSlice<u8, 12>`

For more information about this error, try `rustc --explain E0599`.
error: could not compile `b` (bin "b") due to 1 previous error

[Process exited 101]

[sponge7991]

根据报错内容，是不是因为文里省略了from_slice()方法的定义，我也是这个报错，但是不知道怎么加合适

[SandyLi0404]

done

[TDAkory]

mark finished

[flyingsand]

第六题mixup里为什么用self程序就可以通过，而用&self则通过不了

[vhtmui]

方法的参数&self实际上是self: &Self的语法糖，你传入一个引用，并在函数内获取self.x这个值的所有权（没实现copy会发生move）。但你传入的引用并没有self变量本身的所有权。

[Deusvult6764]

Mixup was a little technical for me.

[yomanthunder]

that was kinda tough , but i understood a lot of concept from that example

[Blyzes]

done 但还没理解明白

[yomanthunder]

Good one there ,
Done !!

[socay1]

难度大大增加了，跟不上了 😄

[zzzk1]

day4 完成范型

[zzzk1]

day4 完成范型内容

[bansal-harsh-2504]

Done ✅
day 8