[boost] Re: Collection concept

From: Dave Abrahams (abrahams_at_[hidden])
Date: 2000-01-12 09:04:59

> Kevlin Henney writes:
>  > 
>  > "r.m is defined if t.m is well defined, where t is an instance of the the
>  > value type and r is an instance of the reference type"
>
> Yes, that's an accurate wording.

Actually, it doesn't work for member functions, since you can't legally just
name one like that. How about "&r.m is defined if &t.m is defined..."

I still wonder if this requirement is really neccessary, though. It isn't
clear to me that all proxies must reflect all functionality of the object
they are proxying in order to be valid or useful.

-D