🚀 go-pugleaf

I realize the g++ implementation of templates is incomplete, but
I have a question about the template mechanism in general.

Lets say you have classes like:

class	Base
{
...
};

class	Sub : public Base
{
...
};

template<class T>
class Array
{
...
};

And the following code:

void Sort(Array<Base *>& ba)
{
...
}

main()
{
	Array<Base *>	ba;
	Array<Sub *>	sa;

	Sort(ba);
	Sort(sa); // This line gives you an error
}

My question is, is there some clever design trick to circumvent
this restriction?  Does anyone know what the "standard" has to
say about this?  I looked in the ARM, didn't seem to say much on
this subject.  I could see why this would cause problems if
the sizeof(Base *) != sizeof(Sub *).  Is there a reason for
restrictions like this?  (I am certainly not an expert on such
things)

Thanks

Michael Tiller