Re: [sv-ec] Re: [sv-bc] operators and data type compatibility rules

From: Gordon Vreugdenhil <gordonv_at_.....>
Date: Fri Sep 15 2006 - 09:40:01 PDT
Arturo Salz wrote:

> Gord,
> I believe the LRM does say that:
>
> If the elements match, the element is returned. If they do not match, 
> then the default
> 
> un-initialized value for that element’s type shall be returned.


Right - the question was what "element" means for class handles.  I
think that was at the core of Francoise's question.

> The thing to notice is that when two handles are used in the conditional 
> operator then the
> operator does a *handle comparison* not a deep compare of the object’s 
> properties – this
> BTW is no different from if( handle1 == handle2 ). Thus, if the handles 
> are the same then the
> operator returns that handle, and if they are not the same, the operator 
> returns null. Perhaps
> all that’s missing is a note that details how class handles are handled.


I agree.

We're in agreement on the behavior; I do think the LRM needs to word
this more carefully for handles.

Gord.
-- 
--------------------------------------------------------------------
Gordon Vreugdenhil                                503-685-0808
Model Technology (Mentor Graphics)                gordonv@model.com
Received on Fri Sep 15 09:40:03 2006

This archive was generated by hypermail 2.1.8 : Fri Sep 15 2006 - 09:40:09 PDT