为什么C只提供数组这类"低级"结构，没有字典、链表等泛型容器？

C只提供数组（语言内置）和指针/结构体（构造工具），链表、字典、树全都要自己实现或靠第三方库。这个"缺失"是有意设计，不是疏忽。

---

1. C的定位：接近硬件的通用语言

C诞生于1972年，目标是替代汇编来写操作系统（Unix）。它的设计哲学是：

"提供你需要的机制，而不是策略"（mechanism, not policy）

• 语言只给最小、可预测、零开销的构造：数组、指针、结构体、函数

• 高级抽象交给库或程序员，语言本身不掺和

字典、哈希表、动态数组这些，用数组+指针+结构体完全能实现，C选择不内置。

---

2. 关键原因逐条说

① 零开销原则（zero-cost abstraction）

C要求"你不用的东西不该让你付出代价"。

• 内置字典就要决定：哈希函数？冲突策略？扩容因子？内存分配器？

• 这些策略选择一旦写进语言，就会强加给所有程序

• C的做法：只给你砖头（数组/指针），房子怎么盖你自己定

② 没有统一的运行时/内存管理

高级容器（字典、vector）需要动态内存管理。

• C没有GC，malloc/free 是显式手动的

• 容器该用哪种分配器？谁负责释放？所有权怎么转移？

• 语言无法替你做决定，所以不内置

对比：

• Python/Java/C#：有GC和统一对象模型 → 可以内置 dict/HashMap

• C++：有构造/析构、模板、RAII → 标准库能提供 std::map、std::vector

• C：没有这些机制 → 只能靠库

③ 保持语言极小、可移植

C的核心非常小（C89关键字只有32个），这带来：

• 编译器容易实现（嵌入式、各种奇怪平台都能有C编译器）

• 语言规范稳定，程序可移植

• 若内置字典，就要定义其内存布局、ABI、行为，破坏可移植性

④ 数组已经是"最通用"的底座

几乎所有数据结构都能用数组+指针+结构体搭出来：

// 动态数组（vector）
typedef struct { int *data; size_t len, cap; } IntVec;

// 链表
typedef struct Node { int val; struct Node *next; } Node;

// 哈希表（字典）—— 本质是"数组 + 链表/开放寻址"
typedef struct Entry { char *key; int val; struct Entry *next; } Entry;
typedef struct { Entry **buckets; size_t size; } Dict;

　　C给你够用的原语，剩下的自由组合。

⑤ 避免"过度抽象"带来的性能不确定性

内置字典意味着每次操作都有固定开销模型，但不同场景需求完全不同：

• 嵌入式：不能动态分配，要静态表

• 高性能：要定制哈希、内存池、开放寻址

• 小数据：线性查找比哈希更快

内置一种实现 = 强迫所有人接受它的取舍，违反C的哲学。

---

3. 一句话总结

C不提供字典等高级类型，是因为它刻意只做"机制"不做"策略"：没有GC和统一运行时，无法安全地内置需要动态内存管理的容器；而数组+指针+结构体已足够表达一切。高级容器交给库，由程序员根据场景自由选择实现与取舍——这正是C"小而可移植、零开销、可预测"哲学的体现。