Comment faire de la faiblesse de la relation entre travail avec GCC?

Je viens de regarder dans le présent et de pensée, d'autres pourraient être intéressés dans mes conclusions.

Faible liaison avec weak_import vraiment ne marche bien qu'avec les bibliothèques dynamiques. Vous pouvez l'obtenir pour fonctionner avec la liaison statique (en spécifiant défini dynamic_lookup comme suggéré ci-dessus), mais ce n'est pas une idée à chaud. Cela signifie qu'aucun des symboles non définis seront détectés jusqu'à l'exécution. C'est quelque chose que je voudrais éviter dans le code de production, personnellement.

Ici est un Mac OS X session de Terminal montrant comment le faire fonctionner:

Ici est f.c

int f(int n)
{
    return n * 7;
}

Ici est whatnof.c

#include <stdio.h>
#include <stdlib.h>

extern int f (int) __attribute__((weak_import));

int main() {
    if(f == NULL)
        printf("what, no f?\n");
    else
        printf("f(8) is %d\n", f(8));
    exit(0);
}

Faire une bibliothèque dynamique de f.c:

$ cc -dynamiclib -o f.dylib f.c

Compiler et lier l'encontre de la dynamique lib, liste dynamique libs.

$ cc -o whatnof whatnof.c f.dylib
$ otool -L whatnof
whatnof:
       f.dylib (compatibility version 0.0.0, current version 0.0.0)
       /usr/lib/libSystem.B.dylib (compatibility version 1.0.0, current version 125.2.0)

Exécuter whatnof pour voir ce qui se passe:

$ whatnof
f(8) is 56

Maintenant remplacer les f.dylib avec une bibliothèque vide (pas de symboles):

$ mv f.dylib f.dylib.real
$ touch null.c
$ cc -dynamiclib -o f.dylib null.c

Exécuter même whatnof pour voir ce qui se passe:

$ whatnof
what, no f?

L'idée de base (ou "cas d'utilisation") pour weak_import est qu'il vous permet de vous lier avec un ensemble de dynamiques (partagée) des bibliothèques, mais ensuite exécuter le même code par rapport à des versions antérieures de la même bibliothèque. Vous pouvez vérifier des fonctions par rapport à la valeur NULL pour voir si ils sont pris en charge dans la dynamique particulière de la bibliothèque que le code est actuellement en cours d'exécution contre. Cela semble être une partie de la base d'un modèle de développement pris en charge par Xcode. J'espère que cet exemple est utile; il a aidé à mettre mon esprit à l'aise sur cette partie de l'Xcode conception.

Vous devez définir la MACOSX_DEPLOYMENT_TARGET variable 10.2 ou une version ultérieure. Voir La documentation d'Apple et leur technote sur la faiblesse de la liaison.

Minimale exécutable Linux exemple

principal.c

#include <stdio.h>

int my_weak_var __attribute__((weak)) = 1;

int main(void) {
    printf("%d\n", my_weak_var);
}

notmain.c

int my_weak_var = 2;

De compiler et d'exécuter à la fois des objets:

gcc -c -std=c99 -Wall -Wextra -pedantic -o main.o main.c
gcc -c -std=c99 -Wall -Wextra -pedantic -o notmain.o notmain.c
gcc -std=c99 -Wall -Wextra -pedantic -o main.out main.o notmain.o
./main.out

De sortie:

2

De compiler et d'exécuter sans notmain.o:

gcc -std=c99 -Wall -Wextra -pedantic -o main.out main.o
./main.out

De sortie:

1

GitHub en amont.

Nous voyons donc que s'il est donné à notmain.o, puis le non-faible le symbole de l'emporte comme prévu.

Nous pouvons analyser la ELFE de fichier de l'objet symboles avec:

nm main.o notmain.o

qui donne:

main.o:
                 U _GLOBAL_OFFSET_TABLE_
0000000000000000 T main
0000000000000000 V my_weak_var
                 U printf

notmain.o:
0000000000000000 D my_weak_var

et puis:

man nm

contient:

Le type de symbole. Au moins l'un des types suivants sont utilisés; d'autres, en tant que bien, en fonction de l'objet de format de fichier. Si minuscules, le symbole est habituellement local; si les majuscules, le symbole est global (externe). Il y a cependant quelques minuscules symboles indiqués pour les spéciaux les symboles globaux ("u", "v" et "w").

"D"

"d" Le symbole est dans les données initialisées section.

"V"

"v" Le symbole est un objet faible. Lorsqu'un faible définis symbole est lié par un symbole, le symbole est utilisé sans aucune erreur. Lorsqu'un faible undefined symbol est lié et le symbole n'est pas définie, la valeur de la faiblesse du symbole devient zéro avec aucune erreur. Sur certains systèmes, la majuscule indique qu'une valeur par défaut a été spécifié.

Si vous traitez avec .a bibliothèques statiques cependant, vous pourriez avoir à utiliser -Wl,--whole-archive comme l'explique: Comment faire de la gcc lien très fort avec le symbole dans la bibliothèque statique pour écraser les faibles symbole?

Faible symboles peuvent également être laissés dans le vague, ce qui en Binutils conduit à la "plate-forme de comportement spécifique", voir: GCC comportement non résolues faible fonctions

Testé sur Ubuntu 18.10, GCC 8.2.0.