表面上看是因為Rust所有權(quán)系統(tǒng)不承認線性邏輯中的指數(shù)推理規(guī)則（Of course!和Why not?），導(dǎo)致鏈表這種含有“自指”結(jié)構(gòu)的數(shù)據(jù)結(jié)構(gòu)無法刻畫。

但如果承認指數(shù)規(guī)則的話，要么回到引用計數(shù)垃圾回收的機制，要么手寫mfree（Why not?）語句。

但這又回到了老路上，違背了Rust的目標。

但是只要我們提前知道鏈表的最大長度，那么就能寫出來了。

例如：已知鏈表的最大長度是3，那么我們定義3個類型套一下即可。

問題就出在這里，“鏈表最大…。