表面上看是因为Rust所有权系统不承认线性逻辑中的指数推理规则(Of course!和Why not?),导致链表这种含有“自指”结构的数据结构无法刻画。
但如果承认指数规则的话,要么回到引用计数垃圾回收的机制,要么手写mfree(Why not?)语句。
但这又回到了老路上,违背了Rust的目标。
但是只要我们提前知道链表的最大长度,那么就能写出来了。
例如:已知链表的最大长度是3,那么我们定义3个类型套一下即可。
问题就出在这里,“链表最大…。
广西,如何才能发展起来?
大家认为该不该有彩礼的存在?
健身为什么要多练腿?
「牛奶湖」游客排队接奶,当地表示可以放心喝,是否符合食品安全标准?此营销行为对当地牧业是否有宣传作用?
苹果为什么要给每代MacOS起个名字,真以为人们记得住分得清吗?
现在学编程晚不晚?
为什么好多人不承认大众审美就是喜欢白皮?
为什么任天堂在NS2上没有选择使用OLED屏幕以提升续航能力和显示效果?
在非洲工作是怎样一种怎样的体验?
消息称苹果 macOS 26 将不再支持部分旧款英特尔 CPU 机型,这背后原因有哪些?
电话:
座机:
邮箱:
地址: