Нам нужно обновить счетчик через наш REST API, и мы используем JSON Patch для наших вызовов PATCH, поэтому он должен быть примерно таким:
{"op": "приращение", "путь": "/ счетчик", "значение": 1}
Проблема в том, что JSON Patch не поддерживает этот тип операции. Предполагается, что операция ADD работает только с массивами, поэтому ближайшим решением будет использование операции REPLACE для замены значения счетчика, но это может привести к проблемам, если несколько клиентов попытаются обновить счетчик одновременно.
Итак, как нам решить эту проблему и насколько неправильно было бы добавлять пользовательскую операцию, такую как приращение?