java 字符串数组的长度_使用长度和大小参数声明固定长度字符串数组

我希望能够为GTK ComboBox声明一个固定长度字符串的常量数组 . 是否可以在ADA中使用两个参数？

此代码允许通过声明字符串来设置数组的大小 . 是否有可能以某种方式用参数替换规范中的常量？

一个简单的数组不允许判别 . 判别式记录不允许匿名数组 .

编辑：

我可以以某种方式声明与表单等效的类型：

type StringOfStrings(sringlength：positive; arraysize：positive)array(1..arraysize)of string(1..stringlength);

这种形式是不可能的，因为数组不能有判别式 .

要么

子类型SelectorString是字符串;

type SelectorStringArray(arraysize：positive; stringlength：positive)是记录stringarray：SelectorString的数组(1..arraysize)(1..stringlength);结束记录;

此表单是不可能的，因为记录不能具有匿名数组 .

回答：

以下作品，

包Selectors.Strings是

子类型ArrayIndex是正范围1..64; - ComboBox中的最大条目

子类型TextIndex是正范围1..32; - 最大入场时间

type SelectorStringArray是字符的数组(arrayindex range <>，textindex range <>);

function StringSelector(stringarray：SelectorStr