Leitet der Typ automatisch zur Kompilierzeit oder zur Laufzeit in C++ 11 ab?

Folgendes berücksichtigen

auto a = 10;

Wann weiß der Compiler das a ist ein int, zur Kompilierzeit oder zur Laufzeit? Wenn der Typ zur Laufzeit abgeleitet wird, wirkt sich dies nicht auf die Leistung aus?

Kompilierzeit. In C++ werden Laufzeittypinformationen während der Kompilierung entfernt (ohne RTTI oder virtuelle Vererbung). Es ist tatsächlich nicht möglich, den primitiven Typ zur Laufzeit zu inspizieren.

Ich wollte nur einige Dinge hinzufügen, die in den anderen Antworten nicht angesprochen wurden.

1. Jede Deklaration muss also zur Kompilierzeit einen bekannten Typ haben auto erhält keine besondere Behandlung, es muss den Typ zur Kompilierzeit ableiten.
2. Du interpretierst irgendwie falsch, wie auto sollte benutzt werden. Ja, das kannst du auto i = 2; und es funktioniert gut. Aber eine Situation, in der Sie Auto brauchen, ist zum Beispiel ein Lambda. Ein Lambda hat keinen benennbaren Typ (obwohl Sie es einem zuweisen können std::function). Eine andere Situation, in der es nützlich ist, ist, dass es innerhalb einer Klassen- oder Funktionsvorlage extrem schwierig sein kann, den Typ bestimmter Operationen herauszufinden (manchmal vielleicht unmöglich), zum Beispiel wenn eine Funktion auf einem Vorlagentyp aufgerufen wird, kann diese Funktion je nach Typ etwas anderes zurückgeben für den angegebenen Typ kann es bei mehreren Typen im Wesentlichen unmöglich werden, herauszufinden, welcher Typ zurückgegeben wird. Sie könnten die Funktion natürlich auch einfach in a verpacken decltype um die Rendite herauszufinden, sondern an auto ist viel sauberer zu schreiben.
3. Die Leute scheinen auto ziemlich häufig für Iteratoren zu verwenden, weil ihre Typen ziemlich mühsam zu schreiben sind, aber ich bin mir nicht sicher, ob dies eine beabsichtigte primäre Verwendung ist auto

Es wird vollständig zur Kompilierzeit ausgeführt, ohne Leistungsunterschied.

auto i = 2;

kompiliert das gleiche wie

int i = 2;

Der Typ der deklarierten Variablen auto wird zur Kompilierzeit durchgeführt, was bedeutet, wenn Sie das folgende Code-Snippet haben:

auto i = 10; // i is an integer
i = 3.14; // i is still an integer, will truncate to 3

Herb Sutter (der derzeitige Verantwortliche des C++-Standardisierungskomitees) empfiehlt: „Verwenden Sie auto, wo immer es möglich ist Compiler bereits weiß. Zweitens ist es mehr als nur eine Bequemlichkeit, wenn ein Typ einen unbekannten oder unaussprechlichen Namen hat, wie z. B. der Typ der meisten Lambda-Funktionen, den Sie sonst nicht einfach oder überhaupt nicht buchstabieren könnten. (sehen diese Beitrag in seinem Blog). Die bestimmungsgemäße Verwendung von auto ist es, dem Entwickler die Arbeit zu erleichtern, also zögern Sie nicht, es zu verwenden, wann immer es passt.

C++ ist eine statisch typisierte Sprache. Typen können zur Laufzeit nicht bestimmt werden. Der Typ jedes Ausdrucks muss zur Kompilierzeit bekannt sein. Selbst wenn eine Variable als auto deklariert ist, wird ihr Typ zur Kompilierzeit festgelegt.