什么优化由strictaliasing启用？

strict aliasing是一种编译器优化技术，它利用了变量类型的强制别名规则，提高了代码的执行效率。在使用strict aliasing时，编译器假定所有指针都指向强制别名。这允许编译器删除不必要的内存读/写操作，并在代码中进行更好的指令安排。

以下是一个使用strict aliasing优化的示例：

#include <stdio.h>

int main() {
    int a = 42;
    long long *b = (long long *)&a;
    *b = 100;
    printf("a = %d\n", a);
    return 0;
}

上面的示例将一个int变量a转换为一个long long指针b，然后在b上对a进行写入。如果编译器启用了strict aliasing，则它会认为a和b指向相同的内存位置，并且不会保存a的旧值。因此，输出将是“a = 100”，而不是“a = 42”。

注意：strict aliasing的使用必须符合C标准的规定，也就是说，访问同一内存地址的指针必须有相同的类型。否则，使用strict aliasing可能会导致未定义的行为。