我应该担心 Boost with -O3 中的编译器警告吗？答案

【问题标题】：Should I worry about compiler warnings in Boost with -O3?我应该担心 Boost with -O3 中的编译器警告吗？
【发布时间】：2013-11-08 22:52:10
【问题描述】：

我发现当我激活 -O3 标志时，我使用 Boost 创建的多线程程序要快得多。但是，这会引发一些额外的编译器警告，所有这些警告如下：

warning: dereferencing type-punned pointer will break strict-aliasing rules

这些警告都是在 Boost 文件shared_mutex.hpp 中生成的。具体来说，以下函数导致了这些警告：

template<typename T>
T interlocked_compare_exchange(T* target,T new_value,T comparand)
{
    BOOST_STATIC_ASSERT(sizeof(T)==sizeof(long));
    long const res=BOOST_INTERLOCKED_COMPARE_EXCHANGE(reinterpret_cast<long*>(target),
                                                      *reinterpret_cast<long*>(&new_value),
                                                      *reinterpret_cast<long*>(&comparand));
    return *reinterpret_cast<T const*>(&res);
}

从this question 看来，这些警告似乎意味着代码可能会崩溃，但这似乎不太可能来自 Boost 文件。现在，我的程序变得相当复杂，并且我已经看到它（在罕见且看似随机的实例上）在长时间运行时崩溃。 Boost库是否可能导致这种情况？如果重要的话，我正在使用 mingw。

【问题讨论】：

一切皆有可能，但我会在 boosts 之前检查你的代码，boost 的代码由许多使用它的人测试，你的代码只由你测试，哪一个更可能是正确的？
@aaronman：但是，如果该代码在 boost 发行版中的 shared_mutex.hpp 中，那么警告不在他的代码中......并且警告看起来确实合法。

标签： c++ boost compiler-warnings

【解决方案1】：

是的，您应该担心严格混叠警告！编译器实际上会假设没有会导致问题的对象的别名。如果您的代码（或您使用的代码）不是别名干净的，您应该禁用相应的选项：

-fno-strict-aliasing

这种特定优化被显式禁用是很常见的，因为很多代码实际上违反了严格的别名规则。

【讨论】：

【解决方案2】：

该问题已被报告为提升here，并且警告是合法的。如果该代码内联在调用函数中，则编译器在概念上可以通过 reinterpret_cast 和原始变量重新排序访问。

话虽如此，这是在使用原子操作的特定代码段中，因此 BOOST_INTERLOCKED_COMPARE_EXCHANGE 宏的扩展可能包括阻止编译器和 cpu 重新排序指令的守卫......所以它可能没问题.

【讨论】：