Question

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

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

通常会禁用此特定优化，因为很多代码实际上违反了严格别名规则。

Answer 2

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

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

我应该担心Boost中使用-O3的编译器警告吗？

2 个答案: