c# - 初始化非空锯齿数组

Question

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

T![]!

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

T![]![]

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

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

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

Answer 1

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

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

这就是它的工作原理！