我最近讀了迭代器和池中的the 2012 rationale部分。其中一個概括的是關於子池的新能力,一個沒有答案的問題是子池和池池之間有什麼區別 - 我的意思是,似乎可以像這樣實現:(pg.25):新的Ada子池功能和池池有什麼不同?
-- Minnesota: Land of 10,000 Lakes
type Minnesota(Size: Storage_Count) is new Root_Storage_Pool with private;
type Lake(Size: Storage_Count) is new Root_Storage_Pool with private
with Storage_Pool => Minnasota;
-- ...
type Pooled is [...] with Storage_Pool => Lake;
雖然我承認我可能是非常錯誤的,因爲我沒有使用子池,更少的池(還)。