From: Dan W. (danw_at_[hidden])
Date: 2004-01-08 14:04:27
Daniel Wallin wrote:
> Dan W. wrote:
>> I don't understand: If my derived class would be foo< int, bar >,
>> I'd end up with invariants< foo< int, bar > >::trigobj, and I'm not
>> sure what the problem is with that. The thired class, "my_class3" in
>> the test program is exactly like that, BTW.
>
> You should probably try that with a standard conforming compiler.
>
> invariants<my_class<I, J> >::foo
>
> is a dependent name, and should be:
>
> typename invariants<my_class<I, J> >::foo
>
> But that's impossible to deduce. So either your solution will work with
> class templates only, or non-templates only.
I still don't get it. Class my_class knows its own type, whether
template or not, and knows about class invariants< my_class >, since it
is inheriting it. Do you mean in the case that some other class would
need to refer to trigobj? That could not happen since I'm inheriting the
invariants class privately.