Automatisch die Anzahl der instanziierten Klassen in einem TMP zählen?

Question

Gegeben ein Template-Metaprogramm (TMP), erstellen C++ - Compiler Build-Statistiken, die die Anzahl der instanziierten Klassen zählen? Oder gibt es eine andere Möglichkeit, diese Nummer automatisch zu erhalten? So für z.B. die obiquitous faktorielles

#include <iostream> 

template<int N> struct fact { enum { value = N * fact<N-1>::value }; }; 
template<> struct fact<1> { enum { value = 1 }; }; 

int main() 
{ 
    const int x = fact<3>::value; 
    std::cout << x << "\n"; 
    return 0; 
} 

Ich möchte die Nummer 3 (seit Tatsache < 3>, Tatsache < 2>, und Tatsache < 1> instanziiert) kommen. Dieses Beispiel ist natürlich trivial, aber wann immer Sie anfangen, z.B. Boost.MPL, Kompilierzeiten explodieren wirklich, und ich würde gerne wissen, wie viel davon wegen versteckter Klasseninstanziierungen ist. Meine Frage ist in erster Linie für Visual C++, aber Antworten für gcc würde auch geschätzt werden.

EDIT: kompiliert mein aktueller sehr spröde Ansatz für Visual C++ ist das Hinzufügen des Kompilierung Wechsels von einem von Stephan T. Lavavej videos/d1reportAllClassLayout und ein grep + Wort auf der Ausgabedatei zählen zu tun, aber es (a) erhöht mal enorm und (b) die Regex ist schwer zu 100% richtig zu bekommen.

Answer 1

Ich machte eine one-line change an GCC, die es den Namen jeder Klassenvorlage ausdruckt, wie es es instanziiert. Sie können das C++ - Frontend cc1plus direkt ohne das -quiet-Flag aufrufen, um dasselbe für Funktionsvorlagen zu erhalten.

Ich bin noch nicht dazu gekommen das zu einer richtigen GCC Option zu machen, es ist nur ein Hack auf meinem eigenen Quellbaum. Ich denke darüber nach, es als Plugin zu implementieren, aber es steht nicht ganz oben auf meiner TODO-Liste.

Answer 2

Es gibt natürlich keinen tragbaren Weg, dies zu tun.

Es gibt hacky Weisen, es für die meisten Compiler zu tun. Du hast bereits eins für MSVC gefunden. Für gcc können Sie wahrscheinlich gccxml verwenden. Für jeden Open-Source-Compiler (gcc oder clang) sollte es ziemlich einfach sein, Code an der Stelle der Instanziierung hinzuzufügen, die entweder zählt oder etwas protokolliert, das nach dem Kompilieren gefiltert werden kann.

Für Clang/LLVM, können Sie einfach ein Plugin erstellen, das die Instanziierung hakt, die viel sauberer ist, aber wahrscheinlich tatsächlich mehr Arbeit.

Ein Build mit Debug-Symbolen, keine Optimierung und keine Entfernung kann mit den verfälschten Namen jeder Instanziierung enden, nach der Sie suchen können. Einige Compiler (einschließlich gcc) werden jedoch immer mindestens einige Methoden inline, ob Sie sie wollen oder nicht. Wenn Sie bereit sind, Ihren Code zu ändern, können Sie es wahrscheinlich zwingen, out-of-line instantiations zu erzeugen, vielleicht so etwas wie folgt aus:

template<int N> struct fact { 
    enum { value = N * fact<N-1>::value }; 
    int *dummy() { return &fact<N-1>::value; } 
}; 

Answer 3

Es ist ein Werkzeug von Steven Watanabe geschrieben, die verwendet werden können, zu zählen die Anzahl der Template-Instanziierungen. Sie können es erhalten here. Grundsätzlich wird der Code so geändert, dass bei jeder Instanziierung einer Klasse eine Compilerwarnung generiert wird und Sie den resultierenden Text beispielsweise mit Regex verarbeiten können.