28 Feb
2006
28 Feb
'06
1:25 p.m.
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 &