Andreas Schwab wrote: > Dave Korn <dave.korn.cyg...@googlemail> writes: > >> Andreas, you wrote: "Aliasing is not symmetric". To be precise, we're >> saying it's not commutative here; that (A aliases B) does not imply (B >> aliases >> A)? I don't think I've ever heard it expressed that explicitly before. > > Aliasing is not an operator, it's a property of an lvalue expression.
Yes, fair enough; but properties can commute just as much as operators can (although it's perhaps less intuitively surprising when they don't). Anyway I just mentioned it because I think it would be a useful term to bandy about a bit more often in aliasing discussions! cheers, DaveK