指针别名

sal*_*man 3 pointers pointer-aliasing

之间有什么区别"严格","类型化","限制""脱节"走样?

sal*_*man 7

"严格别名 "中,指针不是别名,如果它们是不同的类型.
"类型别名"中,相同类型的指针可以别名和重叠.
"Restricted aliasing"中,假设相同类型的指针不重叠.
"Disjointed aliasing"中,所有指针表达式都不会重叠.