Částečná specializace šablony – C / C++ – Fórum – Programujte.com

Ahoj, může mi někdo poradit, podle čeho kompilátor posuzuje jaká specializace je specializovanější na kódu níže? Čekal bych, že podle typu objektu(X<int, int*, 10>) bude specializovanější ta poslední funkce. Kompilátor ale hlásí, že je to nerozhodně.

Podle jakých pravidel se tedy vybírá specializace?

Díky

template<class T, class U, int I> struct X
  { void f() { cout << "Primary template" << endl; } };

template<class T, int I> struct X<T, T*, I>
  { void f() { cout << "Partial specialization 1" << endl;
  } };

template<class T> struct X<int, T*, 10>
  { void f() { cout << "Partial specialization 3" << endl;
  } };



int main() {

	X<int, int*, 10> f;
	f.f();
}

Nevím jestli ted nebudu kecat blbosti, ale bije se ti druhá a třetí minimálně. Máš tam sice napsané class T a int I, ale to neznamená, že T nemůže být zároven typu int. Takže překladač neví, jestli volat druhou nebo třetí, protože za T si může klidně dosadit i int, a i T* pasuje k int* taky.

Ano, díky,

mě jen přijde template<class T> struct X<int, T*, 10> specializovanější než template<class T, int I> struct X<T, T*, I> a přesto se kompilátor nemůže rozhodnout jakou vybrat. Proto bych rád viděl nějaká pravidla, podle kterých kompilátor rozhoduje, kterou vybrat.

Třeba u tohoto kodu je jasné, co je specializovanější, musí se ale rozhodovat podle nějakých pravidel:

template<class T, class U, int I> struct X
  { void f() { cout << "Primary template" << endl; } };

template<class T> struct X<int, T*, 10>
  { void f() { cout << "Partial specialization 3" << endl;
  } };

template<class T, class U, int I> struct X<T, U*, I>
  { void f() { cout << "Partial specialization 4" << endl;
  } };

int main() {

   X<int, char*, 10> d;
   d.f();
}

Napevno zadané hodnoty "int " a "10" ve specializaci pro něj mají větší váhu, a proto si vybere tu druhou funkci.

Proč tedy napevno zadané hodnoty ve specializaci v příkladu předchozím, nemají také větší váhu a nevybere ji? Tam ta první specializace template<class T, int I> struct X<T, T*, I> má navíc ty dvě T vedle sebe, takže to je ten důvod, proč má tatto spec. stejnou váhu, jako ta třetí. Tohle všechno se ale musí nějakým způsobem vyhodnocovat, aby bylo zjištěno jaké specializace mají jakou prioritu, proto bych rád věděl jak to dělá ;)