• 1 История
• 2 Общие сведения
• 3 Синтаксис и семантика
• 4 Типы данных
  • 4.1 Примитивные типы
    • 4.1.1 Целые числа
    • 4.1.2 Вспомогательные целочисленные типы
    • 4.1.3 Приведение целочисленных типов
    • 4.1.4 Вещественные числа
  • 4.2 Строки
    • 4.2.1 Нуль-терминированные строки
    • 4.2.2 Строковые литералы
    • 4.2.3 Широкие строки
    • 4.2.4 Многобайтовые строки
  • 4.3 Пользовательские типы
    • 4.3.1 Перечисления
    • 4.3.2 Структуры
    • 4.3.3 Объединения
    • 4.3.4 Массивы
    • 4.3.5 Синонимы типов
• 5 Препроцессор
• 6 Программирование на Си
  • 6.1 Структура программы
    • 6.1.1 Модули
    • 6.1.2 Файлы исходного кода
    • 6.1.3 Точка входа программы
  • 6.2 Работа с памятью
    • 6.2.1 Модель памяти
    • 6.2.2 Адресация памяти
    • 6.2.3 Представление в памяти
      • 6.2.3.1 Типовое представление памяти процесса в Unix-подобных ОС
  • 6.3 Обработка ошибок
    • 6.3.1 Маркеры ошибок и errno
    • 6.3.2 Возврат кода ошибки
    • 6.3.3 Ошибки в математических функциях
    • 6.3.4 Освобождение ресурсов
  • 6.4 Примеры программ на Си
    • 6.4.1 Минимальная программа на Си
    • 6.4.2 Hello, world!
    • 6.4.3 Обработка ошибок на примере чтения файла
  • 6.5 Средства разработки
    • 6.5.1 Компиляторы
    • 6.5.2 Реализации стандартной библиотеки
    • 6.5.3 Интегрированные среды разработки
    • 6.5.4 Средства модульного тестирования
    • 6.5.5 Средства отладки
    • 6.5.6 Компиляторы на динамические языки и платформы
    • 6.5.7 Дополнительные инструменты
• 7 Область применения
• 8 Языки-потомки
  • 8.1 C++
  • 8.2 Objective-C
• 9 Проблемы и критика
  • 9.1 Общая критика
  • 9.2 Недостатки отдельных элементов языка
    • 9.2.1 Примитивная поддержка модульности
    • 9.2.2 Предупреждения вместо ошибок
    • 9.2.3 Отсутствие контроля инициализации переменных
    • 9.2.4 Отсутствие контроля над адресной арифметикой
    • 9.2.5 Побуждающая к ошибкам динамическая память
    • 9.2.6 Неэффективные и небезопасные строки
    • 9.2.7 Небезопасная реализация функций с переменным числом аргументов
    • 9.2.8 Отсутствие унификации обработки ошибок
  • 9.3 Способы преодоления недостатков языка
    • 9.3.1 Средства анализа корректности кода
    • 9.3.2 Стандарты безопасного программирования
    • 9.3.3 Стандарты POSIX
• 10 См. также
• 11 Примечания
  • 11.1 Комментарии
  • 11.2 Источники
• 12 Литература
• 13 Ссылки

• простая языковая база, из которой в стандартную библиотеку вынесены многие существенные возможности, вроде математических функций или функций работы с файлами;
• ориентация на процедурное программирование;
• система типов, предохраняющая от бессмысленных операций;
• использование препроцессора для абстрагирования однотипных операций;
• доступ к памяти через использование указателей;
• небольшое число ключевых слов;
• передача параметров в функцию по значению, а не по ссылке (передача по ссылке эмулируется с помощью указателей);
• наличие указателей на функции и статические переменные;
• области видимости имён;
• структуры и объединения — определяемые пользователем собирательные типы данных, которыми можно манипулировать как одним целым.

• вложенные функции;
• прямое возвращение нескольких значений из функций;
• сопрограммы;
• средства автоматического управления памятью;
• встроенные средства объектно-ориентированного программирования;
• средства функционального программирования.

#include <stdio.h>

signed char x = -1;
unsigned char y = 0;
if (x > y) { // условие ложно
    printf("Сообщение не будет показано.\n");
}
if (x == UCHAR_MAX) {
    // условие ложно
    printf("Сообщение не будет показано.\n");
}

#include <stdio.h>

signed char x = -1;
unsigned int y = 0;
if (x > y) { // условие истинно
    printf("Переполнение в переменной x.\n");
}
if ((x == UINT_MAX) && (x == ULONG_MAX)) {
    // условие всегда будет истинным
    printf("Переполнение в переменной x.\n");
}

1. Необходимость добавления в конец строки терминального символа не даёт возможность получить подстроку без необходимости её копирования, а функций для работы с указателем на подстроку и её длиной в языке не предусмотрено.
2. Если требуется заранее выделять память под результат алгоритма на основе входных данных, каждый раз требуется обходить всю строку для подсчёта её длины.
3. При работе с большими объёмами текста подсчёт длины может оказаться узким местом.
4. Работа со строкой, которая по ошибке не терминирована нулём, может приводить к неопределённому поведению программы, в том числе к ошибкам сегментирования, ошибкам переполнения буфера и к уязвимостям.

struct string_t {
    char *str; // указатель на строку
    size_t str_size; // размер строки
};
typedef struct string_t string_t; // альтернативное имя для упрощения кода

#include <stdio.h>
#include <string.h>

int main(void)
{
    const char *s1 = "Константная строка";
    char s2[] = "Строка, которую можно менять";
    memcpy(s2, "с", strlen("с")); // замена первой буквы на маленькую
    puts(s2); // выведется текст строки
    memcpy((char *) s1, "к", strlen("к")); // ошибка сегментирования
    puts(s1); // строка не будет исполнена
}

char s[] = {'I', 'n', 'i', 't', 'i', 'a', 'l', 'i', 'z', 'e', 'r', '\0'};

const wchar_t *wide_str = L"Широкая строка";

const char *s8 = u8"Многобайтовая строка в кодировке UTF-8";
const char16_t *s16 = u"16-битная многобайтовая строка";
const char32_t *s32 = U"32-битная многобайтовая строка";

#include <stddef.h>

enum value_type_t {
    VALUE_TYPE_LONG, // целое число
    VALUE_TYPE_DOUBLE, // вещественное число
    VALUE_TYPE_STRING, // строка
    VALUE_TYPE_BINARY, // произвольные данные
};

struct binary_t {
    void *data; // указатель на данные
    size_t data_size; // размер данных
};

struct string_t {
    char *str; // указатель на строку
    size_t str_size; // размер строки
};

union value_contents_t {
    long as_long; // значение как целое число
    double as_double; // значение как вещественное число
    struct string_t as_string; // значение как строка
    struct binary_t as_binary; // значение как произвольные данные
};

struct value_t {
    enum value_type_t type; // тип значения
    union value_contents_t contents; // содержимое значения
};