C Programming Language

Ctime: 2025-12-31  |  Mtime: 2026-06-24  |  Author: ljf12825

C语言是从B语言和BCPL演化而来，最初由Dennis Ritchie于1972年至1973年在贝尔实验室开发，用于构建运行在Unix系统上的实用程序。它被用于Unix内核重写并于1973年完成。1980s，C语言逐渐流行起来
C语言的设计理念是让程序员能够相对直接地访问典型CPU架构的特性，并针对目标指令集进行定制
C语言较少用于现代业务应用层开发，但仍广泛存在于基础设施和性能敏感的软件中，如SQLite, Redis, nginx, CPython解释器，Linux kernel等
C语言是一种命令式过程语言，支持结构化编程、词法变量作用域和递归，并采用静态类型系统。它的设计初衷是被编译后提供对内存的底层访问以及能够高效映射到机器指令的语言结构，且这一过程仅需要极少量的运行时支持
尽管C语言具备底层功能，但其设计理念是鼓励跨平台编程。一个符合标准且注重可移植性的C程序，只需对源代码进行少量更改，即可编译到各种计算机平台和操作系统上
由C语言的原属设计者参与编写的*The C Programming Language(K&R)*一书多年来一直是该语言的事实标准

演化

1. 1969-1978

  • BCPL -> B -> C (Ken Thompson -> Dennis Ritchie)
    • 写一个可移植的OS（UNIX）
    • 汇编太过痛苦，需要“高级语言，但贴着硬件”
    • 语言要能直接操作内存 于是，C被发明
  • 语法来自B（更像脚本）
  • 类型系统来自BCPL（弱类型 -> 强类型演化）
  • 指针是C的灵魂（机器抽象）
  • 数组和指针关系是“设计而非巧合”

C的核心哲学：用尽可能简单的语言构建尽可能复杂的系统

2. K&R C (K&R 1e : 1978, K&R 2e : 1988)

这是C的黄金起点
特点：

  • 没有函数原型
  • 隐式int
  • 标准库还在发展
  • 行为大量依赖实现

但这个版本已经足够写

  • UNIX V6/V7
  • C语言编译器本身
  • 整个UNIX工具链

现代C语言大部分核心语法和编程模型都继承自K&R时期

3. ANSI C / C89 / C90 ：第一次标准化（1989-1990）

这是C演化史上最关键的一步，此时UNIX已经传播到全球，如果不标准化会出现不同机器有不同C语言、库、ABI、调用约定会混乱、代码无法移植等问题
因此ANSI C 诞生

新增关键内容

  • 函数原型（Function Prototype） 彻底改变类型检查
  • 标准库定义（stdio, string, stdlib） 解决“每个系统自己写库”的混乱
  • 严格语义模型
    • 定义未定义行为（UB）
    • 明确整数提升、序列点
  • 标准化了头文件，extern声明、库接口等工程实践

其影响至今存在，现代C 90%的基础都来自C89

4. C99：现代化大更新（1999）

这是第二个重大版本，旨在提升工程能力
核心新增

  • //单行注释 改变整个C代码风格
  • inline 为高性能代码铺路
  • 新类型
    • long long
    • _Bool
    • stdint.h（可移植定宽类型）
  • 可变长数组（VLA）
  • 新的语法与特性
    • restrict（指针别名优化）
    • 复合字面量{}初始化
    • 灵活数组成员
  • 改进的浮点处理（更复合IEEE 754）

5. C11：引入并发（2011）

核心新增

  1. C语言正式引入内存模型（Memory Meodel）提供：
    • 原子类型（_Atomic）
    • 顺序语义（memory order）
    • 线程库（<threads.h>）
    • data race
    • happens-before

这是现代编译器优化的基石

  1. 可选的bounds-checking库（没流行）
  2. 更好的Unicode支持

C11的目标：让C在多核时代继续可信

6. C17（C18）：维护版（2017-2018）

本质是C11的bugfix版本
没有新特性，主要

  • 规范更严谨
  • 错误修复
  • 兼容性增强

7. C23（2023）：现代化增强

这是C的一次大更新，也是一次“温和现代化”
核心增强

  1. 改进可用性与便利性
    • nullptr
    • char8_t
    • 新的格式化函数
  2. 新的类型推导工具
    • typeof
    • _Generic扩展增强（泛型选择）
  3. 改进内存与安全性
    • 更明确的UB限制
    • 安全库函数进一步规范
  4. 统一语言规范与现代编译器行为

C23让C更“工程化”，但仍保持稳定

C语言演化背后的核心逻辑

  1. C是“机器级可移植抽象” 它本职是给：内核，编译器运行时，嵌入式系统，驱动，游戏引擎底层，网络栈提供的一个统一的低级语言

  2. C的演化以“ABI不可破坏”为前提 这决定了它不能乱加语法糖

  3. C的演化被“三大力量”驱动

    • UNIX/POSIX生态
    • 现代硬件模型
    • 编译器优化技术（LLVM, GCC）

C Undefined Behavior

这是现代C语言的核心，UB泛指没有被标准定义的行为，比如

int a[3];
a[10] = 1;

编译器可以：

  • 假设不会发生
  • 删除代码
  • 重排指令

这是现代C性能的来源

C语言陷阱

C语言的类型系统陷阱

数据对齐与内存布局

宏与预处理器的边界

C语言的模块化缺失与现代构建挑战

C语言采用的是50年前的“分离编译模型”

是否选择C语言

几乎所有语言都在

  • 控制力/性能
  • 安全性
  • 开发效率/抽象

三者之间做权衡，C语言也不例外

何时选择C语言

当项目具备以下一个或多个特征时，C语言往往是最优解：

  • 需要与硬件直接打交道：比如写操作系统内核、驱动程序、单片机(MCU)或嵌入式系统固件。C语言能直接操作内存地址和寄存器，生成的机器码也非常“贴近”硬件
  • 依赖高性能：比如游戏引擎的核心渲染部分、高频交易系统、加解密算法、图形/音视频编解码库。C语言运行时几乎零开销，手工优化内存和指令的潜力巨大
  • 内存极度受限：在只有几十KB内存的物联网设备上，C语言的精细控制力可以榨干每一点硬件性能
  • 构建系统的基石与桥梁：编程语言的解释器/虚拟机（如Python的CPython）、大型系统的核心库、定义跨语言调用的标准接口（如FFI）时，C语言是事实上的标准
  • 需要机制稳定的工业标准：比如汽车电子、航空航天、医疗设备等领域。C语言历史悠久、编译器成熟，有着经过数十年验证的代码安全认证标准（如MISRA C）
  • 维护和扩展历史代码：接受运行了二三十年的Unix/Linux基础设施、数据库、通信系统等核心项目

为什么选择C语言

原因根植于它“可移植的汇编语言”这一独特定位

  • 无与伦比的效率：它的哲学是“信任程序员”，不做数组越界等检查，把控制权完全交给开发者，几乎没有额外性能开销
  • 强大的硬件操控力：最核心的武器就是指针，让开发者能直接读写指定的内存地址和硬件端口，这是多数高层语言做不到的
  • 极致的可移植性：几乎所有硬件平台，从超级计算机到微控制器，首先支持的都是C编译器。一套符合标准的C代码，几乎可以运行在任何地方
  • 扮演核心基础设施角色：操作系统API、底层库都是C语言定义的，这就形成了一个牢固的生态，要与其他语言交互，首先得能用C
  • 简洁且稳定：语言核心小且标准更新谨慎，为严肃的基础软件项目提供了长期的稳定性

为什么不选C语言

在以下场景中，用C可能会事倍功半：

  • 快速开发业务软件：Web后端、桌面GUI，常用Python、Java等更高效
  • 内存安全问题敏感的项目：手动管理内存极易出错，难以避免缓冲区溢出等漏洞，这类场景Rust是更好的替代
  • 涉及复杂的字符串处理：用C做文本处理，效率极低且易出错