多谢长篇回复!
: 我不懂 c++,论坛看到的,c++ 几乎能完成 rust 的全部 raii 功能,但缺少最重要的编译器的严格检查。
多解释两句,rust的raii就是从c++抄来的,Box就是unique_ptr,Rc就是shared_ptr,几乎一样。在变量生命期方面,rust就是比c++多了一个“默认move语义”,而c++默认是copy语义。这一点需要习惯。因为默认move,所以编译期rust会给你检查是否使用了已经moved变量,提前警告。
: 我的建议还是 rust,但不要用 Rc,一开始写起来肯定会头疼。但从论坛反馈来看,普遍经历一段痛苦期后就习惯了。
rust里的Rc和普遍所说的ref count可能还有点角色上的不一样。rust里面有严格的所有权检查、读写引用冲突检查,所以其他语言里有些场合,不用rc也可以,但是在rust里,为了满足所有权传递和读写引用的要求,就必须要用rc,否则就要重新设计数据结构,甚至要对功能进行删减。
举一个例子,如果想要设计这样一个api:
struct S { f: i32 };
let mut s1 = S { f: 1 };
s1.inc().inc(); // [1] 支持先let出变量,再链式调用chain
let s2 = (S { f: 2 }).inc().inc(); // [2] 也支持先链式调用chain再初始化变量
那么怎么设计这个inc方法呢?
impl S { fn inc(mut self) -> Self { Self {f: self.f + 1} };
这样传所有权的话,只满足[2],不满足[1],因为[1]的情况下这么写 s1 就被 moved 了。
impl S { fn inc(mut& self) -> mut& Self { self.f += 1; self };
这样传引用的话,又不满足[2],因为返回的引用所指的self的生命期不够长。
这种时候貌似只能让inc返回一个Rc<S>,通过低成本的Rc::clone来满足这个api的设计要求。
另外,任何有环的数据结构,也是不可能使用RAII解决全部问题的,必须要引入Rc和Weak,人肉来操心,或者把整个数据结构看作一个整体,用arena的思路解决问题。
【 在 eGust (十年) 的大作中提到: 】
: swift 的速度基本跟 java/go 一档的,通常情况下 java/go 换技术的原因也都是 gc,而不是速度。我不知道 EDA 是啥,只能从更一般情况的情况谈快慢
: 跟 c++ 一档又带 gc 的选项倒也不是没有,比如 d 语言基本上是能跟 c++ 战的。但是呢,一般来说,大多数技术从走入大众视野,发展到成熟期,一般都在10年左右。d 走入大众视野时,node 和 go 还都不存在,所以它注定是永远小众了。一般 micro benchmark 都不考虑 gc 的
: 内存管理就这样,不手动的话,一共就3种主流技术:gc、rc、raii。都是上个世纪就存在的技术,各有各的优缺点,但没有免费的午餐。
: ...................
--
FROM 166.111.77.*