CS_learn/LearnRustEasy
1
0
Fork 0
mirror of https://github.com/RustyCab/LearnRustEasy.git synced 2026-02-04 10:43:22 +08:00
Code Issues Packages Projects Releases Wiki Activity

Update chapter_3_10_2.md

Browse Source
This commit is contained in:
令狐一冲
2023-05-18 08:57:08 +08:00
committed by GitHub
parent 0bd4b2a862
commit 0ba50d82c8
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
src/chapter_3/chapter_3_10_2.md
View File

@@ -123,7 +123,7 @@ fn main() {
- 返回值类型不为 Self；
- 方法没有任何泛型类型参数。
分析：不允许返回Self，是因为trait对象在产生时，原来的具体的类型会被抹去，Self具体是什么类型不知道，所以编译会报错；不允许携带泛型参数，是因为Rust用带泛型的类型在编译时会做单态化，而trait对象是运行时才确定，即一个运行时才能确定的东西里又包含一个需要在编译时确定的东西，相互冲突，必然是不行的*。
分析：***不允许返回Self，是因为trait对象在产生时，原来的具体的类型会被抹去，Self具体是什么类型不知道，所以编译会报错；不允许携带泛型参数，是因为Rust用带泛型的类型在编译时会做单态化，而trait对象是运行时才确定，即一个运行时才能确定的东西里又包含一个需要在编译时确定的东西，相互冲突，必然是不行的***。
如下代码编译会报错，因为Clone返回的是Self：
```Rust