Язык программирования C: обзор, история и области применения

Что такое C?

C — универсальный процедурный язык программирования общего назначения, разработанный Деннисом Ричи в Bell Labs в 1972 году для создания операционной системы UNIX. Первая реализация была на компьютере DEC PDP-11.

В 1978 году Брайан Керниган и Деннис Ричи опубликовали книгу «The C Programming Language», ставший де-факто стандартом (K&R C). В 1989 году ANSI приняла стандарт ANSI C (C89), затем ISO — ISO C90. Последующие стандарты: C99, C11, C17, C23.

Почему C важен до сих пор?

Фундамент современных систем — ядра ОС (Linux, Windows, macOS, *BSD), драйверы, встроенные системы пишутся на C.
Производительность — код на C выполняется почти так же быстро, как ассемблер, но переносим.
Низкий уровень доступа — прямая работа с памятью, указателями, битовыми операциями, регистрами железа.
Переносимость — компиляторы есть под любую архитектуру (x86, ARM, RISC-V, микроконтроллеры).
Основа для других языков — C++, Objective-C, Java, Python, Rust, Go, JavaScript движки написаны на C/C++.
Экосистема — огромное количество библиотек (OpenSSL, zlib, libpng, SQLite, FFmpeg, GTK, Qt).

Интересные факты

C был создан именно для написания UNIX — первой портативной ОС.
Преемник языка B (отсюда и название — следующая буква).
Стандартизирован ANSI в 1989 году (C89/C90).
Linux-ядро, MySQL, PostgreSQL, Redis, Nginx, Git, Python CPython — всё на C.
Стандартная библиотека минимальна — нет строк, контейнеров, GUI, сети. Всё — через библиотеки.

Сфера применения

Область	Примеры
Операционные системы	Linux, Windows Kernel, FreeBSD, Android (NDK), iOS (ядро XNU)
Встроенные системы	Микроконтроллеры (STM32, AVR, ESP32), прошивки, IoT
Системное ПО	Компиляторы (GCC, Clang), линкеры, загрузчики, утилиты
Базы данных	MySQL, PostgreSQL, SQLite, Redis
Сетевое ПО	Nginx, Apache, OpenSSL, curl, сетевые драйверы
Высокопроизводительные вычисления	HPC, научные симуляции, игровые движки (Unreal Engine — C++)
Интерпретаторы/VM	CPython, Lua, V8 (C++), JVM (C++), Ruby MRI

Пример программы

#include <stdio.h>

int main(void) {
    printf("Hello, World!\n");
    return 0;
}

Компиляция и запуск:

$ gcc hello.c -o hello
$ ./hello
Hello, World!

Особенности языка

Статическая типизация — типы известны на этапе компиляции.
Ручное управление памятью — malloc/free, нет сборщика мусора.
Указатели — прямая адресация памяти, арифметика указателей.
Препроцессор — макросы, условная компиляция, включение заголовочных файлов.
Минимализм — маленькое ядро языка, всё остальное — библиотеки.
Небезопасность — переполнение буфера, use-after-free, UB (undefined behavior) — ответственность программиста.

Современные стандарты

C99 — // комментарии, inline, restrict, VLA, <stdint.h>, <stdbool.h>, long long, complex.
C11 — многопоточность (<threads.h>), атомарные операции (<stdatomic.h>), _Generic, _Static_assert, выравнивание.
C17 — исправления дефектов C11.
C23 — typeof, nullptr, атрибуты [[...]], constexpr, улучшенные строки, удаление устаревшего.

Инструментарий

Компиляторы: GCC (GNU), Clang (LLVM), MSVC (Microsoft), ICC (Intel), TCC (Tiny C).
Сборка: Make, CMake, Meson, Bazel.
Отладка: GDB, LLDB, Valgrind (утечки памяти), AddressSanitizer.
Статический анализ: Cppcheck, Clang Static Analyzer, Coverity.

Освоение программирования на C: подробное руководство для начинающих Настройка среды разработки на C: компиляторы, редакторы и инструменты

Язык C