起始课作业

上一次强烈地专注投入做一件事,是在某天晚上研究并理解Rust中的DST抽象。游走在RFC与Nomicon间,我从Nomicon的custom DST挖掘到variance,从variance读到subtype,又从subtype读到unstable `Unsize` trait。

我研究此抽象类型是因为在实现某VoxelSet时想为其编写一个三维的切片不定长类型,然而最后我遗憾地得出按照我内心的想法实现需要使用未稳定的Pointee trait,而这在目前是做不到的。

关于这个问题我在那天上床后一直在思考,因此久久不得入睡。后来到了第二天仍在想这个问题。最后我向现有的类型系统达成了妥协,使用trait object实现了这个slice类型,到现在我仍深感遗憾。也许以后Pointee稳定了,我会将其重新实现。

 

班名:MaybeUninit / 如(?

 

虞杰宁

avataravataravatar

3人评论了“起始课作业”

  1. 跳跃读取“久久不得入睡”——“仍深感遗憾”——“会将其重新实现”,粗粗感受到了Rust中蕴藏的迷人(你)魅力。

发表评论

滚动至顶部