交换const成员不确定的行为吗？ 17

Question

https://godbolt.org/z/e3etx8a8888

这是互换UB吗？我在变异吗？瑞银什么都没有报告。

#include <utility>

struct MyInt
{
    MyInt(int ii): i(ii) {}
    const int i;
    MyInt& operator=(MyInt&& rh)
    {
        std::swap(const_cast<int&>(i), const_cast<int&>(rh.i));
        return *this;
    }
};

int main() {
    MyInt i0(0);
    MyInt i2(2);

    i0 = std::move(i2);
    return i0.i;
}

Answer 1

这交换UB？

是的，这是UB。

我正在变异吗？

您正在突变const对象。这是不允许的。

Answer 2

这似乎是C ++进化的区域。

它是c ++ 17中的ub，因为

然而，在以后的版本中，该限制已被删除。 。对完整的const对象仍然存在限制。 不能执行此操作。

例如，如果 myint i0（0）; 是 const myint i0（0）; 即使C ++ 20现在允许修改const sub sub对象，则 ，最好避免 const_cast 并使用它来创建一个分配CTOR。在这种情况下，人们不需要破坏者，因为它可以造成巨大破坏。请注意，必须在C ++ 20之前使用新的位置，这仍然是UB，因为先前不允许Const子对象更改。

constexpr MyInt& operator=(MyInt&& rh)
{
    std::construct_at(&this->i, rh.i);
    return *this;
}

Answer 3

来自 const_cast

通过非const访问路径修改常规对象，并通过非易失性glvalue引用挥发性对象会导致不确定的行为。

是的，那是UB。