初始化非空锯齿数组答案

【问题标题】：Initialize not null jagged array初始化非空锯齿数组
【发布时间】：2014-05-03 10:19:23
【问题描述】：

我目前正在 UCLAN 学习计算，我必须使用 Spec# 编写一个程序，并且我需要一个不能为空的二维锯齿状数组。我知道对于普通数组，我可以这样声明它

T![]!

但是当我想为一个锯齿状数组声明它时，我应该像这样写它

T![]![]

这很好用，但是当我想初始化它时：

T![]![] = new T![365]![]

它会抛出一个错误，我只是找不到如何解决这个问题。

【问题讨论】：

【解决方案1】：

我没有找到正确初始化数组的方法，但我找到了解决方法。

T![]![]! = (T![]![]) new T![][];

这就是它的工作原理！

【讨论】：