boost :: atomic with boost ::使用boost 1.55和1.58可选的不同行为

Question

struct Foo
{
   void updateMin(const int& value);

   boost::atomic<boost::optional<int>> m_min; //multi-thread access
};

void Foo::updateMin(const int& value)
{
    auto currentMin = m_min.load(boost::memory_order_relaxed);
    int newMin;

    do
    {
        if (!currentMin)
            newMin = value;
        else
        {
            newMin = std::min(value, currentMin.get());
            if (newMin == currentMin)
                break;
        }

    } while (!m_min.compare_exchange_weak(currentMin, boost::optional<int>(newMin), boost::memory_order_relaxed));
}

使用boost 1.55，上面的代码按预期工作。

当我尝试将boost版本更新为1.58时，compare_exchange_weak会系统地失败，从而导致无限循环。

自1.55以来，我已经安装了原子和可选的更改日志，但我发现没有什么能解释这种行为。

有什么想法吗？

Answer 1

与std::atomic，boost::atomic requires trivially copyable types一样。 boost::optional并非易于复制，因此您只能获得未定义的行为。

顺便说一下，compare_exchange_*将对象比较为memcmp，因此它也会考虑任何填充字节。