pointer aliasing

what is the diffe开发者_运维知识库rence between "Strict", "Typed", "Restricted" and "Disjointed" aliasing?

In "Strict aliasing", pointers don't alias if they are different types.
In "Typed aliasing", pointers of the same type can alias and overlap.
In "Restricted aliasing", pointers of same type are assumed to not overlap.
In "Disjointed aliasing", all pointer expressions result in no overlap.