今天我们将开始第一个数据类型-数组的学习。

经常会看到这样的问题，怎么学习数据结构，我的答案是搞清楚具体数据结构对应的抽象数据类型ADT，抛开语言层面自带的数据类型，然后自己从头实现一遍。

其实数据结构没多复杂，数据结构就是人们的经验总结，根据其特定进行抽象定义命名，说到底就是我们定义的，你叫它是数组它就是数组，叫它是数集那它就是数集，所有我们只需要知道一个数据结构的定义，并且可以自己实现其定义，那么可以说你已经完全掌握这个数据结构了。

01、定义

什么是数组？数组是同类型的元素序列，数组是一种线性数据结构，它用一组连续的内存空间来存储一组类型相同的元素。

一个长度为10的int类型数组，在内存中存储类似下图布局。

数组的线性数据结构体现为数据一个挨着一个，连续的内存空间体现为在存储地址[1000-1039]这个空间中间是一个整体没有间隙的，相同元素指的是所有空间都用来存储int类型。

因此我们可以总结出数组的以下特性：

长度固定，因为内存一旦分配后大小将无法直接改变。
内存空间地址是连续的。
元素类型相同，既可以是值类型也可是引用类型。
索引一般从0开始。
随机访问，能够通过索引即下标直接访问到元素。

02、实现

1、ADT定义

抽象数据类型（Abstract Data Type，简称ADT），是一种数据抽象方法，用于描述数据对象的逻辑特征和操作，通常使用三元组表示法，即ADT=(D，S,P)，具体含义如下：

D（Data Objects）：数据对象，定义数据的集合和性质。

S（Structure）：数据对象之间的关系集，描述了数据对象内部各元素之间的结构和约束条件。

P（Primitive Operations）：数据对象的基本操作集，如插入、删除、修改、查找、遍历等。

如果我们要实现数组就要先定义好数组，下面我们用ADT定义下数组。

ADT Array{

数据对象：D 是一个有限、非空的整数序列，D = {a1, a2, ..., an}，其中 ai 表示序列中的第i个元素，n是序列的长度。

数据关系：D中的元素通过它们的索引（位置）进行组织，索引是从0到n-1的整数。

基本操作：[

Init(n) ：初始化一个长度为n的数组，所有元素初始值为元素对应类型默认值。

Length：返回数组长度。

Get(i)：返回索引为i的元素，如果i无效，则报错。

Set(i,v)：设置索引为i的元素值为v。如果i无效，则报错。

Insert(i,v)：在索引为i位置处插入v。如果i处无元素，则直接插入v；如果i处有元素并且其后面存在还未存储元素的位置，则从未存储元素位置之前的元素开始都像后移动一个位置直至腾出i位置，然后插入v。如果i处有元素并且其后面所有位置中都已存储元素，则报错；如果i无效，则报错。

Remove(i)：移除索引为i位置处元素，并将其后所有元素都向前移动一位，永远保持元素是连续的，并且删除空间都移动到数组尾部，且不可访问。

]

}

定义好数组ADT，下面我们就可以开始自己实现一个int类型数组类型了。

2、定义类

如果我们要实现上面关于数组的定义，那么需要哪些字段来给这些功能提供支持呢？

因为我们需要直接管理内存，所以需要一个管理内存的指针字段；

因为我们需要直接获取数组长度，所以需要一个存储数组长度字段；

因此我们的类初步是这样的：

public class MyselfArray
{
    //申请内存起始位置指针
    private IntPtr _pointer;
    //数组长度
    private int _length;
}

3、初始化Init

先想下我们平时是怎么使用数组的？

int[] array = new int[5]

我们平时写的很简单一行代码就定义好了一个指定长度的数组，但是它的背后却做了很多事。new int[5] 相当于分配了一个能存储5个整数的内存空间，并且都初始化为0。

那我们现在就自己在实现这个过程。我们首先需要申请能存放5个整数的空间，然后再初始化每个元素值，具体实现代码如下：

//初始化数组为指定长度，并元素设置默认值0
public MyselfArray Init(int capacity)
{
    //初始化数组长度为capacity
    _length = capacity;
    //分配指定字节数的内存空间
    _pointer = Marshal.AllocHGlobal(capacity * sizeof(int));
    //初始化数组元素
    for (int i = 0; i < _length; i++)
    {
        //初始化每个元素为0
        Marshal.WriteInt32(_pointer + i * sizeof(int), 0);
    }
    //返回数组
    return this;
}

以下两点需要单独说明一下。

怎么计算需要分配的字节数？因为数组中所有元素都是同类型的，这里我们是用int类型举例，所以申请的空间就是一个int类型的大小乘以数组长度即capacity * sizeof(int)。

怎么计算每个元素的位置？我们再来回顾一下这张图，因为每个元素类型是相同的，因此每个元素所占的空间大小也是相同的，因此我们可以通过下面的寻址公司计算出指定元素的内存地址。

a[i]内存地址 = a[0]内存地址 + i * 类型大小

我们代码中IntPtr _pointer就是表示分配的内存块首地址，也就是对应如图a[0]内存地址，类型大小可以通过sizeof(int)获取，所以我们就可以通过首地址指针和指定元素索引定位到具体元素，然后直接进行内存操作赋值。

这里还有一个有趣的小知识，为什么大多数语言索引都是从0开始？设想一下如果索引从1开始，上面的寻址公式为：

a[i]内存地址 = a[0]内存地址 + (i-1) * 类型大小

这样就导致每次访问数组元素都要多一步减1的操作，而对应CPU来说就是多一次减法指令，所以索引从0开始很大一部分原因就是这样可以优化性能，简化计算。

4、数组长度Length

这个比较简单直接把数组长度私有字段返回即可。

//数组长度
public int Length
{
    get
    {
        return _length;
    }
}

5、根据索引获取元素值Get

在获取元素时，我们首先需要校验索引是否有效，首先索引小于0肯定是无意义的；其次大于数组最大元素索引也是没有意义的，具体代码如下：

//根据索引获取元素
public int Get(int index)
{
    //索引小于0 或者索引大于数组长度-1 则报错
    if (index < 0 || index > _length - 1) throw new IndexOutOfRangeException();
    //读取指定索引元素值
    return Marshal.ReadInt32(_pointer + index * sizeof(int));
}

6、根据索引设置元素值Set

同样的设置元素值时，也需要校验索引有效性。

//根据索引设置元素
public void Set(int index, int value)
{
    //索引小于0 或者索引大于数组长度-1 则报错
    if (index < 0 || index > _length - 1) throw new IndexOutOfRangeException();
    //根据索引设置元素值
    Marshal.WriteInt32(_pointer + index * sizeof(int), value);
}

7、根据索引插入元素Insert

这块逻辑是目前最复杂的一个，首先需要对索引有效性校验，其次需要判断当前索引位置上是否有值，没值直接插入，有值则继续查看其后是否有空位，无空位直接报错，有空位则移动元素腾出索引处位置用于插入新元素。具体实现代码如下：

//根据索引插入元素
public void Insert(int index, int value)
{
    //索引小于0 或者索引大于数组长度-1 则报错
    if (index < 0 || index > _length - 1) throw new IndexOutOfRangeException();
    //获取索引处的值
    var v = Get(index);
    //如果索引处无值
    if (v == 0)
    {
        //直接在索引处插入新元素并返回
        Set(index, value);
        return;
    }
    //定义空位置索引
    var nullIndex = -1;
    //检查插入位置之后是否有空位
    for (int i = index + 1; i < _length; i++)
    {
        //有空位
        if (Get(i) == 0)
        {
            //记录空位置处索引，并结束检查
            nullIndex = i;
            break;
        }
    }
    //如果没找到空位，则报错
    if (nullIndex == -1)
    {
        throw new InvalidOperationException("没有可用的空位用于插入。");
    }
    //从插入位置到空位之前的元素向后移动一位
    for (int i = nullIndex; i > index; i--)
    {
        Set(i, Get(i - 1));
    }
    //在指定索引处插入新元素
    Set(index, value);
}

注：这里使用值为0判断是否为空位，因为数组初始化就是默认值0，因此使用0表示空位即还没赋值，这是我们自己的定义。实际上可能0本身也是有意义的，如果要想准确判断是否有空位还需额外的处理，这里我们只是为了理解数组核心概念而进行简单演示，不用纠结这个0判断。

8、根据索引移除元素Remove

这个方法逻辑也比较简单，先验证索引有效性，然后从要移除索引位置处开始把后面所有元素向前移动一位，最后一位则变为默认值0。

//根据索引移除元素
public void Remove(int index)
{
    //索引小于0 或者索引大于数组长度-1 则报错
    if (index < 0 || index > _length - 1) throw new IndexOutOfRangeException();
    //后面的元素（除了最后一个元素）向前移动一位
    for (int i = index; i < _length - 1; i++)
    {
        Set(i, Get(i + 1));
    }
    //最后一位设为默认值0
    Set(_length - 1, 0);
}

9、释放内存Dispose

支持数组类型基本完成，还差最后关键一步，因为内存是我们直接申请的，所以用完后还需要释放，因此我们的类需要实现IDisposable接口，并实现Dispose方法，具体方法如下：

public void Dispose()
{
    if (_pointer != IntPtr.Zero)
    {
        Marshal.FreeHGlobal(_pointer);
        _pointer = IntPtr.Zero;
    }
}

自此我们的数组类型大功告成。

通过上面方法实现我们也能发现插入元素和删除元素是很繁琐的，特别是一些特殊情况怎么处理，不同的定义就是不同的实现。比如上面的插入元素，插入后面如果有多个空位怎么办？是后面所有元素都向后移动一位，还是只用到第一个空位处向后移动一位？如果全部向后移动一位，那么如果最后一位是直接扔掉还是报错不让操作？

而且涉及到移动元素，就涉及性能问题，因此像C#语言数组本身是没有插入、删除方法的。我们这里这样定义数组，并且来实现这些方法，主要还是学习数据结构。

同时还是那句话数据结构终究还是我们人为定义出来的，我们定义有就有，我们怎么定义那么这个数据结构就是什么样子的，所以数据结构没有你像的那么难，那么难以理解。只要把关键要素理解掌握了你就会了。

注：测试方法代码以及示例源码都已经上传至代码库，有兴趣的可以看看。https://gitee.com/hugogoos/Planner

数据结构 - 数组