Re: [boost] [bind] Borland 2006 patch

From: Peter Dimov (pdimov_at_[hidden])
Date: 2006-02-28 08:25:51

AlisdairM wrote:
> John Maddock wrote:
> 
>> Just in case you hadn't realised: add_const< add_ref< T > > and
>> add_ref< add_const< T > > should produce different results :-)
> 
> I took the ::type as read ;?)
> 
> Unless that is not what you are referring to, in which case I really
> do need educating!
> 
> i.e: I assume the following are the same type (and not just
> equivalent) 
> 
> typedef typename add_ref< add_const< T > >::type  ref_const_t;
> typedef typename add_const< add_ref< T > >::type  const_ref_t;

add_ref( add_const( int ) ) == int const &
add_const( add_ref( int ) ) == int & const == int &