Clang llvm a 2 copy konstruktory – C / C++ – Fórum – Programujte.com

Mam nasledovnu strukturu:

struct X{
	bool a, b;
	
	X(const X& x){a = x.a; b = x.b;}	//kopirovaci konstrutor
};

// + main atd...

Preco clang generuje 2 konstruktori (size pri -O1, ale aj tak), po prelozeni cez:
clang -cc1 main.cpp -emit-llvm -O1

%struct.X = type { i8, i8 }

//1. konstruktor ktory vola 2.
define linkonce_odr void @_ZN1XC1ERKS_(%struct.X* nocapture %this, %struct.X* nocapture %x) unnamed_addr nounwind align 2 {
  tail call void @_ZN1XC2ERKS_(%struct.X* %this, %struct.X* %x)
  ret void
}

//2. konstruktor (tento inicializuje premenne)
define linkonce_odr void @_ZN1XC2ERKS_(%struct.X* nocapture %this, %struct.X* nocapture %x) unnamed_addr nounwind align 2 {
  %1 = getelementptr inbounds %struct.X* %x, i64 0, i32 0
  %2 = load i8* %1, align 1, !tbaa !0
  %3 = and i8 %2, 1
  %4 = getelementptr inbounds %struct.X* %this, i64 0, i32 0
  store i8 %3, i8* %4, align 1, !tbaa !0
  %5 = getelementptr inbounds %struct.X* %x, i64 0, i32 1
  %6 = load i8* %5, align 1, !tbaa !0
  %7 = and i8 %6, 1
  %8 = getelementptr inbounds %struct.X* %this, i64 0, i32 1
  store i8 %7, i8* %8, align 1, !tbaa !0
  ret void
}

Dalej by ma zaujimalo podla coho su generovane nazvy ako _ZN1XC2ERKS_, _ZN1XC1Ev, ..

Vie dakto?

#1 vitamin
ty nazvy jsou tu http://en.wikipedia.org/wiki/Name_mangling#Name_mangling_in_C.2B.2B, ale t konstruktory teda nevim...

Teď jenom spekuluji: Může to souviset s tím, že copy constuctor lze někdy vyoptimalizovat. Např. u funkce, která vrací instanci hodnotou a tato hodnota je vytvořena voláním konstruktoru někde blízko return z té funkce. Pak lze tu novou instanci vytvořit zrovna tam, kde se vyrábí:

struct X
{
    int a_;
    int b_;

    X(int a, int b): a_(a), b_(b) { }
};

X genX()
{
    return X(4, 5);
}

int main()
{
    X x = genX(); // Tady musi byt syntakticky pristupny copy ctor, ale muze se vyoptimalizovat
}

Ale stejně tak to může být něčím úplně jiným, protože do llvm bohužel nevidím.

#2 crazy
Dik, c++ ABI nemam vobec nastudovane, budem si to musiet pozret.

#3 ondra.holub
Praveze tie konstruktori maju uplne rovnake prototipy, 1. nerobi nic ine len vola druhy konstruktor.

Len pre zaujimavost, ten tvoj priklad sa skompiluje na daco taketo:    

struct X
{
    int32_t a_;
    int32_t b_;

    X(int32_t a, int32_t b): a_(a), b_(b) { }
};

/*
X genX()
{
    return X(4, 5);
}
*/
uint64_t genX(){
    alloca X x;	//alokuje miesto na stacku
    X(&x, 4, 5)	//zavola konstruktor
    return (uint64_t)x;
}

int main()
{
    X x = (X)genX(); 
}