Hi. I have a template class Base_t<typename T1, typename T2>. I
intend to instantiate it like this:
class Derived : public Base_t<SomeClass1, SomeClass2>
{
....
};
I'd like to have the compiler ensure that any actual parameter used for
T1 is derived from Class A. So in the example above, I'd like a
compiler error to be generated if SomeClass1 is not derived from Class
A.
Is there a way to do this?
Thanks!
Ken