Код:
char *s = strdup("hello");
free(s);
printf("%s\n", s);
s[0] = 'H';
Анализ и неопределённости (ссылки на стандарт / спецификации)
- Использование памяти после её освобождения (use‑after‑free). После вызова free указатель $s$ становится висячим (dangling); любое чтение/запись по этому указателю — неопределённое поведение. Стандарт ISO C (например, C11, ISO/IEC 9899:2011) указывает, что освобожденный объект больше не доступен для обращения (см. разделы про функции управления памятью, напр. «free»).
- Вызов printf("%s\n", s) требует, чтобы аргумент был указателем на корректную нуль‑терминированную строку; передача висячего указателя — неопределённое поведение (может быть крах, мусор, утечка конфиденциальных данных и т. п.).
- Запись s[0] = 'H' после free — также неопределённое поведение (потенциальный crash или порча памяти).
- Примечание про strdup: функция strdup не является частью ISO C (она — POSIX). В переносимом коде лучше использовать malloc+strcpy или проверять наличие strdup через feature test macros / условную компиляцию (см. POSIX.1).
Предложения по исправлению и стилю управления памятью
1) Если вы хотите изменять строку и затем освободить:
- сначала используйте/изменяйте строку, затем free:
char *s = strdup("hello");
if (!s) { /* обработка ошибки выделения */ }
printf("%s\n", s);
s[0] = 'H';
printf("%s\n", s);
free(s);
s = NULL; // сбрасывать указатель после free, чтобы избежать случайного использования
Пояснения: проверка на выдачу памяти, освобождение только после завершения использования, установка в $NULL$ уменьшает шанс повторного использования висячего указателя.
2) Если строка постоянна и вам нужно изменяемое локальное представление — использовать автоматический массив (без malloc/free):
char s[] = "hello";
printf("%s\n", s);
s[0] = 'H';
printf("%s\n", s);
// нет free, память управляется автоматически
Пояснение: строковый литерал копируется в массив, можно безопасно модифицировать; нет необходимости вручную освобождать.
3) Если strdup недоступна (портируемость):
char *s = malloc(strlen("hello") + 1);
if (!s) { /* обработка ошибки */ }
strcpy(s, "hello");
... // как в (1)
free(s);
s = NULL;
4) Стиль и рекомендации:
- Явно документируйте владение памятью: кто выделяет — кто освобождает.
- Всегда проверяйте результат malloc/strdup на $NULL$.
- Не используйте указатель после free; сразу зануляйте: $s=NULL$.
- Для статических/неизменяемых строк используйте $char\ast p="text";$ только для чтения; изменение строковых литералов — неопределённо.
- Используйте инструменты (valgrind, ASAN) для обнаружения use‑after‑free и утечек.
Кратко: в исходном фрагменте — use‑after‑free при printf и при записи s[0] = 'H'. Исправление: не обращаться к s после free; либо освобождать позже, либо использовать автоматический массив, либо правильно документировать и проверять владение памятью.