Re: [sv-bc] implicit casts

I just wanted to re-record my strong objection to saying
"a cast can be used by tools to perform stronger type checking".
The fact of the matter is that casts are used by code authors,
not by tools; what's more they have the effect of _suppressing_ type
checking, not enhancing it.

I understand that data which has been cast may now live under
a stronger, safer, data type.  But the fact that you needed a
cast to accomplish this admits that parts of your data flow
lie outside those controls.  By using cast, you've exposed your
"type safe" region to outside corruptions.

I feel that this sentence puts in doubt the committee's grip
on the concept of strong typing.
Greg Jaxon


Bresticker, Shalom wrote:
> Hi,
> 
> 6.22.3 says, "Implicit casting rules are defined in 6.24."
> 
> I did not see implicit casting described in 6.24 except for the
> following single sentence,
> "An explicit cast between packed types is not required because they are
> implicitly cast as integral values, but a cast can be used by tools to
> perform stronger type checking."
> 
> Even there the point of the sentence is not that there is implicit
> casting, but rather that explicit casting might be wanted even there.
> 
> Thanks,
> Shalom
> 
> Shalom Bresticker
> Intel Jerusalem LAD DA
> +972 2 589-6582
> +972 54 721-1033
> 
> ---------------------------------------------------------------------
> Intel Israel (74) Limited
> 
> This e-mail and any attachments may contain confidential material for
> the sole use of the intended recipient(s). Any review or distribution
> by others is strictly prohibited. If you are not the intended
> recipient, please contact the sender and delete all copies.
> 
> 
> -- 
> This message has been scanned for viruses and
> dangerous content by *MailScanner* <http://www.mailscanner.info/>, and is
> believed to be clean.


-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.