ist dies möglich, dass der Compiler kompiliert und ich danach sehen kann was für ein Code erzeugt wurde ...

bsp

g++ -E -o file.ii file.cpp

quatsch, mit -E als compilerflag (Bei G++) wird der gesamte präprozessorverarbeitete code auf der standard ausgabe dargestellt

Dir ist aber hoffentlich klar, daß Templates (und dem Thread-Titel nach geht es KasF um Templates) nichts mit dem Präprozessor zu tun haben? Die kommen so wie sie sind in den Compiler und werden dann von diesem ausgewertet und instanziiert.

Klar kannst du dir den Code ansehen - du mußt das fertige Programm nur durch einen Dissasambler jagen (oder gute Kenntnisse in Maschinencode mitbringen)

Ich meinte den Code in C++

Also das kompilier:

template<class T> void func(T a) { }

func(4);
func(4.0);

Und ich dann sehe:

void func(int a) { }
void func(double a) { }

Wäre nämlich mal ganz interessant zu sehen was alles bei der TMP entsteht ...

Krux schrieb:

quatsch, mit -E als compilerflag (Bei G++) wird der gesamte präprozessorverarbeitete code auf der standard ausgabe dargestellt

Dir ist aber hoffentlich klar, daß Templates (und dem Thread-Titel nach geht es KasF um Templates) nichts mit dem Präprozessor zu tun haben? Die kommen so wie sie sind in den Compiler und werden dann von diesem ausgewertet und instanziiert.

Sorry, hab mich geirrt, es verarbeitet nur Pröprozessorbefehle mit #etc.
Hab gedacht die würden auch verarbeitet werden, deshalb hab ich grad auch noch mal getestet

aber der diassembler ist denke ich wirklich nicht nötig, denn mit -S bekommt man den Assemblercode in eine Datei geschrieben.

also so richtigen C++-Code wüsste ich jetzt nicht, aber der gcc bietet die Option "-frepo":

... Compile your template-using code with ‘-frepo’. The compiler will generate files with the extension ‘.rpo’ listing all of the template instantiations used in the corresponding object files which could be instantiated there ...

Da habe ich allerdings noch nie reingesehen, ob das was Sinnvolles/Verständliches ist.

Gruß,

Simon2.

also so richtigen C++-Code wüsste ich jetzt nicht, aber der gcc bietet die Option "-frepo":

Thx, habe ich gerade ausprobiert und dann bekomme ich undefined references vom Linker Ich mach mich dann mal weiter schlau ...

Simon2 schrieb:

also so richtigen C++-Code wüsste ich jetzt nicht, aber der gcc bietet die Option "-frepo":

Thx, habe ich gerade ausprobiert und dann bekomme ich undefined references vom Linker Ich mach mich dann mal weiter schlau ...

Hi,

naja in der Doku steht dann auch, dass ein spezieller Link(wrapp)er aufgerufen werden muss ... aber ich dachte eigentlich eher, dass Du Dir mal das rpo-File in einem Editor ansiehst.

Gruß,

Simon2.

O _Z4funcIdEvT_
O _Z4funcIiEvT_

Gruß,

Simon2.

Sorry

Musst dich doch nicht entschuldigen

ich vermute mal, den Code kann man sich deswegen nicht ansehen, weil er nicht gut erstellbar ist. Die Templates werden ja wahrscheinlich erst spät nach dem Parsen ersetzt und diese Ersetzungen finden dann halt nicht im Quellcode sondern im AST statt. Und um daraus wieder C++-Code zu schreiben müsste sich der Compiler plötzlich irgendwelche Symbolnamen aus den Fingern saugen (mal davon abgesehen, dass einige Konstrukte wie Variablendeklarationen zu diesem Zeitpunkt sowieso plattgemacht worden sind und sich an sich nicht mehr 1:1 rekonstrukieren lassen, wenn der AST nicht entsprechende Annotationen trägt).

Hallo,

ich vermute mal, den Code kann man sich deswegen nicht ansehen, weil er nicht gut erstellbar ist. Die Templates werden ja wahrscheinlich erst spät nach dem Parsen ersetzt und diese Ersetzungen finden dann halt nicht im Quellcode sondern im AST statt. Und um daraus wieder C++-Code zu schreiben müsste sich der Compiler plötzlich irgendwelche Symbolnamen aus den Fingern saugen (mal davon abgesehen, dass einige Konstrukte wie Variablendeklarationen zu diesem Zeitpunkt sowieso plattgemacht worden sind und sich an sich nicht mehr 1:1 rekonstrukieren lassen, wenn der AST nicht entsprechende Annotationen trägt).

Klingt einleuchtend. AST ?