Kann der Compiler Heap -Speicherzuweisungen eliminieren? Compiler können den Code optimieren, einschließlich der Entfernung unnötiger Aussagen. Können Compiler Heap -Speicherzuweisungen eliminieren, die mit Neuen hergestellt wurden?

Compiler Behaviour

Forschungsergebnisse zeigen, dass verschiedene Compiler mit Heap -Allokationen mit Heap -Allokationen umgehen:

g (5.2.0). ) Optimiert den neuen Anruf auch mit vollständigen Optimierungsflags.

Gültigkeit der Optimierung

Die Gültigkeit von Compiler -Optimierungen ist ein Thema der Debatte. Einige argumentieren, dass der Compiler neue Anrufe nicht optimieren darf, da er möglicherweise ein beobachtbares Verhalten aufweist (z. B. eine Ausnahme). Andere behaupten, dass die Optimierung neuer Anrufe zulässig ist, wenn der Compiler garantieren kann, dass kein beobachtbares Verhalten betroffen ist.

c 14 Standard

n3664: Die Klärung der Speicherzuweisung klären die Regeln für Kompiliereroptimierungen und Gedächtnisverkäufe. Damit können Compiler in bestimmten Szenarien rund um Speicherzuweisungen optimieren. Die Bestimmung wurde jedoch kritisiert, da sie möglicherweise gegen die Kausalität verstößt. Operator Neue Implementierungen in verschiedenen Übersetzungseinheiten könnten die Gültigkeit von Compiler -Optimierungen im Zusammenhang mit Heap -Zuteilungen beeinflussen. Während einige Compiler diese Optimierung basierend auf N3664 implementieren, bleibt ihre Gültigkeit ein Thema der Diskussion und hängt von bestimmten Umständen ab, einschließlich des C -Standards und dem Vorhandensein von benutzerdefinierten Speicherallocatoren.