我很难找到有关创建数组的文档。我知道的唯一方法是创建一个像这样的数组:var arr := new int[2][1,2]
。鉴于我想要动态地使用范围n
,这很难。
假设我要创建一个范围为10的数组,因此结果将为[1, 2, 3, 4, 5, 6, 7, 8, 9, 10]
。
有没有办法做到这一点?
答案 0 :(得分:1)
您可以通过提供类似以下的初始化功能来做到这一点:var arr := new int[n](i => i + 1);
如果数组中的所有值均为>= 0
,则可以考虑使用类型nat
而不是int
。
这里有一个类似的问题:Creating an array of a class type in dafny