1. 不行。因为 Vec 和 Copy 都不是用户自己 crate 中定义的，所以根据孤儿原则无法为 Vec 实现 Copy trait 2. 因为 Arc 实现了 Deref 和 DerefMut trait，解应用可以直接访问内部的 Mutex 3. 实现的时候遇到了一个问题：对于非法的 index （比如测试用例中的 128）该如何返回，没找到解决方法于是只针对 List<u32> 实现了 Index trait，这样在遇到非法 index 时返回 &0 即可。 针对 Vec 测试了一下非法 index 的情形，发现会直接终止进程。具体代码如下 ```rust fn index(&self, index: isize) -> &Self::Output { // todo!(); if let Some(idx_abs) = if index >= 0 { Some(index as usize) } else { self.len().checked_sub(index.abs() as usize) } { let mut iter = self.iter(); for _i in 0..idx_abs { iter.next(); } iter.next().unwrap_or(&0) } else { &0 } } ```

第3题, 同样使用标准库的2个方法, `checked_rem_euclid`取得合理索引值, `iter().nth()`获得实际值 ```rust use std::{ collections::LinkedList, ops::{Deref, DerefMut, Index}, }; struct List<T>(LinkedList<T>); impl<T> Deref for List<T> { type Target = LinkedList<T>; fn deref(&self) -> &Self::Target { &self.0 } } impl<T> DerefMut for List<T> { fn deref_mut(&mut self) -> &mut Self::Target { &mut self.0 } } impl<T> Default for List<T> { fn default() -> Self { Self(Default::default()) } } impl<T> Index<isize> for List<T> { type Output = T; fn index(&self, index: isize) -> &Self::Output { let len = self.0.len(); //标准库的checked_rem_euclid方法, 如果len=0 则返回None //这里直接把i进行unwrap, 如果链表长度不为0, 则i一定在0..len范围内, 可以放心使用, //如果长度为零, 意味这对一个空链表进行索引, 那么我panic应该也是合情合理的吧 let i = (index as usize).checked_rem_euclid(len).unwrap(); &self.0.iter().nth(i).unwrap() } } #[test] fn it_works() { let mut list: List<u32> = List::default(); for i in 0..16 { list.push_back(i); } assert_eq!(list[0], 0); assert_eq!(list[5], 5); assert_eq!(list[15], 15); assert_eq!(list[16], 0); assert_eq!(list[-1], 15); assert_eq!(list[128], 0); assert_eq!(list[-128], 0); } ``` playground 链接: https://play.rust-lang.org/?version=stable&mode=debug&edition=2021&gist=73b4129f1a6608892691da92d501ba15

老师，想提前问下unsafe相关的问题，这个目前比较困扰我进一步学习Rust. 比如这个 std::mem::forget(t), 看了下源码，是直接调用 ManuallyDrop::new(t), 看文档，好像这2个又不是直接等价的。forget的源码如下，多了些属性宏修饰，编译器是不是多加了处理，从而跟直接调用 ManuallyDrop::new(t)起到的效果不一样？ 如果是的话，这些宏的文档在哪里可以看到，类似的这些编译器处理的宏有哪些，他们的文档在哪里，谢谢。 Note: 我学rust陆续2年了，看源码时对这些需要编译器额外处理的东西比较困惑，不知道如何去进一步的理解他们, rust中很多隐含规则貌似都有他们的影子。 #[inline] #[rustc_const_stable(feature = "const_forget", since = "1.46.0")] #[stable(feature = "rust1", since = "1.0.0")] #[cfg_attr(not(test), rustc_diagnostic_item = "mem_forget")] pub const fn forget<T>(t: T) { let _ = ManuallyDrop::new(t); }