c - C11 中的后缀和前缀递增和递减表达式是左值吗？

Question

C11 中的后缀和前缀增量和减量表达式是左值吗？通常标准在底部有注释指定给定表达式是否为左值。在这种情况下，我在标准中找不到任何内容。

我知道大多数时候会有序列点问题，但在某些边缘情况下，了解这一点似乎很有用。例如6.5.2.4中:

Postfix ++ on an object with atomic type is a read-modify-write operation with memory_order_seq_cst memory order semantics.

因此对于原子类型，类似++x=x+y 的东西将是一种简洁的方式来做某事。并不是说能够做这样的事情很重要，我只是不喜欢不知道事情。

Answer 1

后缀和前缀递增和递减运算符的这一方面的行为是通过标准文档中专门用于加法运算符和赋值运算符的部分指定的。

对于后缀运算符

[...] See the discussions of additive operators and compound assignment for information on constraints, types, and conversions [...]

在前缀(一元)运算符的情况下

[...] The expression ++E is equivalent to (E+=1) [...]

(后者比前者更直接，但结果的左值性的意图是相同的。)

C 中的赋值表达式不是左值

An assignment expression has the value of the left operand after the assignment, but is not an lvalue.

附带说明一下，这是 C 和 C++ 语言之间最深刻的根本区别之一:C++ 是一种左值保留语言，而 C 是一种左值丢弃语言。