吃透《数据结构》C 语言版：线性表的类型定义详解

原创于 2025-09-01 21:55:09 发布 · 587 阅读

CC 4.0 BY-SA版权

文章标签：

7 篇文章

订阅专栏

作为数据结构的入门章节，线性表就像 “地基” 一样重要，而第二章 2.3 节的 “线性表的类型定义”，更是理解后续操作（插入、删除、查找等）的核心前提。今天就结合自己的学习笔记，用通俗的语言拆解这个知识点，帮大家避开 “死记硬背定义” 的坑。

刚开始学的时候我有个疑问：直接用数组存数据不就行了吗？为啥还要专门给线性表下 “类型定义”？后来才明白 ——类型定义是给线性表 “定规矩”：

比如我们要存一个班级的学生成绩，“线性表” 是抽象概念，但具体到代码里，要明确：

没有这个 “规矩”，后续写代码时很容易混乱（比如一会儿用数组存，一会儿用链表存，操作逻辑不统一）。而 “类型定义” 就是把这些规矩标准化，让线性表从 “模糊概念” 变成 “可落地的代码模板”。

教材里用 “抽象数据类型（ADT）” 来定义线性表，这部分是重点，但不用怕 “抽象” 两个字 —— 其实就是用 “伪代码” 描述线性表的 “三大要素”：数据对象、数据关系、基本操作。

ADT List {

数据对象：D = {a_i | a_i ∈ ElemSet, i=1,2,...,n, n≥0}

数据关系：R = {<a_{i-1}, a_i> | a_{i-1}, a_i ∈ D, i=2,...,n}

基本操作：

InitList(&L) // 初始化：构造一个空的线性表L

DestroyList(&L) // 销毁：释放线性表L的内存

ListEmpty(L) // 判断空：若L为空，返回TRUE，否则FALSE

ListLength(L) // 求长度：返回L中元素的个数

GetElem(L, i, &e) // 取元素：用e返回L中第i个元素的值

LocateElem(L, e, compare()) // 定位：返回e在L中第一个出现的位置

PriorElem(L, cur_e, &pre_e) // 求前驱：用pre_e返回cur_e的前驱

NextElem(L, cur_e, &next_e) // 求后继：用next_e返回cur_e的后继

ListInsert(&L, i, e) // 插入：在L的第i个位置插入元素e

ListDelete(&L, i, &e) // 删除：删除L的第i个元素，用e返回其值

TraverseList(L, visit()) // 遍历：对L中每个元素调用visit()操作

} ADT List

D = {a_i | a_i ∈ ElemSet, i=1,2,...,n, n≥0}

翻译：线性表里的每个元素（a₁、a₂…aₙ）都属于同一个 “元素集合”（ElemSet），比如都是 int 型、char 型，或者自定义的结构体（比如学生信息）。

R = {<a_{i-1}, a_i> | a_{i-1}, a_i ∈ D, i=2,...,n}

这部分是后续代码实现的 “蓝图”，每个操作都要注意两个点：

参数带不带 &（地址）：带 & 表示 “要修改这个参数的值”（比如 InitList (&L) 要初始化 L，DestroyList (&L) 要释放 L 的内存）；不带 & 表示 “只读取值，不修改”（比如 ListLength (L) 只返回长度）。

操作的 “前置条件” 和 “后置条件”：比如 ListInsert (&L, i, e) 的前置条件是 “L 已存在，且 1≤i≤ListLength (L)+1”，后置条件是 “L 的长度加 1，第 i 个位置变成 e”—— 这些条件决定了代码里要加哪些判断（比如插入前要检查 i 的范围，否则会越界）。