是x+> 0和&数组[x]在C++中定义良好的行为吗?

这要看情况。

如果 && 是通常的短路逻辑运算符,那就好了,因为有一个序列点。 array[x] 将使用新值。

如果 && 是用户(或库)定义的重载运算符,则不存在短路,也不保证序列点之间的求值 x-- 数组[x] . 考虑到您的代码,这看起来不太可能,但是没有上下文,就不可能肯定地说。我认为这是可能的,仔细定义 array ,这样安排。

这就是为什么超载几乎总是个坏主意 operator&& .

if ((x > 0) && array[--x]) 有一个非常相似的效果(同样,假设没有操作员超载的恶作剧),在我看来更清楚。区别在于是否 x 在0之后递减,这可能是您所依赖的,也可能不是您所依赖的。

是的,它的定义很明确。 && 引入序列点。