c++ - 左值引用是否隐藏了未定义的行为？

Question

我知道这是UB:

i = i++ + 1;

事实上，clang 3.4 编译器会在该行发出一条警告消息。

但在下面的代码中它不再这样做了:

int i{}; // in global scope
int &f() {return i;}

int main()
{
    f() = i++ + 1;
}

这个UB也是吗？

Answer 1

是的，它也是未定义的行为，出于同样的原因:相对于 i 在 i++ 中修改 i 是无序的作业。