# Как PVS\-Studio защищает от поспешных правок кода, пример N4

Если регулярно использовать статический анализатор кода, то можно сократить время на гадание, почему новый код работает как\-то не так, как задумывалось\. Рассмотрим очередную интересную ошибку, когда в процессе рефакторинга сломалась функция и это осталось не замеченным человеком\.

![0924_Blender_prevents_rash_code_changes_N4_ru/image1.png](https://import.viva64.com/docx/blog/0924_Blender_prevents_rash_code_changes_N4_ru/image1.png)

Думал сделать перерыв в серии маленьких заметок про то, как анализатор [PVS\-Studio](https://pvs-studio.ru/ru/pvs-studio/) оперативно находит ошибки в новом коде\. Но, увидев в почте отчёт от системы автоматической проверки проекта [Blender](https://github.com/blender/blender), не выдержал\. Предлагаю вашему вниманию очередную простую, но именно из\-за этого красивую ошибку\.

Итак, жил\-был вот такой код для обработки вектора значений\. Суть — не дать значениям выходить за определённый диапазон\.

```cpp
#define CLAMP(a, b, c) \
  { \
    if ((a) < (b)) { \
      (a) = (b); \
    } \
    else if ((a) > (c)) { \
      (a) = (c); \
    } \
  } \
  (void)0

template <typename T> inline T
clamp(const T &a, const bT &min_v, const bT &max_v)
{
  T result = a;
  for (int i = 0; i < T::type_length; i++) {
    CLAMP(result[i], min_v, max_v);
  }
  return result;
}
```

И было всё хорошо\. А потом программист решил, что нет смысла использовать самодельный макрос _CLAMP_, а лучше воспользоваться стандартной функцией [_std::clamp_](https://en.cppreference.com/w/cpp/algorithm/clamp)\. И в [коммите](https://github.com/blender/blender/commit/399168f3c13fadb41c9fbec8a1b5c56cb6609343), призванном сделать мир лучше, код стал таким:

```cpp
template <typename T, int Size>
inline vec_base<T, Size>
  clamp(const vec_base<T, Size> &a, const T &min, const T &max)
{
  vec_base<T, Size> result = a;
  for (int i = 0; i < Size; i++) {
    std::clamp(result[i], min, max);
  }
  return result;
}
```

Вот только поспешил\. Видите ошибку? Возможно, видите, возможно, нет\. В любом случае, программист, написавший этот код, явно не заметил, что код сломался\.

Зато дотошный статический анализатор кода PVS\-Studio тут как тут с сообщением:

\[CWE\-252\] [V530](https://pvs-studio.ru/ru/docs/warnings/v530/): The return value of function 'clamp' is required to be utilized\. BLI\_math\_vector\.hh 88

Дело в том, что функция [_std::clamp_](https://en.cppreference.com/w/cpp/algorithm/clamp) не меняет значение элемента в контейнере:

```cpp
template <class T>
constexpr const T&
clamp( const T& v, const T& lo, const T& hi );
```

Макрос _CLAMP_ раньше изменял значение, а стандартная функция нет\. Поэтому теперь код сломан и ждёт, когда кто\-то заметит проявление ошибки и пойдёт искать её причину\. Такую ошибку можно было бы заметить и исправить ещё на этапе написания кода, если бы использовался PVS\-Studio\. Не будьте как разработчики Blender :\)\. Используйте статический анализ кода на регулярной основе\. И вы сэкономите свои силы и время\.

Примечание\. Кстати, рядом в коде есть ещё одно неправильное использование _std::clamp_\.

Правильный вариант кода:

```cpp
template <typename T, int Size>
inline vec_base<T, Size>
clamp(const vec_base<T, Size> &a, const T &min, const T &max)
{
  vec_base<T, Size> result = a;
  for (int i = 0; i < Size; i++) {
    result[i] = std::clamp(result[i], min, max);
  }
  return result;
}
```

Спасибо за внимание\. И, если ещё не видели, заглядывайте почитать про [топ\-10 ошибок](https://pvs-studio.ru/ru/blog/posts/cpp/0901/) в C\+\+ открытых проектах, которые мы нашли за 2021 год\.