Простой способ найти неинициализированные переменные-члены

Question

Я ищу простой способ найти неинициализированные переменные-члены класса.

Обнаружение их в время выполнения или время компиляции в порядке.

В настоящее время у меня есть точка останова в конструкторе класса и поочередно проверяю переменные-члены.

Answer 1

-Wuninitialized?

(Это только проверяет, является ли переменная используется неинициализированным, т.е. если

struct Q { 
    int x, y; 
    Q() : x(2) {} 
    int get_xy() const { return x*y; } 
}; 

г ++ предупредит только тогда, когда пользователь вызывает get_xy() без присвоения y.)

Answer 2

Valgrind может сказать вам, если вы на linux.

Answer 3

Valgrind (FREE, на Linux) и Purify (на Windows) найти не-инициализируются переменные, недопустимые указатели и такие, запустив код в специальной виртуальной машине.

Это прост в использовании и чрезвычайно мощный; он, скорее всего, найдет много ошибок за пределами очевидных неинициализированных переменных.

Coverity, Klocwork и Lint могут найти неинициализированные переменные, используя статический анализ кода.

Answer 4

Если вы используете Visual Studio, вы можете скомпилировать его в режиме отладки, остановить программу в отладчике и посмотреть, какие переменные инициализируются байтами, содержащими 0xCC (стек) или 0xCD (куча).

Хотя лично я инвестировал в инструмент статического анализа для более тщательного подхода.

Answer 5

/analyze on Visual Studio («Team System»)

Answer 6

Если вы используете GCC вы можете использовать -Weffc++ флаг, который генерирует предупреждения, когда переменная не инициализируется в списке элемент инициализации. Это:

class Foo 
{ 
    int v; 
    Foo() {} 
}; 

ведет к:

$ g++ -c -Weffc++ foo.cpp -o foo.o 
foo.cpp: In constructor ‘Foo::Foo()’: 
foo.cpp:4: warning: ‘Foo::v’ should be initialized in the member initialization list 

Одним из недостатков является то, что -Weffc++ также предупредит вас, когда переменная имеет правильный конструктор по умолчанию и инициализацию таким образом, не будет необходимости. Он также предупредит вас, когда вы инициализируете переменную в конструкторе, но не в списке инициализации члена. И он предупреждает о многих других проблемах стиля C++, таких как отсутствующие конструкторы-копии, поэтому вам может понадобиться немного очистить свой код, если вы хотите регулярно использовать -Weffc++.

Существует также ошибка, которая заставляет его всегда дать вам предупреждение при использовании анонимных союзов, которые вы в настоящее время не могут работать вокруг другого, то выключая предупреждение, которое может быть сделано с:

#pragma GCC diagnostic ignored "-Weffc++" 

В целом, однако я нашел -Weffc++, чтобы быть невероятно полезным в ловле множества распространенных ошибок C++.

Answer 7

cppcheck найти это, например:

cppcheck my_src_dir --output-file=check.txt --inconclusive --enable=warning 

Answer 8

Рассмотрим следующий код

unint.cpp:

int main() 
{ 
    int a; 
    int b; 
    a++; 
    b = b + 5; 

    return 0; 
} 

Если код скомпилирован с следующим комментарием, предупреждающие сообщения должны будет отображаться.

г ++ -O3 -Wuninitialized unint.cpp

Примечание: -Wuninitialized необходим параметр -O3 также.

Answer 9

Опасайтесь! Варианты компилятора, предложенные здесь, не являются ни надежными, ни независимыми от версии. Рассмотрим простой пример:

class A { 
    int a; 
public: 
    void mA() { 
    printf("haha"); 
    ++a; 
    int g = 2/a; 
    printf("%i\n",g); 
    } 
}; 

int main() { 
    A a; 
    a.mA(); 
} 

Собран с g++ -O3 -Weffc++ -Wuninitialized эта вещь сообщает uninitialized на GCC версии до 4.6 включительно, и passess счастливо на 4.7 и 4.8 (проверено на MacPorts). Затем, с любопытством, если мы удалим printf("haha");, то как 4.7, так и 4.8 вдруг увидим uninitialized A::a. Clang немного лучше, так как он как-то присваивает мусор (вместо удобного 0) неинициализированным vars, так что вы видите их катастрофический эффект легче/раньше.

Мне не повезло, если вы заметили выше неинициализированный A::a с valgrind; возможно, предложение, предлагающее valgrind, может предоставить соответствующие варианты для обнаружения этой ошибки.

Итог: большой вопрос, не очень надежные решения на данный момент ... (как я его вижу).

Answer 10

Visual Studio (MSVC) имеет опцию/sdl (Включить дополнительные проверки безопасности) (http://msdn.microsoft.com/en-us/library/jj161081.aspx). Во время выполнения это:

Выполняет инициализацию члена класса. Автоматически инициализирует класс членов типа указателя до нуля при создании объекта (до запуска конструктора ). Это помогает предотвратить использование неинициализированных данных , связанных с членами класса, что конструктор явно не объявляет .

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

Answer 11

Clang with clang-analysis способен это сделать. Это событие создаст хороший HTML-отчет, который указывает, когда доступ к неиспользуемой переменной.