5.4.1 第一个示例

考虑以下代码。可以使用不同的别名级别对它进行编译，以说明显示类型的别名关系。

struct foo {
    int f1;
    short f2;
    short f3;
    int f4;
} *fp;

struct bar {
    int b1;
    int b2;
    int b3;
} *bp;

int *ip;
short *sp;

如果该示例是使用 -xalias_level=any 选项编译的，编译器将认为以下间接访问互为别名：

*ip、*sp、*fp、*bp、fp->f1、fp->f2、fp->f3、fp->f4、bp->b1、bp->b2、bp->b3

如果该示例是使用 -xalias_level=basic 选项编译的，编译器将认为以下间接访问互为别名：

*ip、*bp、fp->f1、fp->f4、bp->b1、bp->b2、bp->b3

另外，*sp、fp->f2 和 fp->f3 可以互为别名，*sp 和 *fp 可以互为别名。

但是，在 -xalias_level=basic 条件下，编译器作出以下假定：

• *ip 不将 *sp 作为别名。

• *ip 不将 fp->f2 和 fp->f3 作为别名。

• *sp 不将 fp->f1、fp->f4、bp->b1、bp->b2 和 bp->b3 作为别名。

由于两个间接访问的访问类型是不同的基本类型，因此编译器作出这些假定。

如果该示例是使用 -xalias_level=weak 选项编译的，编译器将假定以下别名信息：

• *ip 可将 *fp、fp->f1、fp->f4、*bp、bp->b1、bp->b2 和 bp->b3 作为别名。

• *sp 可将 *fp、fp->f2 和 fp->f3 作为别名。

• fp->f1 可将 bp->b1 作为别名。

• fp->f4 可将 bp->b3 作为别名。

由于 f1 是结构中偏移为 0 的字段，而 b2 是结构中偏移为 4 个字节的字段，因此编译器假定 fp->fp1 不将 bp->b2 作为别名。同样，编译器假定 fp->f1 不将 bp->b3 作为别名，fp->f4 不将 bp->b1 或 bp->b2 作为别名。

如果该示例是使用 -xalias_level=layout 选项编译的，编译器将假定以下别名信息：

• *ip 可将 *fp、*bp、fp->f1、fp->f4、bp->b1、bp->b2 和 bp->b3 作为别名。

• *sp 可将 *fp、fp->f2 和 fp->f3 作为别名。

• fp->f1 可将 bp->b1 和 *bp 作为别名。

• *fp 和 *bp 可以互为别名。

由于 f4 和 b3 不是 foo 和 bar 的公共初始序列中的对应字段，因此 fp->f4 不将 bp->b3 作为别名。

如果该示例是使用 -xalias_level=strict 选项编译的，编译器将假定以下别名信息：

• *ip 可将 *fp、fp->f1、fp->f4、*bp、bp->b1、bp->b2 和 bp->b3 作为别名。

• *sp 可将 *fp、fp->f2 和 fp->f3 作为别名。

如果 -xalias_level=strict，则编译器假定 *fp、*bp、fp->f1、fp->f2、fp->f3、fp->f4、bp->b1、bp->b2 和 bp->b3 不互为别名，因为在忽略字段名时 foo 和 bar 是不同的。但是，fp 可将 fp->f1 作为别名，bp 可将 bp->b1 作为别名。

如果该示例是使用 -xalias_level=std 选项编译的，编译器将假定以下别名信息：

• *ip 可将 *fp、fp->f1、fp->f4、*bp、bp->b1、bp->b2 和 bp->b3 作为别名。

• *sp 可将 *fp、fp->f2 和 fp->f3 作为别名。

但是，fp->f1 不将 bp->b1、bp->b2 或 bp->b3 作为别名，因为在考虑字段名时 foo 和 bar 并不相同。

如果该示例是使用 -xalias_level=strong 选项编译的，编译器将假定以下别名信息：

• *ip 不将 fp->f1、fp->f4、bp->b1、bp->b2 和 bp->b3 作为别名，因为指针（如 *ip）不应指向结构内部。

• 同样，*sp 不将 fp->f1 或 fp->f3 作为别名。

• 由于类型不同，*ip 不将 *fp、*bp 和 *sp 作为别名。

• 由于类型不同，*sp 不将 *fp、*bp 和 *ip 作为别名。