| |||||||||||||
Grokking convoluted expressionsGrokking convoluted expressionsPosted Mar 20, 2007 1:41 UTC (Tue) by ldo (subscriber, #40946)In reply to: Grokking convoluted expressions by tjc Parent article: Quotes of the week
If the type cast operator has lower precedence than the bitwise one's complement operator, then the later should be evaluated first, and the compiler would produce the error "wrong type argument to bit-complement." Well, actually no, since the syntax of your example is that bitwise-complement is applied to the result of the cast, there's no way not to do the cast first. (The only other way to try to interpret it is that bitwise-complement applies to the type, but C syntax doesn't allow that interpretation.) You're right that it doesn't have any effect to separate cast out into its own grouping. However, I'm following the groupings in section A7 of K&R2, which puts casting into its own subsection, coming after the other prefix unary operators.
(Log in to post comments)
Grokking convoluted expressions Posted Mar 20, 2007 14:41 UTC (Tue) by tjc (subscriber, #137) [Link] Well, actually no, since the syntax of your example is that bitwise-complement is applied to the result of the cast, there's no way not to do the cast first.Exactly, which is why the type cast operator can't *really* be at a level below the unary prefix operators. If it was, then the one's complement would be evaluated first, which would produce an error since the operand is a floating-point number. I'm following the groupings in section A7 of K?R2, which puts casting into its own subsection, coming after the other prefix unary operators.Thanks for the tip, I'll take a look at K?R2 when I get home. There's also a grammar at the back of the book that might reveal why they put the type cast operator in a separate group.
|
|||||||||||||