constructeurs Inline et une définition Règle

Question

Tenir compte suivant les fichiers source 1.cpp

#include <iostream> 

using namespace std; 

struct X 
{ 
    X() 
    { 
     cout << "1" << endl; 
    } 
}; 

void bar(); 

void foo() 
{ 
    X x; 
} 

int main() 
{ 
    foo(); 
    bar(); 
    return 0; 
} 

2.cpp

#include <cstdio> 

struct X 
{ 
    X() 
    { 
     printf("2\n"); 
    } 
}; 

void bar() 
{ 
    X x; 
} 

est bien formé programme compilé à partir de ces fichiers? Ce qui devrait être dans sa sortie?

Je m'attendais à une erreur de l'éditeur de liens due à la violation de la règle de définition unique ou de la sortie "1 2". Cependant, il affiche "1 1" lorsqu'il est compilé avec g ++ 3.4 et VC 8.0.
Comment cela peut-il être expliqué?

Answer 1

Cela enfreint ODR (3.2) - spécifiquement que vous pouvez avoir plus d'une définition d'une fonction inline, mais ces définitions doivent être identiques (3.2/5) - et conduit à un comportement indéfini, donc tout peut arriver et le compilateur/éditeur de liens n'est pas nécessaire pour diagnostiquer cela. La raison la plus probable pour laquelle vous voyez ce comportement est que les appels de fonction sont en ligne et ne participent pas à la liaison, donc aucune erreur de lien n'est émise.

Answer 2

Il s'agit d'un comportement indéfini (sans diagnostic requis) si des fonctions en-ligne (telles que votre constructeur de classe) ont différentes définitions dans différentes unités de traduction.