跟进。是否定义了对x++的返回引用?

我最近问了这个问题 Is the behavior of return x++; defined?

结果和我预期的差不多,但让我想到了类似的情况。

如果我要写

class Foo
{   
  ...   
  int x;   
  int& bar() { return x++; }
};

bar现在返回一个int引用,是否定义了此行为?如果上一个问题的答案是真的,而不仅仅是对正在发生的事情的一个方便的抽象,那么似乎您将返回一个对堆栈变量的引用,该堆栈变量将在执行返回时被销毁。

如果它只是一个抽象,我想知道什么行为实际上是由后增量保证的。