Rust在所有权这块的处理是很有特色的。语言的spec对编译器接受哪些代码并没有严格规定，兼容性只要求现在编译器接受的代码未来也被接受，但现在编译器不接受但正确（“符合直觉”）的代码可能被未来更聪明的编译器接受。编译器（但愿）会逐渐接近直觉。比如现在的编译器就接受一些过去报所有权错误的代码。
不过Rust是喜欢把类型系统作用发挥到极限的程序员设计的（比如最早用C++模板搞量纲分析那些），这类人在C++程序员里也是少数。对于大部分自称喜欢类型系统的程序员来说，Java那个程度刚好，Scala就已经太复杂了。

【 在 zezo 的大作中提到: 】
: 非职业码农，但工作内容需要写代码，对运行效率要求较高，半年前把部分 C++ 老代码
: 转到了 rust。
: 总体感觉 rust 语言是 C++ 码农想解决 C++ 痛点而设计的，但没有摆脱 C++ 的固有思
: ...................
--
修改:ilovecpp FROM 114.87.26.*
FROM 114.87.26.*