C++ Extern/Définitions multiples

Question

J'essaie de m'adapter à Ada en C++ en utilisant des externes. Quelle est la différence entre ces deux implémentations?

Application A

namespace Ada 
{ 
    extern "C" 
    { 
     int getNumber(); 
     int index; 
     int value; 
    } 
} 

mise en œuvre B

namespace Ada 
{ 
    extern "C" 
    { 
     int getNumber(); 
    } 
    extern "C" int index; 
    extern "C" int value; 
} 

Les deux implémentations compiler très bien. Mais Impl-A ne parvient pas à lier, j'obtiens une erreur de définition multiple pour index et valeur. J'essaie juste de comprendre les différences.

Answer 1

extern "C" ne véhicule que les conventions de liaison à utiliser le code dans le bloc extern "C". Tout ce qui est dans ce bloc sera lié comme s'il était pur c. Confusingly, extern int est totalement différent. Cela signifie que vous promettez qu'il existe un index nommé int réel et une valeur int réelle nommée quelque part, mais ils ne peuvent pas être trouvés ici. Dans votre implémentation-A les ints ne sont en fait pas extern dans le second sens - l'extern "C" implique seulement qu'ils fournissent une convention de liaison c stricte.

Même mot-clé mais utilisations totalement différentes, ce qui est regrettable car cela conduit à des problèmes étranges comme celui-ci. Les mélanger est légal (évidemment), mais ils ne se comportent pas comme leur nom l'indique.

EDIT

Voir la réponse de Charle pour la vraie définition de la bizarrerie extern tel que défini dans la norme C++.

Answer 2

Je ne sais pas pourquoi les secondes œuvres, mais vous voulez

namespace Ada 
{ 
    extern "C" 
    { 
     int getNumber(); 
     extern int index; 
     extern int value; 
    } 
} 

parce que vous voulez seulement déclare index et value, non définissent eux. (Voir this answer pour la différence.)

Answer 3

A liaison spécificateur (c.-à-extern "C" ou extern "C++") appliqué à une séquence fermée de renfort de déclarations n'a pas d'effet si les déclarations jointes sont des définitions ou pas, mais un liaison spécificateur appliqué à une seule déclaration est traité comme un spécificateur extern afin de déterminer si une déclaration est également une définition. (7.5 par 7 de 03 C++)

Alors:

extern "C" { int a; } // a is declared and defined 

extern "C" int a; // a is just a declaration (as if extern int a;) 

extern "C" int a = 0; // a is a definition because of the initializer.