Re: Ignoring Type Differences

"Ken and Kristi LaPoint" <klapoin1@twcny.rr.com> schreibt:


>Can anyone tell me when you might want the compiler to ignore type
>differences in an expression?


IMO a compiler cannot "ignore" type differences, it only can silently
"convert" the items into a common data type, before further
processing. Such conversions require rules, how to make different
types compatible.


The usual implicit conversions handle combinations of signed and
unsigned types, types of different precision, types of different
"nature" (integral, floating point...).


Depending on the language, some types are designed as being
incompatible with other types, like boolean, char, or enum. I
personally appreciate such strict typing, and want the compiler only
convert types of "usage computational", or up/down cast class types as
appropriate. This principle can be reduced to type casts within class
trees, when also numeric types are treated as classes.


DoDi

Return to the comp.compilers page.
Search the comp.compilers archives again.