c++ - 我应该担心 Boost 中带有 -O3 的编译器警告吗？

Question

我发现当我激活 -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。

Answer 1

是的，您应该担心严格别名警告!编译器实际上会假设不存在会导致问题的对象的别名。如果您的代码(或您使用的代码)不是混叠干净的，您应该禁用相应的选项:

-fno-strict-aliasing

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