﻿# V711\. It is dangerous to create a local variable within a loop with a same name as a variable controlling this loop\.

В теле цикла обнаружено объявление переменной, совпадающей с переменной, используемой для контроля цикла\. В то время, как для цикла for и цикла foreach \(C\+\+11\) это может и не нести серьёзной опасности, всё равно это является нехорошим стилем программирования\. С циклами же do \{\} while и while \{\} всё намного опаснее\. Возможно случайное изменение новой переменной в теле цикла вместо изменения переменной в условии цикла\. 

Разберём пример\.

```cpp
int ret;
....
while (ret != 0)
{
  int ret;
  ret = SomeFunctionCall();
  while (ret != 0)
  {
    DoSomeJob();
    ret--;
  }
  ret--;
}
```

В данной ситуации может возникнуть вечный цикл, поскольку внешняя переменная 'ret' в теле цикла не изменяется вообще\. Очевидным решением в данном случае будет изменить имя внутренней переменной:

```cpp
int ret;
....
while (ret != 0)
{
  int innerRet;
  innerRet = SomeFunctionCall();
  while (innerRet != 0)
  {
    DoSomeJob();
    innerRet--;
  }
  ret--;
}
```

Анализатор не всегда выдаёт предупреждение V711 в случае, если видит переменную с тем же именем, что используется в теле цикла\. К примеру, следующий код не вызовет подозрений:

```cpp
int ret;
....
while (--ret != 0)
{
  int ret;
  ret = SomeFunctionCall();
  while (ret != 0)
  {
    DoSomeJob();
    ret--;
  }
}
```

Также анализатор не выдаст предупреждения в случае, если подозрительные переменные имеют явно несоответствующие друг другу типы \(к примеру, класс и указатель на int\)\. В таком случае ошибиться намного сложнее\.