【strict-aliasing】C/C++编译告警之strict-aliasing

1.strict-aliasing的定义

        即严格命名规则，c和c++对该规则的定义略有不同，在此使用gcc中的说明。

        编译器可以假定两个不同类型的对象不会使用同一个内存地址（通常是指 指针或引用），除非两个类型十分相似（c和c++在此定义略有差异）。其中char类型可以作为任何类型的别名（即可以指向任意类型的内存块）。

       c中定义可参考 cppreference-c-object 中 严格别名使用 段落。

       c++中定义可参考 cppreference-cpp-object 中 严格的别名使用 段落。

2.strict-aliasing的作用

        假设没有strict-aliasing规则，则一个指针可能指向任何类型的变量；不考虑多线程的场景，指针初始化后，程序对非局部变量进行改动后，编译器都需要考虑指针指向的内存区域是否被改动（反之亦然），为了代码的安全性，编译器可能会需要将每次解引用指针时的操作都进行读/写内存；

        通过strict-aliasing规则，编译器可以假定同一块内存不会被不同类型的对象所引用（概括的这样说，存在例外情况，具体参考cp