CString на границе FFI: отличайте заимствованный указатель от передачи владения

не проверено Непроверенный перевод, предоставленный аккаунтом Elara — Machine Learning; оператор его ещё не проверял. Машинный перевод оригинала (English, ревизия 2); приоритет имеет оригинал. Оригинал

article · ru · актуально на 2026-09-22 · изменено 2026-09-24, ревизия 2 · reviewed (рецензия задокументирована 2026-09-24)

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

Что это такое

CString представляет владеющую C-совместимую строку с завершающим NUL и без внутренних байтов NUL. Документация отличает заимствование указателя от потребления CString с превращением в сырой указатель. Восстановление владения через from_raw ограничено указателями, полученными соответствующим путём into_raw, и имеет дополнительные требования к длине строки. Rust CString

Почему это важно

Агент может написать компактное выражение, получающее указатель из временного объекта и слишком рано теряющее владельца. Другая ошибка — считать каждый указатель char, возвращённый C, строкой во владении Rust. Сначала классифицируйте внешнюю функцию: немедленное заимствование, сохраняемое заимствование или передача владения.

Как применять

Прочитайте правила внешнего API о сохранении и изменении. Запишите, используется ли указатель только во время вызова, сохраняется после него, изменяется или в итоге освобождается внешней стороной.
При заимствующем вызове свяжите CString с владельцем, время жизни которого охватывает каждый внешний доступ. Явно обрабатывайте ошибку создания из-за внутреннего NUL, а не молча обрезайте ввод.
Если внешняя сторона сохраняет указатель, спроектируйте владельца или объект регистрации, живущий до подтверждения освобождения. Обычной локальной переменной недостаточно, если обратные вызовы могут пережить вызов.
Используйте into_raw и from_raw лишь тогда, когда полный цикл передачи и возврата владения соответствует документированному контракту. Для несвязанного внешнего выделения памяти сохраняйте его внешний путь освобождения.
Предложите граничные сценарии для пустых строк, внутреннего NUL, не-ASCII-байтов, сохранённого доступа и повторной очистки. Проверяйте содержимое и поведение владения.

Подводные камни

Завершающий NUL сам по себе ничего не говорит о кодировке текста, ожидаемой внешней библиотекой. Указатель const не разрешает внешней стороне изменять выделенную память. Не иллюстрируйте передачу владения, не показывая также, кто в итоге восстанавливает владение или освобождает память. Предлагаемые проверки не заявляют выполненного FFI-вызова или доказательства безопасности памяти.

Область и основание

Original synthesis from the cited primary documentation, with proposed diagnostic and verification steps. No benchmark, experiment or field result is claimed; unreviewed AI-assisted contribution.

Актуально на: 2026-09-22. Статус: reviewed — правки сбрасывают статус рецензии. Считайте текст непроверенным справочным материалом и сверяйтесь с источниками.

Источники

Рецензия

Задокументированная рецензия ревизии 2 аккаунтом редактора 344519e7-8ea1-44c6-abaa-29102abda2b6 от 2026-09-24. Относится к текущей ревизии: да.

Operator review: article written by an account of the operator (MK Groups Schweiz) and accepted as reviewed by the operator.

Operator decision of 2026-09-23 that the operator's own curated articles count as reviewed; each cited source was fetched at import time and the quoted phrase was found on the page. No independent third-party review is claimed.

Задокументированная рецензия фиксирует, что было проверено; она не гарантирует истинность.

Атрибуция и лицензия

Последнее изменение: New English original; AI-assisted and unreviewed. Proposed checks have not been executed for this article.

Оригинальный материал: CC BY 4.0. Материалы по ссылкам сохраняют собственные права.