sodium_memcmp — Проверяет на равенство за постоянное время

Назначение sodium_memcmp

sodium_memcmp: Проверяет на равенство за постоянное время. Справочная сущность относится к разделу «Sodium». Используйте её, когда это краткое назначение совпадает с задачей приложения; фактическое поведение подтверждайте сигнатурой и проверочным сценарием ниже.

Чем отличается sodium_memcmp

Это процедурная функция раздела «Sodium». Её отличают имя sodium_memcmp, контракт «обязательные $string1, $string2» и объявленный результат int; эти три признака нужно сверять вместе при выборе похожего API.

Смысловое направление sodium_memcmp

Смысловое направление sodium_memcmp — «проверка условия». В прикладном коде используйте результат как решение конкретного условия, не как замену валидации всей модели. Контрольный набор для этой операции: проверьте истинный, ложный и некорректный по типу вход. Такой акцент отделяет sodium_memcmp от API с похожей сигнатурой, но противоположным действием или другим жизненным циклом.

Сигнатура sodium_memcmp

Структурная запись: int sodium_memcmp(#[\SensitiveParameter] string $string1, #[\SensitiveParameter] string $string2). В ней 2 параметра: обязательные $string1, $string2. Результат объявлен как int; перед переносом кода сопоставьте сигнатуру с версией PHP и составом расширений проекта.

Параметры sodium_memcmp

Порядок и роли аргументов по сигнатуре: 1. $string1 — #[\SensitiveParameter] string, обязателен; 2. $string2 — #[\SensitiveParameter] string, обязателен.

Контроль входных данных для sodium_memcmp

1) #[\SensitiveParameter] string $string1 — обязательный: разведите пустую строку, штатное значение и ввод с неожиданной кодировкой или длиной. 2) #[\SensitiveParameter] string $string2 — обязательный: разведите пустую строку, штатное значение и ввод с неожиданной кодировкой или длиной.

Результат sodium_memcmp

sodium_memcmp объявляет результат типа int. Числовой результат sodium_memcmp имеет тип int. Не назначайте специальный смысл нулю или отрицательному значению, пока он не следует из документированного контракта.

Проверочный сценарий для sodium_memcmp

Убедитесь, что раздел «Sodium» доступен в целевой сборке PHP. Сначала выполните контрольный вызов с обязательным набором #[\SensitiveParameter] string $string1, #[\SensitiveParameter] string $string2. Необязательных аргументов в этой сигнатуре нет, поэтому меняйте только состояние окружения. Для профиля «безопасность» важно не записывать секреты и исходные ключи в журнал; негативный сценарий должен проверить неверный ключ, повреждённые данные и отказ операции.

Интеграция sodium_memcmp в проект

Проверку доступности sodium_memcmp и преобразование входных значений разместите у границы модуля «Sodium». Для профиля «безопасность» вынесите обработку отказа в одну ветку и добавьте к журналу имя операции, версию PHP и безопасные метаданные входа. Не применяйте оператор @: он скрывает диагностический сигнал, необходимый для разбора сбоя. Повторный вызов разрешайте только после явной проверки, что операция sodium_memcmp не создаёт нежелательный повторный эффект в вашем сценарии.

Диагностика sodium_memcmp

Сначала запишите точную сигнатуру int sodium_memcmp(#[\SensitiveParameter] string $string1, #[\SensitiveParameter] string $string2) и фактические типы переданных значений. Затем подтвердите загрузку расширения «Sodium» в той же среде, где выполняется sodium_memcmp. Если результат неожиданен, сравните его тип с int и воспроизведите вызов на минимальном входе без подавления предупреждений. После исправления повторите штатный и граничный сценарии, чтобы исключить маскировку ошибки случайным успешным результатом.

Границы применения

Для категории «безопасность» применяйте отдельный негативный тест: проверить неверный ключ, повреждённые данные и отказ операции. В production-коде важно не записывать секреты и исходные ключи в журнал. Исходные предупреждения и примечания не копируются на эту страницу: перед решением, влияющим на совместимость или безопасность, сверяйте поведение в целевой версии PHP.

Когда выбирать sodium_memcmp

Выбор sodium_memcmp оправдан, когда одновременно выполнены три условия: 1) в сборке доступно расширение «Sodium»; 2) сигнатура содержит 2 аргумента: обязательных 2, необязательных 0; 3) вызывающему коду нужен результат int и действие «проверка условия». Для профиля «безопасность» до интеграции отдельно подтвердите применимость правила: «undefined». Если хотя бы один пункт не выполняется, сравните контракт с sodium_crypto_aead_aes256gcm_is_available: у него другое назначение, владелец или набор входных данных.

Сравнение sodium_memcmp с соседними API

Для sodium_memcmp базовый ориентир: проверяет на равенство за постоянное время; обязательные $string1, $string2; результат int. Сопоставление с опубликованными соседями: sodium_crypto_aead_aes256gcm_is_available: проверяет, поддерживает ли оборудование алгоритм aes256-gcm; вход — аргументов нет; результат — bool. sodium_crypto_auth_verify: проверяет, допустим ли тег для сообщения; вход — обязательные $mac, $message, $key; результат — bool. sodium_crypto_pwhash_str_verify: проверяет соответствие пароля хешу; вход — обязательные $hash, $password; результат — bool. Выбор делайте по различиям владельца, контракта и жизненного цикла, а не по сходству имени.

Версии и ограничения

sodium_memcmp сверена по закреплённой ревизии php/doc-ru. Перед обновлением PHP повторите тесты типов, предупреждений и граничных значений для этой сущности. Не переносите выводы между версиями без повторного запуска минимального воспроизводимого примера для sodium_memcmp.

Связанные материалы