Solidity数组是一种数据结构，可以存储相同数据类型的元素的有序集合。数组中的每个元素都有一个称为索引的特定位置，可以通过索引来访问或修改元素。数组可以用来存储数字、布尔值、地址或字符串等基本数据类型。在Solidity中，数组可以是固定大小或动态大小的。固定大小的数组在声明时必须指定元素的数量，而动态大小的数组可以根据需要增加或减少元素。数组在内存中占用连续的空间，最低索引对应第一个元素，最高索引对应最后一个元素。

声明和初始化数组

在Solidity中，声明一个数组时，需要指定元素的数据类型和数组的大小（可选）。如果是固定大小的数组，那么大小必须是一个正整数；如果是动态大小的数组，那么可以省略大小，或者用空括号表示。声明一个数组时，也可以给它赋予初始值，初始值必须是一个与数组数据类型相同的常量表达式或字面量。

语法：

<数据类型> <数组名> [大小] = <初始值>;

例如：

uint5a = [1, 2, 3, 4, 5]; // 声明并初始化一个固定大小为5的uint类型的数组 bool[] b = [true, false, true]; // 声明并初始化一个动态大小为3的bool类型的数组 address[] c; // 声明一个动态大小为0的address类型的数组 string2d = [“Hello”, “World”]; // 声明并初始化一个固定大小为2的string类型的数组

访问和修改数组元素

可以通过索引来访问或修改数组中的元素。索引从0开始，到数组长度减1结束。如果访问或修改超出范围的索引，会导致异常。如果是动态大小的数组，可以通过push方法向末尾添加新元素，或者通过pop方法删除末尾的元素。如果是固定大小的数组，则不能使用push或pop方法。

例如：

uint5a = [1, 2, 3, 4, 5]; a[0] = 10; // 修改第一个元素为10 uint x = a4; // 获取最后一个元素，赋值给x // a5= 6; // 异常，索引越界

bool[] b = [true, false, true]; b.push(false); // 向末尾添加新元素false b.pop(); // 删除末尾的元素 // b3= true; // 异常，索引越界

获取和修改数组长度

可以通过length属性来获取或修改数组的长度。如果是固定大小的数组，那么length属性是只读的；如果是动态大小的数组，那么length属性是可写的。如果增加length属性的值，会在末尾添加默认值；如果减少length属性的值，会删除末尾的元素。

例如：

uint5a = [1, 2, 3, 4, 5]; uint l = a.length; // 获取长度，赋值给l // a.length = 6; // 异常，不能修改固定大小数组的长度

bool[] b = [true, false, true]; b.length = 5; // 修改长度为5，在末尾添加两个false b.length = 2; // 修改长度为2，删除末尾三个元素