Les compilateurs C peuvent-ils optimiser les allocations de mémoire tas ?

Point de vue de l'optimiseur sur les allocations de mémoire de tas

Dans le domaine du C, la question se pose : un compilateur peut-il optimiser les allocations de mémoire de tas ? Examinons ce sujet intrigant.

Considérez l'extrait de code suivant :

int main()
{
    int* mem = new int[100];
    return 0;
}

Le compilateur a-t-il la liberté de supprimer le nouvel appel ? D'après nos recherches, g et Visual Studio évitent cette optimisation, tandis que clang l'adopte. Cette disparité soulève la question : le nouveau ne s'appuie-t-il pas sur des appels système sous-jacents, ce qui rend l'optimisation du compilateur peu pratique et inadmissible ?

La justification du compilateur

Pour clarifier cette énigme, nous doit reconnaître le rôle de N3664, une proposition qui permet aux compilateurs d'optimiser les allocations de mémoire. Cependant, cette optimisation a été conçue avant N3664, ce qui soulève des questions sur sa validité.

Pour répondre à cette question, nous nous tournons vers la règle du "comme si", un aspect fondamental du standard C. Cette règle permet aux implémentations de s'écarter d'exigences spécifiques tant qu'elles maintiennent le comportement observable du programme.

Comme new peut déclencher une exception, ce qui modifierait la valeur de retour du programme, la règle "comme si" semble interdire son optimisation. Cependant, le compilateur pourrait faire valoir que la gestion des exceptions est un détail d'implémentation et, dans ce cas, ne déclencherait pas d'exception. Par conséquent, éliminer le nouvel appel ne violerait pas la règle « comme si ».

De plus, la règle « comme si » s'étend à la version non lancée de new. Cependant, la présence d'un opérateur alternatif new dans une unité de traduction distincte pourrait affecter le comportement observable. Ainsi, le compilateur doit s'assurer qu'un tel scénario n'est pas présent pour effectuer cette optimisation en toute sécurité.

Approche agressive de Clang

Versions précédentes de Clang optimisées même dans de tels cas, mais plus tard les versions sont devenues plus prudentes.

En conclusion, les compilateurs disposent d'un levier pour optimiser les allocations de mémoire tas, y compris celles effectuées avec new. Cependant, cette optimisation doit respecter les nuances de la règle « comme si » et les subtilités des mécanismes de gestion des exceptions de C.

Ce qui précède est le contenu détaillé de. pour plus d'informations, suivez d'autres articles connexes sur le site Web de PHP en chinois!