
18 Jan
2005
18 Jan
'05
8:56 a.m.
On 01/17/2005 09:32 PM, Larry Evans wrote: [snip]
The code:
t.get_inherit_side<...>:::type::left_type::value;
is simply a qualified access to the member variable of a supertype of t. There's no need for a member method, and all get_ith_head does is simply use what amounts to the above code to access the proper superclass member variable. As mentioned previously, this is no different than:
t.sk::sk+1::sn::value;
I smell something wrong with the expression: t.sk::sk+1::sn::value; I can't put my finger on it, but it just seems suspicious.