L'ABI C++, ou comment assurer la compatibilité binaire

Bonjour,

Tous les développeurs de librairie sont confrontés à un problème quand ils proposent une nouvelle version : la compatibilité binaire. Qu'est-ce ? Le fait de pouvoir remplacer les binaires de la bibliothèque par une version plus récente, et que les applications qui l'utilisent fonctionnent encore.

Ceci n'est pas très important pour les plus petites bibliothèques, mais ça devient très important dès que la bibliothèque devient imposante et utilisée. Prenons l'exemple de Qt : recompiler un projet qui l'utilise peut prendre plus qu'un certain temps. Ce temps de recompilation est évité grâce à la compatibilité binaire assurée ! D'autres bibliothèques n'en ont cure, comme Boost : celle-ci n'a que peu d'impact en temps pour la recompilation.

Cet article se présente en deux parties :
- La compatibilité binaire ;
- Les conventions de nommage.

La première décrit une grosse partie de l'ABI C++, de l'Application Binary Interface du C++. La seconde décrit le name mangling, le nommage des symboles dans le binaire produit par le compilateur.

Ceci inclut la description de quelques plateformes : SPARC, Itanium, ARM...

Il est intéressant d'étudier les différences des implémentations des ABI C++ : elles se basent toutes sur l'ABI C, très conventionnée, mais toutes les implémentations diffèrent sur certains points, ce qui peut être utile pour comprendre certains codes, certains bugs, certaines erreurs du compilateur (concernant la virtual table, par exemple, décrite en long et en large).

Ce sont des traductions des Qt Labs Blogs, de deux posts de Thiago Macieira : Some thoughts on binary compatibility et Some thoughts on calling convention.

Voici les deux traductions en question :
Pensées sur la compatibilité binaire
Les conventions d'appel

Réagissez librement sur ces deux traductions !

Il existe un standard d'ABI pour le C++, qui est suivi par quasiment tous les compilateurs sauf celui de Microsoft.

Salut,

Je n'ai pas trop le temps de regarder plus en détails les traductions.

Pour information, dans la même thématique, dans Imperfect C++ Matthew Wilson fournit une grille (assymétrique) de compatibilité entre compilateurs sous Windows, ainsi qu'une petite étude de comment faire de la POO en se tenant à la couche ABI du C.

L'auteur a lu l'article d'Agner Fog, je considère cela comme un gage de qualité. Et ça aborde les conventions 64 bits avec plus de profondeur... (notamment, j'étais au courant qu'Itanium était totalement standardisé, mais je pensais que x86-64 aussi)

Citation:

---

Envoyé par loufoque

Il existe un standard d'ABI pour le C++, qui est suivi par quasiment tous les compilateurs sauf celui de Microsoft.

---

cela signifie t-il qu'un programme compiler avec un compilateur A peut utiliser le .lib (permettant d'attaquer une dll )compiler avec un compilateur B si et seulement si A et B respecte la même ABI ?

Salut,

Citation:

---

Envoyé par guillaume07

cela signifie t-il qu'un programme compiler avec un compilateur A peut utiliser le .lib (permettant d'attaquer une dll )compiler avec un compilateur B si et seulement si A et B respecte la même ABI ?

---

Oui...

Mais il existe (surtout dans le monde open source) des outils qui permettent de générer des bibliothèques d'importation pour les dll qu'il est impossible de recompiler de manière, justement, à être en mesure d'appliquer les bonnes conventions de nommage afin de les utiliser.

Je penses, entre autre, à l'utilitaire dlltool ;)

Au fait, une petite coquille dans le V aujourd'hui, au niveau du mangling made by micrososft... ("pensées sur la compatibilité binaires" ;))

Pendant tout le paragraphe, tu parle de QString::replace, et, va savoir pourquoi, lorsque tu récapitule, tu parles de ... QString::append :P