Částečně vázaný přítel šablonové třídy – C / C++ – Fórum – Programujte.com

Lze v C++ vytvořit něco jako částečne vázaného přítele šablonové třídy?

Myslím tím: mám šablonovou třídu a chci přátelskou funkci, která bude také šablonou, ale bude vázána na typ třídy.

Jednosušeji řečeno chci přetížit operátor << kvůli výpisu objektu třídy, která je šablonová a nechci ten operátor svázat pevně s std::ostream, ale obecně s std::basic_ostream<...>.


Myslel jsem, že to půjde takto, ale hlásí mi to přístup k privátním položkám třídy (nepovažuje to tu funkci za přítele)

	template <typename float_t>

	class bod;



	// prototyp šablonové funkce

	template <typename char_t, typename traits, typename float_t>

	std::basic_ostream<char_t, traits>&

		operator <<(std::basic_ostream<char_t, traits> &os, const bod<float_t> &b);



	template <typename float_t = double>

	class bod

	{

	private:

		float_t x, 

			y;

	public:

		bod(float_t fx, float_t fy) : x(fx), y(fy) {}



		// částečně vázaný šablonový přítel

		template <typename char_t, typename traits>

		friend std::basic_ostream<char_t, traits>&

			operator << <>(std::basic_ostream<char_t, traits> &os, const bod<float_t> &b);

	};





	template <typename char_t, typename traits, typename float_t>

	std::basic_ostream<char_t, traits>& 

		operator <<(std::basic_ostream<char_t, traits> &os, const bod<float_t> &b)

	{

		return (os << "[" << b.x << ";" << b.y << "]");

	}

Skus toto

// std

#include <ostream>

using std::basic_ostream;

#include <iostream>

using std::wcout;





template <typename float_t>

class basic_point

{

public:

	typedef float_t float_type;

	

	basic_point(const float_t & x, const float_t & y)

		: _x(x), _y(y)

	{

	}



	template <typename char_t, class traits>

	friend basic_ostream<char_t, traits> & operator<<(

		basic_ostream<char_t, traits> & o, basic_point<float_t> & pt)

	{

		o << pt._x << ", " << pt._y;

		return o;

	}



private:

	float_t _x;

	float_t _y;

};



typedef basic_point<double> point;





int main(int argc, wchar_t * argv[])

{

	point pt(12.21, 15.51);

	wcout << L"pt = " << pt << "\n";

	return 0;

}

To AdamHlavatovic : Díky moc, přesně takhle jsem to myslel. Já sem se pořád snažil dát definici mimo třídu a to asi v tomhle případě nejde.

> Já sem se pořád snažil dát definici mimo třídu a to asi v tomhle případě nejde.
Nie v tom problem nieje, mimo triedu to to dat ide.

To AdamHlavatovic : Hele, a jak má pak vypadat ta definice (mimo třídu)?

Toto mi hlásí: multiple template parameter lists are not allowed

template <typename float_t>

	template <typename char_t, typename traits>

	std::basic_ostream<char_t, traits>& operator <<(

		std::basic_ostream<char_t, traits> &os, const basic_point<float_t> &b)

	{

		os << "[" << b._x << ";" << b._y << "]";

		return os;

	}

template <typename char_t, typename traits, typename float_t>

std::basic_ostream<char_t, traits>& operator <<(

	std::basic_ostream<char_t, traits> &os, const basic_point<float_t> &b)

{

	os << "[" << b._x << ";" << b._y << "]";

	return os;

}

> Hele, a jak má pak vypadat ta definice (mimo třídu)?
Napr. takto:

template<...>

class basic_point

{

	...

	template <typename _ft1, typename char_t, class traits>

	friend basic_ostream<char_t, traits> & operator<<(

		basic_ostream<char_t, traits> & o, basic_point<_ft1> & pt);

	...

};



template <typename _ft1, typename char_t, class traits>

basic_ostream<char_t, traits> & operator<<(

	basic_ostream<char_t, traits> & o, basic_point<_ft1> & pt)

{

	o << pt._x << ", " << pt._y;

	return o;

}

To AdamHlavatovic : Jo ták, tak to mě nenapadlo, jinak díky moc.