Łatwy sposób znaleźć niezainicjowane zmienne składowe

Question

Szukam łatwego sposobu na znalezienie niezainicjowanych zmiennych członkowskich klasy.

Znaleźć je w runtime lub czas kompilacji jest OK.

Obecnie mam punkt przerwania w konstruktorze klasy i sprawdzam zmienne składowe jeden po drugim.

Answer 1

-Wuninitialized?

(To tylko sprawdza, czy zmienna jest używana niezainicjowany, czyli jeśli

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

g ++ ostrzeże tylko wtedy, gdy użytkownik wywołuje get_xy() bez przypisywania do y.)

Answer 2

Valgrind można powiedzieć, jeśli jesteś na Linuksie.

Answer 3

Valgrind (darmo, Linux) i Purify (w systemie Windows) znaleźć un-zainicjowany zmienne, nieprawidłowe wskaźniki i takie, uruchamiając swój kod w specjalnej maszynie wirtualnej.

Jest łatwy w użyciu i niezwykle wydajny; prawdopodobnie wykryje wiele błędów poza oczywistymi nie zainicjowanymi zmiennymi.

Coverity, Klocwork i Lint może znaleźć niezainicjalizowane zmienne za pomocą statycznej analizy kodu.

Answer 4

Jeśli używasz programu Visual Studio, możesz skompilować go w trybie debugowania, zatrzymać program w debugerze i sprawdzić, które zmienne zostały zainicjowane na bajtach zawierających 0xCC (stos) lub 0xCD (stertę).

Chociaż osobiście zainwestowałbym w narzędzie do analizy statycznej, aby uzyskać dokładniejsze podejście.

Answer 5

/analyze on Visual Studio („System Team”)

Answer 6

Jeśli używasz GCC można użyć flagi -Weffc++, który generuje ostrzeżenia, gdy zmienna nie jest inicjowany na liście członek inicjalizacji. To:

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

prowadzi do:

$ 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 

Jednym minusem jest to, że -Weffc++ będzie również ostrzegać, gdy zmienna ma odpowiedniego inicjalizacji domyślnego konstruktora i tym samym nie byłoby konieczne. Ostrzeże Cię również, gdy zainicjujesz zmienną w konstruktorze, ale nie na liście inicjalizacji członków. I ostrzega o wielu innych problemach w stylu C++, takich jak brak konstruktorów kopiowania, więc może być konieczne oczyszczenie kodu nieco, gdy chcesz regularnie używać -Weffc++.

Istnieje również błąd, który powoduje, że zawsze daje ostrzeżenie przy użyciu anonimowych związki, które obecnie nie mogą obejść inne następnie przejście ostrzeżenie, co można zrobić z off:

#pragma GCC diagnostic ignored "-Weffc++" 

Ogólnie jednak znalazłem -Weffc++, aby był niesamowicie przydatny w łapaniu wielu typowych błędów w C++.

Answer 7

cppcheck znajdzie to, np:

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

Answer 8

Rozważmy następujący kod

unint.cpp:

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

    return 0; 
} 

Jeśli kod zostanie skompilowany z następującym komentarzem, komunikaty ostrzegawcze być wyświetlane.

g ++ -O3 -Wuninitialized unint.cpp

Uwaga: -Wuninitialized potrzebuje również opcja -O3.

Answer 9

Uwaga! Proponowane tutaj opcje kompilatora nie są ani niezawodne, ani niezależne od wersji. Rozważmy prosty przykład:

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

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

Zestawione z g++ -O3 -Weffc++ -Wuninitialized ta rzecz donosi uninitialized w wersjach gcc do 4,6 włącznie, a passess szczęśliwie na 4,7 i 4,8 (testowane na DarwinPorts). Następnie, co ciekawe, jeśli usuniemy printf("haha");, zarówno 4.7 jak i 4.8 nagle zobaczą uninitialized A::a. Clang jest trochę lepszy, ponieważ w jakiś sposób przypisuje śmieci (zamiast wygodnych 0) niezainicjowanym vars, więc widzisz ich katastrofalny efekt łatwiej/wcześniej.

Nie miałem szczęścia w wykryciu powyższego niezainicjowanego A::a z valgrind; może gentlement sugerujący, że może zapewnić odpowiednie opcje, aby wykryć ten błąd.

Konkluzja: świetne pytanie, niewiele niezawodnych rozwiązań w tej chwili ... (tak jak to widzę).

Answer 10

Visual Studio (MSVC) ma opcję kompilatora/sdl (Enable Additional Security Checks) (http://msdn.microsoft.com/en-us/library/jj161081.aspx). W czasie wykonywania:

Dokonuje inicjalizacji klasy klasy. Automatycznie inicjuje klasę elementów typu wskaźnika na zero podczas tworzenia obiektów (przed uruchomieniem konstruktora ). Pomaga to zapobiegać używaniu niezainicjowanych danych związanych z elementami klasy, które konstruktor nie inicjuje jawnie .

To nie pomoże ci wykryć niezainicjowanych zmiennych członkowskich podczas kompilacji, ale sprawi, że zachowanie stanie się bardziej przewidywalne, gdy zdarzy się w czasie wykonywania. Nie powinieneś oczywiście pisać kodu, który polega na włączeniu tej opcji.

Answer 11

Clang z clang-analyze jest w stanie to zrobić. To wydarzenie utworzy ładny raport HTML, wskazujący, kiedy dostęp do niewykorzystanej zmiennej jest możliwy.