表面上看是因為Rust所有權系統不承認線性邏輯中的指數推理規則（Of course!和Why not?），導致鏈表這種含有“自指”結構的數據結構無法刻畫。

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

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

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

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

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