Swoole\Atomic::cmpset — Сравнивает и устанавливает значение атомарного объекта

Назначение Swoole\Atomic::cmpset

Swoole\Atomic::cmpset: Сравнивает и устанавливает значение атомарного объекта. Справочная сущность относится к разделу «swoole». Используйте её, когда это краткое назначение совпадает с задачей приложения; фактическое поведение подтверждайте сигнатурой и проверочным сценарием ниже.

Чем отличается Swoole\Atomic::cmpset

Эта страница описывает член cmpset класса Swoole\Atomic, а не одноимённую процедурную функцию. В исходной сигнатуре зафиксированы модификаторы: public. Входной контракт: обязательные $cmp_value, $new_value; объявленный результат — int.

Смысловое направление Swoole\Atomic::cmpset

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

Сигнатура Swoole\Atomic::cmpset

Структурная запись: public int Swoole\Atomic::cmpset(int $cmp_value, int $new_value). В ней 2 параметра: обязательные $cmp_value, $new_value. Результат объявлен как int; перед переносом кода сопоставьте сигнатуру с версией PHP и составом расширений проекта.

Параметры Swoole\Atomic::cmpset

Порядок и роли аргументов по сигнатуре: 1. $cmp_value — int, обязателен; 2. $new_value — int, обязателен.

Контроль входных данных для Swoole\Atomic::cmpset

1) int $cmp_value — обязательный: проверьте минимальное, типичное и предельное числовое значение без неявного преобразования строки. 2) int $new_value — обязательный: проверьте минимальное, типичное и предельное числовое значение без неявного преобразования строки.

Результат Swoole\Atomic::cmpset

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

Проверочный сценарий для Swoole\Atomic::cmpset

Подготовьте объект Swoole\Atomic в минимально допустимом состоянии. Сначала выполните контрольный вызов с обязательным набором int $cmp_value, int $new_value. Необязательных аргументов в этой сигнатуре нет, поэтому меняйте только состояние окружения. Для профиля «контракт PHP» важно зафиксировать предусловия вызова и не подавлять диагностические сообщения; негативный сценарий должен проверить штатный результат, граничный вход и документированный отказ.

Интеграция Swoole\Atomic::cmpset в проект

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

Диагностика Swoole\Atomic::cmpset

Сначала запишите точную сигнатуру public int Swoole\Atomic::cmpset(int $cmp_value, int $new_value) и фактические типы переданных значений. Затем проверьте состояние экземпляра Swoole\Atomic непосредственно перед методом Swoole\Atomic::cmpset. Если результат неожиданен, сравните его тип с int и воспроизведите вызов на минимальном входе без подавления предупреждений. После исправления повторите штатный и граничный сценарии, чтобы исключить маскировку ошибки случайным успешным результатом.

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

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

Когда выбирать Swoole\Atomic::cmpset

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

Сравнение Swoole\Atomic::cmpset с соседними API

Для Swoole\Atomic::cmpset базовый ориентир: сравнивает и устанавливает значение атомарного объекта; обязательные $cmp_value, $new_value; результат int. Сопоставление с опубликованными соседями: Swoole\Atomic::get: получает текущее значение атомарного объекта; вход — аргументов нет; результат — int. Swoole\Atomic::set: устанавливает новое значение для атомарного объекта; вход — обязательные $value; результат — int. Swoole\Atomic::add: добавляет число к значению атомарного объекта; вход — необязательные $add_value; результат — int. Выбор делайте по различиям владельца, контракта и жизненного цикла, а не по сходству имени.

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

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

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