考虑以下源代码示例。当使用不同的别名级别编译时,它说明显示的类型的别名关系。
struct foo { int f1; int f2; int f3; } *fp; struct bar { int b1; int b2; int b3; } *bp;
如果该示例是使用 -xalias_level=any 选项编译的,编译器将假定以下别名信息:
*fp、*bp、fp->f1、fp->f2、fp->f3、bp->b1、bp->b2 和 bp->b3 都可以互为别名,因为任何两个内存访问在 -xalias_level=any 级别上可互为别名。
如果该示例是使用 -xalias_level=basic 选项编译的,编译器将假定以下别名信息:
*fp、*bp、fp->f1、fp->f2、fp->f3、bp->b1、bp->b2 和 bp->b3 都可以互为别名。在本示例中,由于所有结构字段均为同一基本类型,因此任何两个使用指针 *fp 和 *bp 的字段访问都可以互为别名。
如果该示例是使用 -xalias_level=weak 选项编译的,编译器将假定以下别名信息:
*fp 和 *fp 可以互为别名。
fp->f1 可将 bp->b1、*bp 和 *fp 作为别名。
fp->f2 可将 bp->b2、*bp 和 *fp 作为别名。
fp->f3 可将 bp->b3、*bp 和 *fp 作为别名。
但是,-xalias_level=weak 强加以下限制:
fp->f1 不将 bp->b2 或 bp->b3 作为别名,因为 f1 的偏移为零,这不同于 b2 的偏移(四字节)和 b3 的偏移(八字节)。
fp->f2 不将 bp->b1 或 bp->b3 作为别名,因为 f2 的偏移为四字节,这不同于 b1 的偏移(零字节)和 b3 的偏移(八字节)。
fp->f3 不将 bp->b1 或 bp->b2 作为别名,因为 f3 的偏移为八字节,这不同于 b1 的偏移(零字节)和 b2 的偏移(四字节)。
如果该示例是使用 -xalias_level=layout 选项编译的,编译器将假定以下别名信息:
*fp 和 *bp 可以互为别名。
fp->f1 可将 bp->b1、*bp 和 *fp 作为别名。
fp->f2 可将 bp->b2、*bp 和 *fp 作为别名。
fp->f3 可将 bp->b3、*bp 和 *fp 作为别名。
但是,-xalias_level=layout 强加以下限制:
fp->f1 不将 bp->b2 或 bp->b3 作为别名,因为在 foo 和 bar 公共初始序列中,字段 f1 对应于字段 b1。
fp->f2 不将 bp->b1 或 bp->b3 作为别名,因为在 foo 和 bar 公共初始序列中,字段 f2 对应于字段 b2。
fp->f3 不将 bp->b1 或 bp->b2 作为别名,因为在 foo 和 bar 公共初始序列中,字段 f3 对应于字段 b3。
如果该示例是使用 -xalias_level=strict 选项编译的,编译器将假定以下别名信息:
*fp 和 *bp 可以互为别名。
fp->f1 可将 bp->b1、*bp 和 *fp 作为别名。
fp->f2 可将 bp->b2、*bp 和 *fp 作为别名。
fp->f3 可将 bp->b3、*bp 和 *fp 作为别名。
但是,-xalias_level=strict 强加以下限制:
fp->f1 不将 bp->b2 或 bp->b3 作为别名,因为在 foo 和 bar 公共初始序列中,字段 f1 对应于字段 b1。
fp->f2 不将 bp->b1 或 bp->b3 作为别名,因为在 foo 和 bar 公共初始序列中,字段 f2 对应于字段 b2。
fp->f3 不将 bp->b1 或 bp->b2 作为别名,因为在 foo 和 bar 公共初始序列中,字段 f3 对应于字段 b3。
如果该示例是使用 -xalias_level=std 选项编译的,编译器将假定以下别名信息:
fp->f1、fp->f2、fp->f3、bp->b1、bp->b2 和 bp->b3 不互为别名。
如果该示例是使用 -xalias_level=strong 选项编译的,编译器将假定以下别名信息:
fp->f1、fp->f2、fp->f3、bp->b1、bp->b2 和 bp->b3 不互为别名。