# V664. Pointer is dereferenced in the member initializer list before it is checked for null in the body of a constructor.

Указатель разыменовывается в списке инициализации конструктора, а затем проверяется в теле конструктора на неравенство нулю. Это может свидетельствовать о скрытой ошибке, которая может не проявляться долгое время.

Рассмотрим пример некорректного кода:

    Layer(const Canvas *canvas) :
      about(canvas->name, canvas->coord)
    {
      if (canvas)
      {
        ....
      }
    }

При разыменовании нулевого указателя возникает неопределенное поведение, то есть дальнейшее нормальное выполнение программы становится невозможным. Для исправления ошибки следует перенести инициализацию в тело конструктора в блок кода, где указатель заведомо неравен нулю. Корректный вариант кода:

    Layer(const Canvas *canvas)
    {
      if (canvas)
      {
        about.set(canvas->name, canvas->coord);
      }
    }

Выявляемые диагностикой ошибки классифицируются согласно ГОСТ Р 71207–2024 как критические и относятся к типу: Ошибки разыменования нулевого указателя/нулевой ссылки [* см. примечание касательно языков C#, Java].

Данная диагностика классифицируется как:

CWE-476 CERT-EXP34-C

Взгляните на примеры ошибок, обнаруженных с помощью диагностики V664.