StackOverflow 文件 ada 教程 引數化型別 區分記錄型別 區分記錄型別 Created: November-22, 2018 在區分記錄型別的情況下,一些元件被稱為判別式,其餘元件可以依賴於這些。判別式可以被認為是引數化型別,語法揭示了這種類比。在這個例子中,我們建立了一個型別,它提供了一個帶有正引數的方陣: type Square(X: Positive) is record S: Matrix(1 .. X, 1 .. X); end record; 然後建立一個 3 乘 3 的正方形,只需呼叫型別為 Square 的廣場: Sq: Square(3); 變體記錄結構引數化型別