# V3110\. Possible infinite recursion\.

Анализатор обнаружил, что может возникать бесконечная рекурсия\. Скорее всего это приведет к переполнению стека вызовов и возникновению исключения Stack Overflow\.

Рассмотрим пример\. Пусть у нас имеется свойство 'MyProperty' и поле '\_myProperty', связанное с ним\. Из\-за опечатки можно допустить следующую ошибку:

```cpp
private string _myProperty;
public string MyProperty 
{
  get { return MyProperty; } // <=
  set { _myProperty = value; }
}
```

При указании возвращаемого значения в методе доступа свойства, вместо поля '\_myProperty' было указано свойство 'MyProperty', что приводится к возникновению бесконечной рекурсии при получении значения у свойства\. Корректный код должен выглядеть так:

```cpp
private string _myProperty;
public string MyProperty 
{
  get { return _myProperty; }
  set { _myProperty = value; }
}
```

Рассмотрим второй пример:

```cpp
class Node 
{
  Node parent;
  public void Foo() 
  {
    // some code
    parent.Foo(); // <=
  }
}
```

Вероятнее всего программист хотел рекурсивно обойти все поля 'parent', но не предусмотрел условия выхода из рекурсии\. Эта ситуация более интересная: здесь может возникнуть не только переполнение стека, но и доступ по нулевой ссылке, когда мы дойдём до самой верхней родительской сущности\. Корректный код мог бы выглядеть так:

```cpp
class Node 
{
  Node parent;
  public void Foo() 
  {
    // some code
    if (parent != null)
      parent.Foo();
  }
}
```

Рассмотрим третий пример\. Пусть у нас имеется метод с конструкцией 'try \- catch \- finally'\.

```cpp
void Foo()
{
  try
  {
    // some code;
    return;
  }
  finally
  {
    Foo(); // <=
  }
}
```

Вероятнее всего программист не учел, что блок 'finally' будет выполнен как в случае возникновения исключения внутри блока 'try', так и в случае выхода из метода оператором 'return'\. Таким образом блок 'finally' всегда будет выполнять рекурсивный вызов метода 'Foo'\. Для корректного выполнения рекурсии необходимо реализовать условие перед выполнением метода\. К примеру корректный код мог бы выглядеть так:

```cpp
void Foo()
{
  try
  {
    // some code;
    return;
  }
  finally
  {
    if (condition)
      Foo();
  }
}
```