++, being unary, has higher precedence than &. K&C++ being K&D makes a lot more sense than (K&C)++, which I don't think will even compile, since K&C is not an l

++, being unary, has higher precedence than &. K&C++ being K&D makes a lot more sense than (K&C)++, which I don't think will even compile, since K&C is not an lvalue.