> 
> Andrew Pinski <[EMAIL PROTECTED]> writes:
> 
> | > You can work around this by using union's of pointers of both non-const 
> | > and const types, but the reinterpret_cast solution would be more 
> attractive.
> | > 
> | > Thoughts?
> | 
> | This has nothing to do with const vs non-const but rather
> | a<int> and a<const int> are two seperate types which are not related in any 
> way.
> | The C++ standard defines these two types as seperate types and are not 
> compatiable
> | in any way for aliasing.
> 
> ???
> 
> 3.10/15:

And the template type a<int> are distict from a<const int> based on the template
arguments are diffrent and therefore the qualifier part of 3.10/15 does not 
apply.
If it was const a<int> and a<int> then it would apply.

-- Pinski

Reply via email to