Standard C++ does not include the "restrict" qualifier from C, and many
serious problems arise when attempting to properly incorporate it into the
C++ language. The following proposal introduces a superior alternative in
the form of a "disjoint" qualifier that functions differently in several
important ways. The disjoint qualifier is a clean and natural fit within the
established design of the C++ language, and it adds type-safe aliasing
controls in a backward-compatible manner.

 

http://terathon.com/disjoint_lengyel.pdf

 

Please discuss.

 

-- Eric Lengyel