通用引數

Ada 提供各種通用引數,很難翻譯成其他語言。在例項化期間使用的引數以及通用單元可能依賴的引數可以是具有某些屬性的變數,型別,子程式或包例項。例如,以下提供了任何型別陣列的排序演算法:

generic
    type Component is private;
    type Index is (<>);
    with function "<" (Left, Right : Component) return Boolean;
    type Array_Type is array (Index range <>) of Component;
procedure Sort (A : in out Array_Type);