十字链表常用于表示稀疏矩阵，可视作稀疏矩阵的一种链式表示，因此，这里以稀疏矩阵为背景介绍十字链表。不过，十字链表的应用远不止稀疏矩阵，一切具有正交关系的结构，都可用十字链表存储。
1、存储方式
(a)稀疏矩阵中每个非0元素对应一个十字链表结点，每个结点的结构为
其中各字段的含意为：
row──元素在稀疏矩阵中的行号
col──元素在稀疏矩阵中的列号
val──元素值
down──指向同列中下一个非0元素结点
right──指向同行中下一个非0元素结点
(b)每行/列设一个表头结点（结构同元素结点），以down/right为链构成循环链表，即第i列头结点的down指向该列上第1个非0元素，第i行头结点的right指向该行第1个非0元素。第i列/行上最后一个结点的down/right指向该列/行的头结点。若某列/行中无非0元素，则令它的头结点down/right域指向自己。
(c)设一个总头结点（结构同元素结点），令总头结点和各个列/行头结点用val字段，按列/行序构成一个循环单链表。
(d)可令总头结点的row，col与val分别表示矩阵的最大行号、列号与非0元素个数，而down/right指向第1列/行的头结点。该总头结点可作为整个十字链表的代表。
(e)由于行与列的头结点分别使用right域与down域(不同时使用)，故第i列与第i行头结点可合用同一个头结点（对所有可能的i），以节省存储空间。
(f)有时，为了快速访问行/列头结点，设置一个一维数组headNodes[]，使headNodes[i]指向i行/列的头结点。但这并不是必须的，因为各行/列的头结点已形成了一个循环单链表，故若已知十字链表总头结点，即可搜索到任一头结点。
设有一个如下形式的矩阵，它所对应的十字链表如下图所示。
稀疏矩阵的十字链表存储表示：
#include <malloc.h>
#include <stdio.h>
/*十字链表的结构类型定义如下：*/
typedef struct OLNode
{
int row,col; /*非零元素的行和列下标*/
int value;
struct OLNode *right; /*非零元素所在行表、列表的后继链域*/
struct OLNode *down;
}OLNode, *OLink;
typedef struct
{
OLink *row_head; /*行、列链表的头指针向量*/
OLink *col_head;
int m,n,len; /*稀疏矩阵的行数、列数、非零元素的个数*/
}CrossList;
/*建立稀疏矩阵的十字链表的算法*/
void CreateCrossList(CrossList *M)
{
int m, n, t, i, j, e;
OLNode* p;
OLNode* q;
/*采用十字链表存储结构，创建稀疏矩阵M*/
scanf("%d%d%d", &m,&n,&t); /*输入M的行数,列数和非零元素的个数*/
M->m=m;
M->n=n;
M->len=t;
if(!(M->row_head=(OLink *)malloc((m+1)*sizeof(OLink))))
exit(OVERFLOW);
if(!(M->col_head=(OLink * )malloc((n+1)*sizeof(OLink))))
exit(OVERFLOW);
/*初始化行、列头指针向量，各行、列链表为空的链表*/
for(int h=0; h<m+1; h++)
{
M->row_head[h] = NULL;
}
for(int t=0; t<n+1; t++)
{
M->col_head[t] = NULL;
}
for(scanf("%d%d%d", &i,&j,&e);i!=0;scanf("%d%d%d", &i,&j,&e))
{
if(!(p=(OLNode *)malloc(sizeof(OLNode))))
exit(OVERFLOW);
p->row=i;
p->col=j;
p->value=e; /*生成结点*/
if(M->row_head[i]==NULL)
M->row_head[i]=p;
p->right=NULL;
else
{
/*寻找行表中的插入位置*/
for(q=M->row_head[i];q->right&&q->right->col<j;q=q->right); /*空循环体*/
p->right=q->right;
q->right=p; /*完成插入*/
}
if(M->col_head[j]==NULL)
M->col_head[j]=p;
p->down=NULL;
else
{
/*寻找列表中的插入位置*/
for(q=M->col_head[j];q->down&&q->down->row<i;q=q->down); /*空循环体*/
p->down=q->down;
q->down=p; /*完成插入*/
}
}
}