Code-Review in C++: Was prüfen und wie man Feedback für Anfänger gibt

Code-Review in C++: Was prüfen und wie man Feedback gibt

Code-Review ist einer der wichtigsten Schritte in der Softwareentwicklung. Besonders wichtig ist dies für C++, wo Fehler bei der Speicherverwaltung oder die falsche Verwendung der Standardbibliothek zu ernsthaften Problemen führen können. In diesem Artikel besprechen wir, worauf man bei der Überprüfung von C++-Code achten sollte und wie man Feedback gibt, das hilfreich und nicht verletzend ist.

Warum ist Code-Review für C++ wichtig?

C++ ist eine leistungsstarke, aber komplexe Sprache. Sie gibt dem Entwickler ein hohes Maß an Kontrolle, erfordert aber auch Sorgfalt. Typische Probleme: Speicherlecks, undefiniertes Verhalten, ineffiziente Algorithmen. Ein gutes Code-Review hilft, solche Fehler zu erkennen, bevor sie in die Produktion gelangen.

Für Anfänger ist Code-Review nicht nur eine Prüfung, sondern auch eine Lernmöglichkeit. Durch Feedback lernt man, qualitativ hochwertigeren Code zu schreiben. Durch das Durchführen von Reviews lernt man zu analysieren und zu argumentieren.

Was in C++-Code prüfen: Checkliste

Um das Review systematisch zu gestalten, verwenden Sie die folgende Checkliste.

1. Speicher- und Ressourcenverwaltung

Dies ist die Grundlage von C++. Fehler hier sind am gefährlichsten.

\n
• Werden intelligente Zeiger anstelle von rohen Zeigern verwendet? std::unique_ptr und std::shared_ptr sollten Standard sein. Rohe Zeiger sind nur zur Beobachtung (non-owning) zulässig.
\n
• Gibt es Speicherlecks? Überprüfen Sie, ob jedes new ein entsprechendes delete hat (falls keine intelligenten Zeiger verwendet werden).
\n
• Werden Ressourcen korrekt freigegeben? Dateien, Sockets, Mutexe sollten in RAII-Klassen gekapselt sein.
\n

// Schlecht: roher Zeiger und manuelle Verwaltung\nvoid process() {\n    int* data = new int[100];\n    // ... wenn hier eine Ausnahme auftritt, gibt es ein Leck\n    delete[] data;\n}\n\n// Gut: intelligenter Zeiger\nvoid process() {\n    auto data = std::make_unique<int[]>(100);\n    // Speicher wird automatisch freigegeben\n}

2. Typsicherheit und Vermeidung von undefiniertem Verhalten

C++ ist voller undefiniertem Verhalten (UB). Der Reviewer muss wachsam sein.

\n
• Gibt es einen Zugriff außerhalb der Array-Grenzen? Verwenden Sie std::array oder std::vector mit .at() anstelle von rohen Arrays.
\n
• Ist die Typumwandlung korrekt? Vermeiden Sie C-Style-Casts. Verwenden Sie bewusst static_cast, dynamic_cast, const_cast oder reinterpret_cast.
\n
• Sind alle Variablen initialisiert? Nicht initialisierte Variablen sind eine häufige Ursache für UB.
\n
• Gibt es einen Überlauf von vorzeichenbehafteten Ganzzahlen? In C++ ist dies UB.
\n

// Schlecht: C-Style-Cast und nicht initialisierte Variable\nint* p = (int*)malloc(sizeof(int));\nint x; // nicht initialisiert\n*p = x; // UB\n\n// Gut: explizite Umwandlung und Initialisierung\nint* p = static_cast<int*>(std::malloc(sizeof(int)));\nint x = 0;\n*p = x;

3. Leistung und Effizienz

Man muss nicht immer nach Geschwindigkeit streben, aber offensichtliche Engpässe sollten behoben werden.

\n
• Werden Objekte unnötig per Wert übergeben? Große Objekte sollten per konstanter Referenz (const &) übergeben werden.
\n
• Gibt es unnötige Kopien? Verwenden Sie Move-Semantik, wo es angebracht ist.
\n
• Ist der Container richtig gewählt? std::vector für schnellen Indexzugriff, std::list für häufige Einfügungen in der Mitte.
\n
• Wird eine virtuelle Funktion in einer heißen Schleife aufgerufen? Dies kann langsam sein.
\n

// Langsam: Kopieren eines großen Objekts\nvoid process(std::string s) { /* ... */ }\n\n// Schnell: Übergabe per konstanter Referenz\nvoid process(c