表面上看是因为Rust所有权系统不承认线性逻辑中的指数推理规则(Of course!和Why not?),导致链表这种含有“自指”结构的数据结构无法刻画。
但如果承认指数规则的话,要么回到引用计数垃圾回收的机制,要么手写mfree(Why not?)语句。
但这又回到了老路上,违背了Rust的目标。
但是只要我们提前知道链表的最大长度,那么就能写出来了。
例如:已知链表的最大长度是3,那么我们定义3个类型套一下即可。
问题就出在这里,“链表最大…。
我国为什么没有类似CIA和克格勃的对外情报机构?
有什么是你去了西藏才知道的事情?
为什么个人需要公网ip?
为什么美国城市基本没有蚊子,法国城市也基本没有蚊子,而国内蚊子那么多?
有一个乌克兰的朋友问我,中国人凭什么能享受和平,我该怎么说?
有没有一款音乐播放器,能连接nas音乐,创建音乐库,自动匹配歌词封面等等?类似infuse的概念呢?
有哪些你去旅行后祛魅的城市?
为什么QQ上的网络状态没有了?
为何 PC 需要单核高性能,而服务器不在乎?
为什么说以色列这次干得漂亮?
电话:
座机:
邮箱:
地址: