Ответ.

Система типов в C появилась ещё на заре языка (конец 1960-х — начало 1970-х годов). Строгая статическая типизация позволяет компилятору проверять соответствие типов переменных, выражений и возвращаемых значений до этапа выполнения программы.

История вопроса:

Статическая типизация была введена, чтобы заранее предотвращать ошибки, которые могли бы быть обнаружены только во время исполнения. Со временем система типов в C постепенно усложнялась для поддержки новых платформ и стилей программирования.

Проблема:

Ошибка несоответствия типов может привести к непредсказуемым последствиям: порче памяти, неправильным вычислениям, аварийному завершению программы. Без статической проверки таких ситуаций избежать сложно.

Решение:

Код на C проверяет типы переменных и выражений на этапе компиляции. Например, нельзя присвоить указатель на int переменной типа float* без явного приведения типа. Это предотвращает множество ошибок.

Пример кода:

int x = 5;
double y = 3.14;
y = x; // неявное расширение типа int -> double
int* p = &x;
double* q = (double*)p; // допустимо, но небезопасно!

Ключевые особенности:

Контроль типов на этапе компиляции предотвращает множество ошибок исполнения.
Неявные преобразования типов возможны, но часто чреваты ошибками.
Явное преобразование (casting) используется только при необходимости и требует особой осторожности.

Вопросы с подвохом.

Почему в C можно "привести" любой указатель к void и обратно без потери информации?*

Стандарт C гарантирует, что указатель любого типа может быть приведён к void* и обратно без потери информации. Это используется, например, в функциях стандартной библиотеки (malloc, memcpy). Однако, приведение void* обратно к неверному типу приводит к неопределённому поведению.

Как происходит неявное преобразование типов при арифметических операциях между int и float?

C автоматически "продвигает" меньший по размеру тип к более широкому, обычно к double или float. Например, если складываются int и float, то int преобразуется в float перед операцией.

int a = 10;
float b = 2.5f;
float c = a + b; // a сначала преобразуется в float

Верно ли, что указатель на void нельзя разыменовывать?

Да, указатель на void указывает на данные неопределённого типа и не может быть разыменован напрямую, потому что компилятор не знает размер типа. Для разыменования необходимо привести к конкретному типу:

void* ptr = ...;
int x = *(int*)ptr;

Типовые ошибки и анти-паттерны

Использование неявных преобразований типов без понимания порядка (например, смешивание signed/unsigned, int/float)
Приведение указателей без проверки на корректность
Нарушение aliasing rules: разные типы переменных обращаются к одной и той же памяти через разные указатели

Пример из жизни

Негативный кейс

Передача указателей разных типов в функцию, принимающую void*, без последующего правильного приведения:

void print_value(void* data) {
    printf("%d
", *(int*)data); // ошибка, если data — это double*
}

double d = 1.5;
print_value(&d); // некорректно

Плюсы:

Универсальность интерфейса

Минусы:

Неопределённое поведение, трудности в поддержке и отладке

Позитивный кейс

Использование статической типизации и явных преобразований с проверкой:

void print_int(void* data) {
    if (data) {
        printf("%d
", *(int*)data);
    }
}
int value = 42;
print_int(&value);