Částečná specializace funkcí šablonové třídy – C / C++ – Fórum – Programujte.com

Dobrý den, mám takový problém
 

template <class t,class x>
class trida
{
public: void funkce() {cout<< "funkce1";}
};

template <>
void trida<int,int>::funkce() {cout<< "funkce2";}

template <typename X>
void trida<double,X>::funkce() {cout<< "funkce3";}

Proč mi nelze vytvořit poslední šablona? Píši něco špatně? Jde mi tímto způsobem vytvořit nová třída, tedy jde napsat

template <typename T> 
class trida<double,T>
{
public: void funkce() {cout<< "Funkce4";}
};

ale u funkce mi to nefunguje.

Nemůžete částečně specializovat funkci. Lze ji specializovat pouze úplně.

Fungovat to tedy bude pouze tak, jak jste psal. Musíte vytvořit příslušnou specializaci třídy, přilehlé k oné částečně spec. funkci.

template <class t,class x>
class trida
{
public: void funkce() {cout<< "funkce1";}
};

template <class x>
class trida<x,double>
{
public: void funkce();
};


template <>
void trida<int,int>::funkce() {cout<< "funkce2";}

template <class x>
void trida<x,double>::funkce() {cout<< "funkce3";}


int main()
{
	trida<int, double> s;
	s.funkce();


    return 0;
}

jenže to znamená že budu muset všechny funkce znovu přepisovat. Nebo lze ze specializace šablony volat funkce v obecné šabloně?

Tvůj problém lze vyřešit mnoha způsoby

using namespace std;

template <class t,class x>
class trida
{
public: 
	void funkce(){funkce_tmpl<t>();}

	template<class D>
		void funkce_tmpl() {cout<<"prvni parametr sablony neni double"<<endl;}

	template<>
		void funkce_tmpl<double>() {cout<<"prvni parametr sablony je double"<<endl;}

};

int main()
{
	trida<double, double> s;
	trida<int, double> l;
	s.funkce();
	l.funkce();

    return 0;
}

To je sice jedna z možností, ale stále to má nějaké omezení. Například to platí jen pro jeden parametr, kdybych měla šablona tři vstupní data a chtěl bych se řídit pouze dvěma (rozdílnýma tak to nepůjde). Škoda že tam není nějaká přímá jazyková podpora :( Když to jde na třídy, mohlo by to fungovat i na funkce :/

Ano, máš pravdu, že na tyto druhy specializace bude efektivnější použít šablony tříd

using namespace std;


template <class t,class x,class z>
class trida
{
	template<class Q, class W>
	class trida_tmpl
	{
	public: void operator()(trida *tmp){cout<<"-, -"<<endl;};
	};
	template<class Q>
	class trida_tmpl<Q,Q>
	{
	public:	void operator()(trida *tmp){cout<<"double, double"<<endl;};
	};
	template<class Q, class W>
	class trida_tmpl<Q,W*>
	{
	public:	void operator()(trida *tmp){cout<<"double, double*"<<endl;};
	};
public: 
	void funkce(){trida_tmpl<t,x>().operator()(this);}
};

int main()
{
	trida<double, double*,int> s;
	trida<int, double,int> l;
	trida<double, int,int> k;
	trida<double, double,int> w;
	s.funkce();
	l.funkce();
	k.funkce();
	w.funkce();

    return 0;
}

 Ještě bych doplnil, že bychom neměli zapomínat na přetěžování funkcí, se kterými se to může zdát jednodušší. ;)

template <class t,class x,class z>
class trida
{
	template<class T,class U>
	void funkce_tmpl(T,U){cout<<"-, -"<<endl;};

	template<class T,class U>
	void funkce_tmpl(T,T){cout<<"double, double"<<endl;};

	template<class T,class U>
	void funkce_tmpl(T,T*){cout<<"double, double*"<<endl;};

public: 
	void funkce(){funkce_tmpl<t,x>(t(),x());}
};

int main()
{
	trida<double, double*,int> s;
	trida<int, double,int> l;
	trida<double, int,int> k;
	trida<double, double,int> w;
	s.funkce();
	l.funkce();
	k.funkce();
	w.funkce();

    return 0;
}