Re: [boost] Re: Re: STL containers with contracts, any interest?

From: Rob Stewart (stewart_at_[hidden])
Date: 2005-02-25 13:52:53

From: "Yariv Tal" <yariv_tal2003_at_[hidden]>
> "christopher diggins" <cdiggins_at_[hidden]> wrote in message
> news:004b01c519c0$f3b185c0$d9958242_at_heronnest...
> > From: "Yariv Tal" <yariv_tal2003_at_[hidden]>
> 
> > Concerning:
> > > ENSURE(post(&vector_contract::size, this) == size() - 1);
> >
> > If I understand this correctly, the "vector_contract::" is superflous is
> it
> > not?
> >
> I'm not sure. Maybe this is something I am carrying from MSVC6, maybe
> vc7.1 requires it, maybe the standard requires it or maybe it was never
> needed.
> Anyone out there knows the answer?

The only conforming way to take the address of a class member is
&class_name::member_name (5.3.1/3).

-- 
Rob Stewart                           stewart_at_[hidden]
Software Engineer                     http://www.sig.com
Susquehanna International Group, LLP  using std::disclaimer;