指针别名警告实例

问题分析

• 原因由于强制类型转换导致出现的warning
• GCC 4 编译警告：warning: dereferencing type-punned pointer will break strict-aliasing rules
• 有一个指针用作了不同的类型，编译器告诉你如果坚持这样做，它不能做编译优化

    #include <iostream>
    int main() {
      void *p = nullptr;
      float f = 0.01;
      *(float *)(&p) = f; //warning pointer aliasing
      std::cout << "p = " << p << std::endl;

      float f2 = *(float *)(&p);
      std::cout << "f2 = " << f2 << std::endl;
    }

• 知乎讨论 https://www.zhihu.com/question/19707376
• Stack Overflow 讨论 https://stackoverflow.com/questions/4163126/dereferencing-type-punned-pointer-will-break-strict-aliasing-rules-warning 消除警告不一定是变得不安全了，也可能是明确更安全了，可能的代价就是失去了潜在的优化机会。除了通过调用参数消除这个警告之外，可以给相关类型加上attribute((may_alias))。
• https://gcc.gnu.org/onlinedocs/gcc-4.0.2/gcc/Type-Attributes.html

消除warning方法小结

• 给相关类型加上attribute((may_alias))。
• 加编译选项 ，不进行严格检查 。-fstrict-aliasing 和 -Wstrict-aliasing
• void * 作为中间变量

    struct ParaType{
        int age;
        bool gender;
        ...
    };
    //关键代码如下
    char my_para[128];
    void * tmp_ptr = my_para;
    ParaType* my_para = reinterpret_cast<ParaType*>(tmp_ptr);
    /*
    * 作者：magicstone
    * 链接：https://www.zhihu.com/question/19707376/answer/292424346
    * 来源：知乎
    * 著作权归作者所有。商业转载请联系作者获得授权，非商业转载请注明出处。
    */

• 最终使用memcpy 替换 强制转换，达到相同的目的。