rust学习感想

发表于 2019-08-16 阅读次数： Disqus：

最近刚把The book看完了,手有些生,断断续续写点小东西,这边写一下这个歌阶段的一些学习感想,感受.
文章很水,没有语言上的指导只有自己的一些见解,部分内容还可能是完全错误的,欢迎指正~~.

学习目的主要是想开阔一下视野.
之前就偶尔会听到别人说rust在设计上有一些特别的地方,并且又由于是一门可以进行系统编程的语言,学习的收获也会比学其他的来得多,就这样开始了.

低估的ownership概念

最开始看不管是ownership还是borrowing rules,感觉设计上很精妙,自己仿佛变成了肉体垃圾收集器,看了书中几个例子就飘了,天真地觉得并不是很困难.这种错觉就像我能手动管理好内存的申请和释放一样,稍微复杂一点点的场景就立马吃瘪.
之前做练习写了个脚本,用HashMap做缓存传入一个函数中,并会在传入的函数中放入值.
先放出最后的成品:

fn handle(client:&Client, map: &mut HashMap<String, String>, email: &str, node_name :&str) {
    let node_id = if let Some(id) = map.get(node_name) {
        if id == "" {
            None
        } else {
            Some(String::from(id))
        }
    } else {
        let r = find_id_by_node_name(&client, node_name);
        if let Some(id) = r {
            map.insert(node_name.to_string(), id.clone());
            Some(id)
        } else {
            map.insert(node_name.to_string(), "".to_string());
            None
        }
    };
    if node_id == None { return };
    let user_id = find_id_by_email(&client, email);
    if user_id == None { return };
    move_to_node(&client, node_id.unwrap().as_str(), user_id.unwrap().as_str());
}

最开始key和value都用了&str,出现了各种报错比如borrow超过了生命周期,lifetime不一致等,中间为了避免报错一些地方用String,用&String,随后ownership moved之类的错也跟着出现了.
恶化成了编译器报错,改掉这里,其他地方又爆了原因不一样的错,而且越修越多,报的错越来越看不懂.
感觉就像被人(编译器)打了一顿,打的人还不断告诉你你这样错了要那样做,那样做了之后又有了其他错.
这实质上还是自己对于所有权的概念理解太浅薄了,我需要将在函数内部产生的String增加到由参数传入的HashMap中,HashMap的生命周期在定义中就比函数中产生的变量长,而我最开始的泛型类型居然是&str,于是就产生了一个borrow活得比他实际的数据更长的问题.
我要将他带出去,数据的ownership必须到HashMap中.(不过由于数据除了放到HashMap中还要参与之后的运算,于是通过clone等方法增加一些)

对于ownership和borrow这两个概念,还是要从引入他们的原因来分析,是为了取代运行时GC的.变量会在离开作用域后自动回收掉指向的数据(这里单单讨论堆,毕竟栈上的数据都是Copy),ownership可以想象成一根粗粗的箭头,只能有这一根并且支撑数据的存活(unsafe在此不讨论),而borrow则是细细的绳,如果箭头消失了,数据回收,绳就空荡荡(悬空)了.

大小可知大小不可知

这个是最为困惑的一个点,主要体现在ch17上的内容.
看到了”为了编译过”而写的代码形式:

impl State for Draft {
    fn request_review(self: Box<Self>) -> Box<dyn State> {
        Box::new(PendingReview {})
    }
}

使用Box的原因之一是为了解决编译期类型大小不可知的问题,而如果被Box持有的数据发生了move,那又把这个编译期大小不可知的问题给暴露出来.

In general, Rust doesn’t allow us to move a value out of a Box because Rust doesn’t know how big the value inside the Box will be: recall in Chapter 15 that we used Box precisely because we had something of an unknown size that we wanted to store in a Box to get a value of a known size.

(ch20的内容)

move Box本身.
在使用trait object中会常用到的一点.
可能需要多写一些代码才能更深入理解了.

提供充足的声明式支持

这个是比较惊喜的一点,rust的库中提供了很多声明式风格的api,语言本身也有模式匹配的支持,写起来和其他有运行时的语言一样便利(但要时刻记着ownership等概念).
这是语言设计和API设计上的选择,感觉相比某些语言还是相当友好的.
此外,使用了一些额外的类库也感觉到了API上的轻便,使用舒适,比如serde_json的Value设计.
相比java的类库jackson里的JsonNode,其子类的get实现会返回null,导致get之后必须检查一下(虽然可以用Optional一路串下去),Value有Value::Null(在使用[]的情况下),如果jackson设计不存在返回子类假设有个MissingNode的实例可能就会好很多.
不过这个具体类库具体分析了.