您最初的问题是因为隐式赋值运算符具有签名

Bar& operator=(const Bar& rhs);

...并且对于volatile对象是不可调用的。警告是因为你的更新函数返回了一个volatile引用，但是这个引用从未被使用过。GCC认为这可能是个问题。解决这个问题的最简单的方法是将返回类型改为void！
还有一个问题：你的函数将在无限递归中调用自己。我建议如下：

struct Bar {
    int a;
    Bar& operator=(const Bar&rhs) = default;
    void operator=(const volatile Bar& rhs) volatile // Note void return.
    {
         // Caution: This const_cast removes the volatile from
         // the reference.  This may lose the point of the original
         // volatile qualification.
         //
         // If this is a problem, use "a = rhs.a;" instead - but this
         // obviously doesn't generalize so well.
         const_cast<Bar&>(*this) = const_cast<const Bar&>(rhs);
    }
};

volatile Bar vbar;
Bar bar;

int main(){
    vbar = bar;  // All four combinations work.
    bar = vbar;
    vbar = vbar;
    bar = bar;
    return 0;
}

这意味着当使用volatile结构体时，你将不能链接赋值操作符。我Assert这不是一个巨大的损失。
最后旁白：为什么要使用volatile-它对多线程代码不是很有用（它对内存MapIO很有用）。

@martin很好地描述了问题发生的原因，但没有提供不丢弃volatile的通用解决方案。
如果可以抛弃volatile，那么应该在赋值之前在函数外部完成，而将其隐藏在复制构造函数中会留下更多不可预见的bug。
稍微调整解决方案，可得到以下更通用的解决方案：

struct Bar {
    int a;
    Bar& operator=(const Bar&rhs) = default;
    auto & operator=(const volatile Bar& rhs) volatile
    {
         // Solution 1: depends on struct definition and can't be copied to many
         static_assert(sizeof(*this) == sizeof(a), "struct elements added or changed. update below");
         a = rhs.a;

         // Solution 2: very general solution that could be used if copying to many structs
         // Do default byte-by-byte copy operation, but can't use memcpy for volatile
         static_assert(is_trivially_copy_assignable_v<remove_cvref_t<decltype(*this)>>>, "Byte-by-byte copy may not be possible with this class");
         std::copy_n(reinterpret_cast<const volatile std::byte*>(&rhs), sizeof(*this), reinterpret_cast<volatile std::byte*>(this));

         // Support chaining of assignments
         //return *this;  // Okay, but returning a volatile will generate spurious warnings if that value is not read afterword
         return rhs; // assumes that you want to just chain assignments and not do anything weird
    }
};

这个版本的复制构造函数适用于volatile/non-volatile源和目标的所有4种组合，但是，如果您希望针对每种情况进行优化，也可以将其拆分为不同的组合。