Tool zum Auffinden von C-Style-Casts

Kennt jemand ein Tool, mit dem ich explizite Umwandlungen im C-Stil im Code finden kann? Ich überarbeite C++-Code und möchte Umwandlungen im C-Stil ersetzen, wo immer dies möglich ist.

Ein Beispiel für eine Umwandlung im C-Stil wäre:

Foo foo = (Foo) bar;

Im Gegensatz dazu wären Beispiele für Umwandlungen im C++-Stil:

Foo foo = static_cast<Foo>(bar);
Foo foo = reinterpret_cast<Foo>(bar);
Foo foo = const_cast<Foo>(bar);

Wenn Sie gcc/g++ verwenden, aktivieren Sie einfach eine Warnung für Umwandlungen im C-Stil:

g++ -Wold-style-cast ...

Suche nach dem regulären Ausdruck \)\w liefert überraschend gute Ergebnisse.

Die Tatsache, dass solche Abdrücke so schwer zu finden sind, ist einer der Gründe, warum Abdrücke neuen Stils überhaupt eingeführt wurden. Und wenn Ihr Code funktioniert, scheint dies ein ziemlich sinnloses Refactoring zu sein – ich würde sie einfach in Casts im neuen Stil ändern, wenn ich den umgebenden Code ändere.

Allerdings würde die Tatsache, dass Sie überhaupt Umwandlungen im C-Stil in C++-Code haben, auf Probleme mit dem Code hinweisen, die behoben werden sollten – ich würde nicht nur eine globale Ersetzung vornehmen, selbst wenn dies möglich wäre.

Das Entladen Sie den C++-Compiler unterstützt Optionen, um alle diese Umwandlungen als Kompilierzeitfehler zu melden und die Semantik solcher Umwandlungen auf eine sicherere Äquivalenz mit static_cast zu beschränken.

Die relevanten Optionen sind:

-cp_nocstylecasts   

Der Compiler gibt bei allen Umwandlungen im C-Stil einen Fehler aus. Umwandlungen im C-Stil in C++-Code können potenziell unsicher sein und zu unerwünschtem oder undefiniertem Verhalten führen (z. B. Umwandlung von Zeigern auf nicht verwandte Struktur-/Klassentypen). Diese Option ist beim Refactoring nützlich, um all diese Umwandlungen zu finden und sie durch sicherere C++-Umwandlungen wie static_cast zu ersetzen.

-cp_c2staticcasts   

Der Compiler wendet die eingeschränktere Semantik von C++ static_cast auf Umwandlungen im C-Stil an. Das Kompilieren von Code mit dieser aktivierten Option stellt sicher, dass Umwandlungen im C-Stil mindestens so sicher sind wie statische_Umwandlungen in C++

Diese Option ist nützlich, wenn vorhandener Code eine große Anzahl von Umwandlungen im C-Stil enthält und das Refactoring jeder Umwandlung in C++-Umwandlungen zu aufwändig wäre.

Ein Tool, das den C++-Quellcode genau analysieren und automatisierte benutzerdefinierte Änderungen (z. B. Ihren Cast-Ersatz) durchführen kann, ist das DMS-Software-Reengineering-Toolkit.

DMS verfügt über einen vollständigen C++-Parser, erstellt ASTs und Symboltabellen und kann so durch Ihren Code navigieren, um Umwandlungen im C-Stil zuverlässig zu finden. Durch die Verwendung von mustergesteuerten Übereinstimmungen und Umschreibungen können Sie eine Reihe von Regeln bereitstellen, die alle derartigen Umwandlungen im C-Stil in Ihre gewünschten C++-Äquivalente konvertieren würden.

DMS wurde verwendet, um umfangreiche automatisierte C++-Reengineering-Aufgaben für Boeing und General Dynamics durchzuführen, die jeweils Tausende von Dateien umfassten.

Ein Problem bei Umwandlungen im C-Stil ist, dass sie nicht einfach zu erkennen sind, da sie auf stark überladenen Klammern beruhen. Dennoch eine Regex wie (z. B. in Python-Syntax):

r'\(\s*\w+\s*\)'

ist ein Anfang – es entspricht einem einzelnen Bezeichner in Klammern mit optionalem Leerzeichen innerhalb der Klammern. Aber das fängt natürlich nicht an, z. (void*) casts — um auch abschließende Sternchen zu erhalten,

r'\(\s*\w+[\s*]*\)'

Sie können auch mit einem optionalen beginnen const das Netz noch weiter zu verbreitern usw. usw.

Sobald Sie ein gutes RE haben, können viele Tools (von grep zu vimaus awk zu sedPlus perl, python, rubyusw.) können Sie es anwenden, um alle Übereinstimmungen in Ihrer Quelle zu identifizieren.

Wenn Sie eine Notation im ungarischen Stil verwenden (z iInteger, pPointer usw.), dann können Sie z )p und ) p usw.

Es sollte möglich sein, all diese Stellen in angemessener Zeit selbst für eine große Codebasis zu finden.